/mg/ = /math/ general

>>9017830
i literally said i am doing software development you fucking mongoloid irish autistic fuck
You will have a sad life as a mathematician if u have that below 90 iq.

File: 1497800983456.png (323KB, 784x1008px) Image search: [Google]

323KB, 784x1008px

>>9017830
Daily reminder that you're retarded if you believe the Riemann hypothesis is true.

>>9017861
meant for >>9017817

>>9017861
>i am doing software development
Oh... It must be hard living with that condition. I genuinely feel sorry for you, anon.

>>9017883
not really. it s pretty easy. I only google everything and i get 6 figure salary.
Then i study math as a hobby to challenge me a bit. I dont think anyone that loves math would do it as a job. That would be. Sad!

File: test (9).png (1MB, 1000x1375px) Image search: [Google]

1MB, 1000x1375px

>>9017830
>what are you studying this summer?
Currently reading through Turaev's chapter on 2-dimensional modular functors, which basically dresses kindergarten paper arts-and-crafts in really complicated algebraic language.
>did you read any interesting problems, theorems, proofs, textbooks, or papers recently?
An interesting object described in Kohno is the Vassiliev invariant [math]v:\mathscr{K}\rightarrow \mathbb{C}[/math], where [math]\mathscr{K} = \{S^1,S^3\}[/math] is the space of knots. These polynomial knot invariants form affine vector spaces [math]V_m[/math] that can be used to approximate the cohomology space [math]H^0(\Sigma,\mathbb{C})[/math], where [math]\Sigma = \{f \in \mathscr{K} \mid f ~\text{singular}\}[/math], and in turn the cohomology space [math]H^0(\mathscr{K}\setminus\Sigma,\mathbb{C})[/math] by Alexander duality, as [math]m \rightarrow \infty[/math].
This looks a lot like Wentzl's limit. If this really is just another representation of Wentzl's limit then I'd be able to find a really concrete correspondence between unitary TQFTs and CFTs.

File: 1497007296253.png (320KB, 527x411px) Image search: [Google]

320KB, 527x411px

>yfw you realize you dont have to go to grad school to enjoy math
it s bliss. thank you math exchange.

>>9017910
>it s pretty easy.
Which is exactly what I meant by my post. Only someone truly subhuman would feel satisfied with ""software development"".

>>9017951
>someone who makes less than me is calling me a subhuman
>someone who is forced to study and present meaningless results is calling me subhuman
i bet you also think ceos politicians and people more respectable people than you are subhuman. Lmao how does it feel to be so stupid? I are smart and u dum dum git fucked
Also, how is spending the next 20 years of your life any smarter than aboriginals?

if i can do it on my freetime and not suffer for it, i am winning

>>9017955
HAHAHA MATHFAGS BTFO

>>9017955
I wonder.

lads unless you know you are getting tenure theres no point for grad. We have the internet and we can easily communicate with other mathematicians. As a last resort. you can always go to college and pretend to be enrolled there and get feedback (never tried it) do something more financially productive and just study math in your free time if you truly love it. that is the last test of your love for math. not grad school .
If you are no John F Nash, u dun goofed.

>>9017962
Why would you not want tenure? It's not hard, and being a professor is comfy af.

File: 1495062787580.jpg (185KB, 1200x1200px) Image search: [Google]

185KB, 1200x1200px

>mfw I found a math textbook written by a physicist that covers algebra, topology and analysis (with some proofs) under 500 pages
>mfw I won't tell you the name

>>9018097
>having to talk in front of 20-100 people every day is "comfy"

Nah, fuck that. I'm too autistic, and the students would make fun of me.

File: __yakumo_yukari_touhou_drawn_by_wool_miwol__153385aeda1adc38fcbd6d2adbaa4e35.jpg (260KB, 708x887px) Image search: [Google]

260KB, 708x887px

>>9018100
What's wrong with letting people smarter than mathematicians write math textbooks?

>>9017870
good luck disproving it, faggot
there are at least [math]g_{64}[/math] zeroes

>>9018105
>Having a PhD and caring about what people who don't have PhDs think of you.

>>9018126
Do you seriously think that somehow matters? I pity you.

>>9018116
The vast majority of physicists are barely smart enough for mathematics.

>>9017830
From thumbnail colors I thought it was just her usual dress.

File: 41SpzjQ0zmL._SX346_BO1,204,203,200_.jpg (24KB, 348x499px) Image search: [Google]

24KB, 348x499px

>>9017830
>did you read any interesting problems, theorems, proofs, textbooks, or papers recently?

File: __imaizumi_kagerou_touhou_drawn_by_wool_miwol__f7fdbf71c3541ee3903724e543001705.png (303KB, 600x600px) Image search: [Google]

303KB, 600x600px

>>9018189
The vast majority of adults are barely childish enough to wet their beds.

>>9017950
what are you looking at doing for work?

>>9017950
>tfw recognize pic
I gotta stop hanging around fourchin so much

>>9018460
we know where you hang anon

File: 2b.jpg (125KB, 1024x1024px) Image search: [Google]

125KB, 1024x1024px

>>9017830
>did you read any interesting problems, theorems, proofs, textbooks, or papers recently?
https://arxiv.org/abs/1609.02080
>Proof mining in [math] L^p [/math] spaces
>Let [math] \rho \in T^X [/math] be an admissible type. Let [math] B_{\forall}(x,u) [/math] be a [math] {\forall}-formula [/math] with at most [math] x [/math], [math] u [/math] free and [math] C_{\exists}(x,v) [/math] an [math] {\exists}-formula [/math] with at most [math] x [/math], [math] v [/math] free. Let [math] \Delta [/math] be a set of [math] {\Delta}-sentences [/math].
>Suppose that:
>[math] \mathcal{A}^{\omega} [X, \| \cdot \|, \mathcal{C}, L^p] + \Delta \vdash \forall x^{\rho} (\forall u^0 B_{\forall}(x,u) \rightarrow \exists v^0 C_{\exists}(x,v)) [/math]
>Then one can extract a partial functional [math] \Phi : S_{\hat{\rho}} \longrightarrow \mathbb{N} [/math] whose restriction to the strongly majorisable functional of [math] S_{\hat{\rho}} [/math] is a bar-recursively computable functional of [math] \mathcal{M}^{\omega} [/math] such that for all [math] L^p (\mu) [/math] Banach spaces [math] (X, \| \cdot \|) [/math] having the property that any associated set-theoretic model of it satisfies [math] \Delta [/math], we have that for all [math] \rho \in S_{\rho} [/math] and [math] x^* \in S_{\hat{\rho}} [/math] such that [math] x^* {\gtrsim}_{\rho} x [/math], the following holds:
>[math] \forall u \leq \Phi (x^*)B_{\forall}(x,u) \rightarrow \exists v \leq \Phi (x^*)C_{\exists}(x,v) [/math].
In the span of a few years we have went from conceptualising space mining on asteroids to mining proofs in abstract spaces.
Robots are underrated.

>>9018756
>penultimate theorem line
should be [math] x \in S_{\rho} [/math]

File: Lloyd-pics-2-28-17-629.jpg (771KB, 2448x3264px) Image search: [Google]

771KB, 2448x3264px

>>9018756
Uh, can I get that in English?

What kind of jobs can a BS in Stats get that a BS in Pure can't?

>>9018793
statician

real answer: if you're getting a BSc in pure math you better be planning for further study. BSc in stats sounds more easily marketeable for business or whatever

>>9018769
Which part trips you up?
The result gives conditions for producing theorems that hold in [math] L^p [/math] spaces. [math] \mathcal{A}^{\omega}[X, \| \cdot \|, C, L^p] [/math] is a formal system for them.
You can also always read the full paper. All the details are introduced.

>>9018793
>jobs a BS in stats can get that a BS in pure math can't
None exist. Statistics is a joke. >>9018796 doesn't know what he's saying. Statistics students are the reason why math majors have lower average IQs than physics majors. They drag everyone down with their piss-baby shit.
You will most likely have some probability theory and statistics courses as a pure math major anyway. There is no reason to be majoring in statistics unless you're a brainlet.

>>9018796
I'm getting a BS in math because my schooling is free, it's comfy to study, and many programming jobs don't require a CS degree (if any), so I decided to go with Math. I agree with what you say about Stats being more marketable, but the difference in classes is slight (even more so if I were to pick Stats electives as a pure math major), and I'm wondering if my potential employers will know that. Thank you for the reply!

>>9018815
>You will most likely have some probability theory and statistics courses as a pure math major anyway
This is why I'm adverse to majoring in it. I imagine I could market myself as a 'statistician' if that's what a potential employer wants to hear too.

File: patchouli_think.png (92KB, 357x331px) Image search: [Google]

92KB, 357x331px

>>9018806
So does that allow us to automate theorem proving in [math]L^p[/math] or something? Will this allow us to produce theorems that are "new" but provably true?

File: 1487698119883.jpg (91KB, 1280x720px) Image search: [Google]

91KB, 1280x720px

>>9018189
It's like you don't know anything about physics.

>>9018836
>So does that allow us to automate theorem proving in [math] L^p [/math] or something?
Partially. It delineates a set of theorems of the "for all such u there exists some v" kind.
>Will this allow us to produce theorems that are "new" but provably true?
Yes. Providing anyone bothers to implement the metatheorem in some automatic prover.
We should be able to get some pretty convoluted fixed point results with it.

>>9018855
>We should be able to get some pretty convoluted fixed point results with it.
Actually no, this depends on this combined with another proof mining result. Let me see if I had that one bookmarked somewhere.

File: __nonomura_ryuutarou_and_yakumo_yukari_touhou_drawn_by_koissa__81e4edf30bac3c7e4c38ee6918383f70.jpg (659KB, 1600x1281px) Image search: [Google]

659KB, 1600x1281px

>>9018855
Right, the produced results aren't constructive is it? It would only state that such-and-such statements are provably true but wouldn't give you any hints as to how to actually prove it, right?
Why even do this again?

> brainlet political scientist
Will do the MIT linear algebra course in the next weeks when I've finished Stanford's Machine learning course. I know some of the concept from stats but it's too patchy overall.

>>9018862
No, it gives you actual proofs. It's an upside-down search. You start with a proof pattern (here [math] \mathcal{A}^{\omega}[X, \|\|, C, L^p] + \Delta \vdash \forall x(etc) [/math]) and look for all statements that can be proven in a similar way, or more specifically you try to determine to what extent this is possible (here the role of [math] \Phi [/math], which is non-exhaustive, in the sense that there might be other statements in that are provable in a similar fashion but which are not accessible by way of [math] \Phi [/math]).

>>9018877
there might be other statements that are provable in a similar fashion

lmao nerds

>>9018100
You don't have to, there are quite a few books like that, hell there are some books that go a lot further than just topology, analysis, and algebra, those subjects (at least part of them) are pretty standard in most math phys classes, in fact they probably don't go far enough for many theoreticians.

>tfw barely passed calc 2
>tfw still hate it and will probably forget it in 3 months
at least I can act smart on /g/ about it and call them brainlets

File: MI.png (310KB, 526x754px) Image search: [Google]

310KB, 526x754px

>>9017830
Currently reading pic related.
It's quite nice, I was pleasantly surprised.

File: skeptical-man-with-glasses-C7E5RM.jpg (158KB, 869x1390px) Image search: [Google]

158KB, 869x1390px

>see high schooler asking for book recommendations on mathoverflow
>someone recommends Bourbaki

File: arte-pensive.jpg (41KB, 500x706px) Image search: [Google]

41KB, 500x706px

>>9019261
Who the fuck reads Bourbaki in this day and age?
Set theory is old and busted.
Seriously.

File: 1491588927213.jpg (52KB, 600x750px) Image search: [Google]

52KB, 600x750px

>>9017830
I love this general because it has everything and everyone I love. Thank you for existing.

>>9019310
Show your love by posting some math.
Or something about math.
Thanks.

How does one go about learning geometric constructions using a compass and straightedge?
I can't find anything on this because I'd imagine those techniques became obsolete, but I'm still interested in them.

>>9019410
Read Geometric Constructions by George Martin for a primer.

>>9019468
Thanks. I will look that up.

>>9019410
there's a thorough treatment in Rotman's Galois Theory appendix C. surprisingly you can characterize constructible numbers as a simple field extension.

>>9019514
Unfortunately, the theory is above my level, and it's not comprehensive, but I'll keep it in mind.

File: 2017-07-07-135111_1671x537_scrot.png (104KB, 1671x537px) Image search: [Google]

104KB, 1671x537px

I'm having some problems with part (b) of this exercise. It's fairly easy to show that if [math]\Pi_1, \Pi_2, \ldots[/math] are the cosets of a subgroup of [math]\mathbb{Z}[/math], then such a partition is compatible with +, but I don't know what to do next.
I suspect that these are the only compatible partitions, and if so, I was trying to prove this using the result from exercise 8.12 (if S is a subset of G and the cosets of S partition G, then S is a subgroup of G). But I'm not getting anywhere. How do I do solve this problem?

>>9019691
>I suspect that these are the only compatible partitions
what about the trivial partition where each part is a single integer?

>>9019825
That's the cosets of {0}, a subgroup.

File: yucurry.png (34KB, 878x667px) Image search: [Google]

34KB, 878x667px

>>9018877
>No, it gives you actual proofs.
Interesting, so it's sort of like automated theorem proving in Euclidean geometry via Groebner bases, but weaker.
Can't imagine why mathematicians would try to make themselves jobless though.

>>9018844
I didn't say anything about physics.

>>9019890
>Euclidean geometry
It's decidable though. Most of the math people do isn't, so they won't be losing their jobs anytime soon. But I'm working on it.
>Can't imagine why mathematicians would try to make themselves jobless though
I'm currently trying to accomplish this mainly for fun.

>>9019922
That's a very noble goal. Good luck.

>>9019288
>Who the fuck reads Bourbaki in this day and age?
Lots of people
>Set theory is old and busted.
Bourbaki's Set Theory was already old and busted when it was written. It has nothing to do with set theory as studied by logicians. Also, there's literally nothing wrong with sets.

File: yuuka_farming.png (99KB, 331x334px) Image search: [Google]

99KB, 331x334px

>>9020000
Them digits tho

>>9019169
Nice try, Rene L. (((Schilling))).

File: 1499226236738.jpg (196KB, 892x1252px) Image search: [Google]

196KB, 892x1252px

Do cute boys post on /mg/?

File: yukari_spurdo.png (796KB, 637x900px) Image search: [Google]

796KB, 637x900px

If we rewrite the KZ monodromy [math]d\Psi = \omega\Psi[/math] in an iterated integral [math]\Psi(\gamma(t))= I + \int_\gamma \omega \Psi(\gamma(s))[/math] we can write Witten's knot invariant as as formal series [math]Z(K) = \sum_{k = 0}^{\infty}Z_k(K)[/math] (or a limit [math]\lim_{k \rightarrow \infty}Z_k(K)[/math] if [math]K[/math] is non-singular) where
[eqn]
Z_k(K) = \frac{1}{(2\pi i)^k}\int_{t_1<t_2<\dots<t_k}\sum_{P}(-1)^{\epsilon(P)}D_P\bigwedge\omega^k [/eqn]
where the sum is over all admissible colorings [math]P = \{i_m,j_m\}_m[/math] of pairs of points onto irreducible tangles [math]K_m[/math] that decompose [math]K[/math], [math]D_P[/math] is the chord diagram of such a coloring and [math]\epsilon(P)[/math] is the number of points in [math]P[/math] on which [math]K[/math] is oriented downwards.
It seems here that (the sum over [math]P[/math] of [math]D_P[/math] times) the iterated integral of the KZ monodromy (or the representation thereof) is playing the role of the operator invariant [math]F[/math] in Wentzl's limit. Perhaps the fact that the TQFT being unitary means that we can define a general expression for [math]F(L)[/math] as an iterated integral over some kind of connection [math]\omega[/math], and this will allow us to construct the CFT.
>>9020162
We're all girls here.

i mainly chose to major in math so i can understand all these fancy symbols.

File: 1.jpg (75KB, 1250x581px) Image search: [Google]

75KB, 1250x581px

>>9020162
>>9020229
wewlad

File: 1499296153956-fit.jpg (34KB, 370x699px) Image search: [Google]

34KB, 370x699px

>>9019288
>Tfw all axiomatic systems that could possibly constructed are busted in some way or another.

>>9020287
Who are you quoting?

File: 1489372865082.gif (71KB, 800x450px) Image search: [Google]

71KB, 800x450px

>>9020287
Are you mentally challenged?

He asks as he posts an anime image.

>>9020411
You seem to be new here. All the *chan websites are born out of anime culture.

>>9020422
>anime and culture in the same sentence

if I have a sequence of length n, how can I compute the expected length of the longest palindrome centered at index i? I'm counting the single element in the sequence to be a palindrome of length 1.

I imagine that the length of the longest palindrome centered at index i is dependent in some way on the length of that at index i-1.

And by the way, I'm not asking for an algorithm, I'm trying to calculate the expected runtime of an algorithm.

What should I even read up on to be able to conceptualize and solve problems like this? Is it Combinatorics?

I do not like Patchouli, and I do not like Yukari. I think we should post more Cirno.

>>9020434
>>9020308

>>9020459
MATHEMATICS!

>>9020459
brb pewdiepie

>>9020459
>>9020479
ok im back

Any good tutorial on doing maths in latex?

>Not following Tao's blog
https://terrytao.wordpress.com/

File: cirno_eats_shit.png (74KB, 319x215px)

74KB, 319x215px

>>9020446
Cirno has nothing good to say though.

>>9020501
nah mate literally get to it. start solving problem sets with it, googling stack overflow for how to do stuff. it sticks after a while and you'll be writing fast soon enough

File: yukari_mad.png (34KB, 111x189px)

34KB, 111x189px

>>9020512
I follow Baez's.
https://golem.ph.utexas.edu/category/
Haven't been reading it since he ignored my email tho.

>>9020501
share latex and overleaf both have tutorials and are really easy to use.

>>9020532
I have this asserted belief that any serious person would not be animefag. Either I am wrong or you are not serious person.

File: a bohemiathematician sticking her tongue out.png (219KB, 500x321px) Image search: [Google]

219KB, 500x321px

>>9019922
>>9020048
Salut Andrei. When are you going to join the homotopy type theory master-race?

File: Cedric_Villani_at_his_office_2015_n3.jpg (16KB, 225x337px) Image search: [Google]

16KB, 225x337px

>>9020742
Does Villani not count as a serious person?

File: really_implores_you_to_ponder.png (147KB, 231x361px) Image search: [Google]

147KB, 231x361px

>>9020742
Tough math problem you got there mate.

>>9020742
>>9020750
https://twitter.com/al1d/status/544490249121177602
Villani confirmed animefag

>>9020762
Villani confirmed proving existence of anime.

>>9020768
>Villani confirmed proving existence of anime.
But what about uniqueness?

>>9020762
>>9020768
>>9020772
>monolinguals
That's twitter-contracted French for "Cédric Villani hosts (a) session (on) #education".

Also, Villani being awarded the Fields is solid proof that the medal is a joke.

>>9020780
>Also, Villani being awarded the Fields is solid proof that the medal is a joke.
elaborate

File: remilia_fuck.png (104KB, 318x216px) Image search: [Google]

104KB, 318x216px

>>9020776
>literally so autistic that he can't see a joke this obvious
吃屎吧 アホ

File: vector girl of truth and wonder.png (1MB, 3729x4010px) Image search: [Google]

1MB, 3729x4010px

>>9020784
>implying any of you knows French
阿呆臭いな。
>>9020783
C'est évident mon amis.

>>9020776
This is bait, right? There's no way you can miss the joke

>>9020776
>>9020784
>>9020807
Who are you quoting though?

File: 1.jpg (69KB, 852x480px) Image search: [Google]

69KB, 852x480px

>>9020807
>implying any of you knows French
I thought we were all bilingual Canadians here

>>9020809
What part of "it's a stupid joke" is so hard to understand?

File: reimu_fuckingmother.jpg (69KB, 800x600px) Image search: [Google]

69KB, 800x600px

>>9020807
>implying knowing French is the only way for people to not be monolingual
Vitun 智障.

>>9020812
How can you think that when you yourself can't read French?
>>9020820
>non-grammatical mix of Finnish and Chinese

File: monke.jpg (29KB, 539x350px) Image search: [Google]

29KB, 539x350px

>>9020841
>How can you think that when you yourself can't read French?
b-but I can

File: 1499495659077.jpg (114KB, 820x1183px) Image search: [Google]

114KB, 820x1183px

>>9020812
Never took French immersion in high school. Used spanish/mandarin instead and regretted it ever since.
>>9020841
Good try google translating, friend.

>>9020848
Just to clarify: I regretted taking spanish, not never taking French immersion. French is probably one of the most disgusting and flamboyant language there is.

>>9020847
Je considère que vous mentez, Monsieur Gorille.

File: questionmar2.png (129KB, 314x278px)

129KB, 314x278px

>>9020854
>Je considère que vous mentez, Monsieur Gorille.
mais pourquoi?

>>9020848
Google is not required. Anyone who's seen a spurdo meme can recognise a couple of Finnish words.

File: yuuka_unamused.png (275KB, 568x310px) Image search: [Google]

275KB, 568x310px

>>9020867
Weird how you automatically thought I was talking about the Finnish part. Hmm...

>>9020868
Not weird at all. I'm fluent in Japanese. Since 智障 is nonsense in moonrunes, it had to be Chinese. Unless it's nonsense in Chinese as well, but I assumed you at least made the effort to get that right.

>>9020875
So you have no idea what the word means and think the sentence is grammatically incorrect? Wow sure sounds like a well-adjusted individual.

File: all smiles.jpg (330KB, 1920x1080px) Image search: [Google]

330KB, 1920x1080px

>>9020876
Yep, because it's probably an adjective.
>physicist brainlets
>possessing deduction skills

File: yukari_impressed.png (97KB, 314x215px) Image search: [Google]

97KB, 314x215px

>>9020883
>probably an adjective
>is wrong
Whoa... so this is the power of mathematical (((intuition)))...

File: 18e.jpg (55KB, 900x810px)

55KB, 900x810px

>>9020885
I just checked. It *is* an adjective.
You poor thing...

File: smug_ran2.png (495KB, 1000x1000px)

495KB, 1000x1000px

>>9020889
https://en.wiktionary.org/wiki/%E6%99%BA%E9%9A%9C#Noun
Absolutely embarrassing.

>>9018131
believing it is true or untrue is useless though. the only thing that matters is a track to proof

Is an applied math degree a waste of time? Would be a concentration with many CS courses.

>>9020893
Oh, so it looks like 智障 can be both an adjective and a noun. What's there to be embarrassed about? Your construction is still awkward in context ("fucking retardation"). I'd wager you wanted to say "fucking retard" or "fucking retarded" and now hide behind a semantic ambiguity.

Faggot.

File: 媽的智障.jpg (114KB, 392x470px)

114KB, 392x470px

>>9020917
Wiktionary doesn't include colloquial usage, little autismo. A native Chinese meme agrees with me, which makes you look like a little bitch.

>>9020917
>Faggot.
Why the homophobia?

>>9020919
Vitun 智障 is not colloquial anything. At this point I'm beginning to doubt the extent of your knowledge of Chinese.
Fucking poseur.

>>9020929
Did you not see the image I posted (which is made by a native Chinese) that used 智障 the same way I did? You're either actually this retarded or you're trying really hard to pretend like you are for some reason.
I'm actually born and raise in Taiwan so you really should've nitpicked on the Finnish part, not the Chinese part. 知己知彼.

File: 1499248536128.jpg (69KB, 453x576px) Image search: [Google]

69KB, 453x576px

>>9020929
>At this point I'm beginning to doubt the extent of your knowledge of Chinese.
Isn't she Chinese?

>>9020937
>>9020929
>raised*
By the way the colloquial part refers to using 智障 as a noun that literally means "retard", as you can see plainly in the picture I posted and in literally any other Chinese internet forum (or real life).

>>9020937
But the Finnish part is exactly what I'm talking about. That's not how you use "vitun".
妈的智障 literally translates to "mother's retardation" anyway. Am I wrong? What does that have to do with it?

File: 喳喳.jpg (132KB, 368x451px) Image search: [Google]

132KB, 368x451px

>>9020943
>Am I wrong?
Yes. 妈的 means "fuck" or "fucking".
https://en.wiktionary.org/wiki/%E5%AA%BD%E7%9A%84#Chinese
Do your fucking research before saying dumbass shit.

"math" general

>>9020917
>智障 can be both an adjective and a noun
Chinese words should essentially be viewed as individual types (in the sense of type theory), each with their own semantics.

The grammar arises solely from the handful of conjunctions, which play a similar role to [math]\times[/math],[math]\sum[/math] etc.
For example, in 妈的智障 the conjunction 的 transforms the word 妈 into an adjective 妈的 modifying 智障, but without any further context in which the term 妈的智障 is used, the part of speech of 智障 cannot be inferred.

>>9020943
It translates to either "fucking retard" (noun) or "fucking retarded" (adjective). Unlike English, Chinese doesn't distinguish between the two as they have essentially the same meaning anyway.

>>9020940
Boohoo! Fuck you chink.

>>9020952
>Fuck you chink.
Why the racism?

File: __yakumo_yukari_touhou_drawn_by_kupala__8f955671a7b13839d7e0c91c21412041.png (698KB, 633x900px) Image search: [Google]

698KB, 633x900px

>>9020952
>low IQ
>low EQ
>low testosterone
You really shouldn't be doing any kind of research at all, my little brainlet.

File: interesting.png (337KB, 500x459px) Image search: [Google]

337KB, 500x459px

>>9020951
I like this explanation.

>>9020951
>It translates to either "fucking retard" (noun) or "fucking retarded" (adjective). Unlike English, Chinese doesn't distinguish between the two as they have essentially the same meaning anyway.

To expand on this analogy, arguing over whether 智障 is a noun or an adjective is like arguing over whether [math]1 \in 3[/math] -- it depends on the context (true under the Zermelo definition of the naturals, false under the von Neumann definition, and meaningless in general).

Also, testing
[math]\sum [/math]

File: orin_baka.png (583KB, 1171x513px) Image search: [Google]

583KB, 1171x513px

>type theoretic 說文解字
Never seen something so autistic.

>>9020954
The only one you got right is low "EQ". I think that's a plus.
>>9020961
Very interesting. 的 seems to be quite different, functionally, from の in Japanese. I was under the impression that they have very similar grammatical roles.

>>9020969
的 is also a Japanese word though ("teki") where it has the same function as its Chinese counterpart.

It's been a long time since I studied Japanese grammar, but I recall reading that the translation of AのB that best preserves meaning (at the expense of sounding unnatural) is "B of A", e.g. "book of Mary", "event of studying" etc.
So "Aの" adds more information to "B", but it doesn't conjugate A in the way that 的 does.

>>9020961
*Minor errata: I somehow managed confuse the Zermelo and von Neumann definitions in my mind: [math]1\in 3[/math] is true in von Neumann and false in Zermelo.

>>9020955
>>9020969
I also like it because the analogy shows exactly why the construction does not work.
Did ancient Chinese also exhibit the same level of syntactic and semantic economy?
>的 is also a Japanese word though ("teki") where it has the same function as its Chinese counterpart.
Nope. 的 in Japanese is similar to "like" in "life-like". It denotes similarity/analogy.

>>9020950
>"math" general
when low IQ brainlets step out of line pretending to understand Chinese, they need to be put back in their place

>>9020981
的 teki in Japanese actually means "enemy" so

File: manami laugh.jpg (31KB, 500x536px) Image search: [Google]

31KB, 500x536px

>>9020983
lolno, that's 敵 you idiot.

>>9020988
that kana is actually read "kataki". so u r wrong. the more you know.

as an example you can write 一般的 to denote that ippan is the enemy. popularly used in old japanese doujin (where the samurai used to train)

>>9020993
>>9021001
well memed!

>>9020993
かたき is one of the 訓読み for 敵, another being かなう, as in 敵わない。
Don't teach grandma how to suck eggs mister.

>>9021001
>>9021002
What retarded translation is the source of this meme? 一般的 means "general" as synonymous with "typical".

>>9021002
おりがみ

>>9021003
Well seeing that 音読み is actually illegal or frowned upon in most japanese societies I wholeheartedly disagree, sir.

>>9021004
Probably nothing, he is literally just making shit up.

File: when will moon.png (195KB, 512x512px) Image search: [Google]

195KB, 512x512px

scientifically speaking, is linguistics math?

if so, what's the evolutionary benefit?

>>9021004
>一般的 means "general" as synonymous with "typical".
Literally "one-kind-like" or "as if of one kind".
>>9021006
Figures.

>>9021009
What if its a spandrel?

>>9021013
>Still didn't notice my ruse when I talked about readings of "kana".

>>9021025
>I was only pretending to be retarded

>>9020512
He's boring.

Take your pedophile cartoons back to >>>/a/

>>9021137
>>>/reddit/

File: but why.png (351KB, 473x676px) Image search: [Google]

351KB, 473x676px

[unpossible to link article because hiroshitter can't write a spam filter to save his life]
>A generalisation of Sylvester’s problem to higher dimensions
>In this article we consider [math] S [/math] to be a set of points in [math]d[/math]-space withe the property that any [math] d [/math] points of [math] S [/math] span a hyperplane and not all the point of [math] S [/math] are contained in a hyperplane. The aim of this article is to introduce the function [math] {\mathcal{e}}_d(n) [/math], which denotes the minimal number of hyperplanes meeting [math] S [/math] in precisely [math] d [/math] points, minimising over all such sets of points [math] S [/math] with [math] \mid S\mid = n [/math].

>>9019288
Type theory is where it's at for a foundation, amirite?

>>9020749
Do you have any good text reccomendations for it?

>>9021137
>>>/r/eddit/
>>9021178
>amirite
>>>/r/eddit/

>>9021181
This is still the only sufficiently broad overview: https://ncatlab.org/nlab/show/Homotopy+Type+Theory+--+Univalent+Foundations+of+Mathematics
Good bibliography: https://ncatlab.org/homotopytypetheory/show/References

I think it's just one person same fagging. I refuse to believe there are so many people with an extensive knowledge of math, Japanese and pedophile cartoons, and also autistic enough to write so much about it.

File: 1499516825022.png (345KB, 620x640px) Image search: [Google]

345KB, 620x640px

>>9021271
>I refuse to believe there are so many people with an extensive knowledge of math, Japanese and pedophile cartoons, and also autistic enough to write so much about it.
welcome to 4chan

>>9021273
I want to put you nerds on hormone therapy and cute girl clothes and then fuck your mouthes and asses.

>>9017830
>anime
I need more anime girls like this

and also I am too brainlet to remember all trig identities

File: 1498187913624.jpg (296KB, 631x837px) Image search: [Google]

296KB, 631x837px

>>9021290
You won't have to worry about the hormone therapy and cute girl clothes part.

>>9020512
>"Dude exploding water lmao!"
I'll pass

File: 1498507568751.jpg (592KB, 906x1280px) Image search: [Google]

592KB, 906x1280px

>>9021290
>I want to put you nerds on hormone therapy and cute girl clothes and then fuck your mouthes and asses.
Seconding that hormone therapy isn't needed, 2hu let me feel her up at McDonald's and there was no bulge (I don't think she tucked anything back)

File: 1499121148847.png (267KB, 800x720px) Image search: [Google]

267KB, 800x720px

>>9020749
I already have.

File: think.gif (2MB, 460x259px) Image search: [Google]

2MB, 460x259px

>tropical geometry is called tropical just because some Brazilian was involved

Let's make a new rule
You have to cosplay as an anime character and post a picture of it. Otherwise you aren't welcome in this thread.

>that second equivalence and onwards

HOW?! (They are writing it in DNF)

>>9021351
What are you talking about?

File: IMAG0298.jpg (830KB, 3264x1836px) Image search: [Google]

830KB, 3264x1836px

>>9021351
>>9021351

>>9021290
The dream right? The only men women are capable of loving are their own children. Men though, men love without reservation. It's pretty obvious that the idea society would be made up exclusively of girls (male). Reproduction via artificial wombs.

>>9021351
>>9021355
It's a tautology. non p and q or non p and non q I mean. It's like adding and subtracting the same quantity in an equation.

How long has it been since you graduated, what do you work with and how much do you make.

>>9021366
>How long has it been since you graduated
Just got my PhD.
>how much do you make
300k

>>9021370
I appreciate the funny reply but I'm serious.

File: pen moustache.png (110KB, 253x253px) Image search: [Google]

110KB, 253x253px

>>9021372
That's unfortunate.

File: Capture.png (70KB, 541x303px) Image search: [Google]

70KB, 541x303px

>>9021290
>I want to put you nerds on hormone therapy and cute girl clothes and then fuck your mouthes and asses.
Can you forcefeed me cummies as punishment when I can't compute a spectral sequence?

>>9021387
Post a picture of your legs first.

>>9021384
Admit it.
Math majors either have shit jobs with shit pay, or are plain outright NEETs.

>>9020810
*whomst'd've'll've'd

>>9021409
>Math majors either have shit jobs with shit pay, or are plain outright NEETs.
Ever heard of actuaries, or cryptographers? Actuary is one of the top ranked jobs, pretty much every year

>>9021416
How many math majors end up as actuaries and cryptographers?

>>9021422
A non-zero number, you can google job placement statistics if you feel like it

I think the NSA hires more mathematicians than anyone else in the world

I had a vision.

I wake up in a big white house far away from everywhere. I walk into the living room, and I see anon. He's a cute boy. He has his silky long hair, and is wearing long, stripped socks. Sitting on a chair, one of his legs retracted and the other extended. A pencil on his mouth. His eyes look to a pile of papers on the table. He's solving math problems and math puzzles. Without him noticing me, still focused on the math, I sneak behind him. Then in a very quick move, I grab his hair with my hand and smash his head against the table. My head comes down near his ear, and I whisper, as he shivers: "eat the numbers". "eat the math". I order him, and he starts licking the numbers on the paper. There is so much fluid everywhere now. On our crotches, mouthes, on the table, even coming from our eyes and few, little drops of sweat. We start kissing. I reach for his phone and he reaches for mine. We see we were both posting on /mg/. On the math general, we select the anime images each other posted and enlarge it, then stick each other's phones on our butts. We start vibrating the phone, anally masturbating. It's so beautiful. Two cute boys and their massive brains, pleasing each other as they share their love for anime, math and girly things.

>>9021422
Also almost every major has tons of people who don't end up working in a field related to the major, I know compsci majors working as tour guides and at home hardware stores, math majors that went into law, or to work at some start-up, or quantum computing

>>9021433
Truly the literary masterpiece of our times.

File: creepy smile.jpg (130KB, 1440x1651px) Image search: [Google]

130KB, 1440x1651px

>>9021433
I love you too!

>>9021433
Do you really have to smash my head against the table anon that sounds like it would hurt
also all that fluid will ruin my notes

File: pondering the meaning of life.jpg (245KB, 759x538px) Image search: [Google]

245KB, 759x538px

Theorem: [math] /mg/ \subset /a/\ \cap\ /r9k/ [/math]
Proof: left as an exercise for the reader.

>>9021492
counterexample:

i do not frequent either of those board, yet I frequent /mg/. Thus the relation is not a subset of any kind.

File: depositphotos_41184159-stock-photo-pensive-business-man-looking-up.jpg (85KB, 1023x904px) Image search: [Google]

85KB, 1023x904px

>>9021492
I went to /a/ once and they recommended me Hibike Euphonium which was awful so I never went back

>>9021503
[math]\mathbb{REKT}[/math]
[math]\mathbb{E}[/math]
[math]\mathbb{K}[/math]
[math]\mathbb{T}[/math]

Other than entering a field that doesn't interest me at all, why should I take time to independently study math?
>Inb4 something must be wrong with his set of interests

File: geh.jpg (71KB, 1280x720px) Image search: [Google]

71KB, 1280x720px

>>9021510
Shit taste.

>>9021492
Both /a/ and /r9k/ are full of frogposters, /pol/tards, underages, dumbasses, unvirgins, normalfags, the list goes on.
If you visit either board you are a retard.

>>9021503
>>9021510
>>9021514
>>9021522
You have failed to prove the theorem.
Meet me after class.
Bring a change of clothes.

File: 1463400044358.jpg (1MB, 1920x1280px) Image search: [Google]

1MB, 1920x1280px

>>9021517
>Other than entering a field that doesn't interest me at all, why should I take time to independently study math?
Why would you study something that doesn't interest you?

>>9021526
I will take a swimsuit and colorful sex toys.

File: qt mathematicians.jpg (481KB, 1141x1400px) Image search: [Google]

481KB, 1141x1400px

You know, the idea of a /math/ orgy sounds interesting. But what the hell are we going to do with the gorilla? I'm not into bestiality.

>>9021517
You shoudln't. If you have no interest in learning Math, you're a brainlet - plain and simple.

>>9021530
The gorilla may watch, but not join
I think we will all find this an acceptable compromise

File: cringe weeaboo.png (452KB, 700x525px) Image search: [Google]

452KB, 700x525px

>>9021530
Orgies can only work when there are sexy people.
Weeaboos are fat neckbeards.

File: monkfinger.jpg (216KB, 605x763px) Image search: [Google]

216KB, 605x763px

>>9021535
>The gorilla may watch, but not join
>>9021530
>But what the hell are we going to do with the gorilla? I'm not into bestiality.

>>9021536
Who said anything about weeaboos?

File: 1499312846837-r9k.jpg (154KB, 712x713px) Image search: [Google]

154KB, 712x713px

>>9020308
>Who are you quoting?

People illegitamitely use quotes for the greentext effect if you stay longer than summer you will see.

>>9020334
>Are you mentally challenged?

Probably.

File: 1492845459419.jpg (958KB, 2046x2958px) Image search: [Google]

958KB, 2046x2958px

Would you let me in?
I'm not a trap, but I compensate being 6'4 and athletic.

>>9021547
Well, someone needs to be the dominant one around here

File: 1489502545468.jpg (92KB, 1000x1000px) Image search: [Google]

92KB, 1000x1000px

>>9021547
I noticed it is a trend for math majors who have already high IQ to be very tall as well. Maybe because superior genes often come in combos.
How tall is /mg/?
I'm 5'11

>>9021553
Height is not only correlated to average higher wealth. It is a well known fact that the higher, the smarter.
https://en.wikipedia.org/wiki/Height_and_intelligence
Tall people have big of [math]both[/math] heads.

>>9021553
6'9"

And this thread had the best start in a while, with people actually posting math and shit.
>>9021553
170cm.
My IQ is 140.
>>9021557
The correlations are very small. I think they're mediated by ancestry,

File: 1488996784693.jpg (186KB, 600x922px) Image search: [Google]

186KB, 600x922px

If you're not cute little girls (male) please do get out of this thread ok

>>9021565
>I think they're mediated by ancestry,
Hmm, never mind. The correlation is only diminished within families. Still positive.
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3044837/

Nothing in this thread has anything to do with math. Everything in this thread has to do with degeneracy.

>>9021692
We are a bunch of sexually frustrated nerds. What do you want? Sometimes I wish I was gay. It would make things easier.

>>9021455
This image is the scariest shit I've seen all year.

File: 1491112094922.jpg (79KB, 500x516px) Image search: [Google]

79KB, 500x516px

>>9021732
>Sometimes I wish I was gay.
Do you want to become one with me?

Does anyone know of a succesful mathematician who watches anime?

>>9021794
I can't pass for a trap. I have a pronounced supraorbital ridge and a square jawline.

>>9017915
do you visualize these things in your head or is it mostly algebraic?

>>9021848
Villani

File: test (6).jpg (212KB, 645x960px) Image search: [Google]

212KB, 645x960px

>>9021871
>do you visualize these things
In general yes. I sort of have to.
Most of the steps for constructing quantum invariants on 3-manifolds for TQFT's is by doing it through knots first, and the properties of which almost all come from visualizing how knots in [math]S^3[/math] behave. Similarly the axioms of a 2-DMF all come from visualizing cutting up pieces of paper with several holes in them.
On the other hand CFT's are a bit more computational heavy, but if you have the proper physics background you'll be able to assign physical objects (e.g. particle trajectories, Feynman diagrams, gauge bundles, etc.) to quantities that allows you to better understand the CFT.

File: 7999364eae16e07fb13ec10e2dfd79278ef3d5805dbdcf8a4166ed80e9be8aa1.jpg (69KB, 1024x576px) Image search: [Google]

69KB, 1024x576px

>>9021852
What if we are just friends and sometimes cuddle as well? I can listen to your worries as well!

File: hmm.jpg (74KB, 500x493px) Image search: [Google]

74KB, 500x493px

>>9021906
I have never cuddled with anyone. How does it feel?

File: 36aabcb7df2c951d85e8485a046eeaa6ac4e5d3fb34a849de5d8d3b73d0700bf.jpg (271KB, 600x674px) Image search: [Google]

271KB, 600x674px

>>9021915
I don't know either.
Do you want to find out?

File: 1499538559706.jpg (141KB, 900x964px) Image search: [Google]

141KB, 900x964px

>>9021915
>>9021928
Think of a warm blanket made of love.

File: resting.jpg (126KB, 400x266px) Image search: [Google]

126KB, 400x266px

>>9021915
>I have never cuddled with anyone. How does it feel?
Really good. Mathematicians are great cuddlers

>>9021884
Proof?

File: mirai.gif (603KB, 500x480px) Image search: [Google]

603KB, 500x480px

>>9021928
>Do you want to find out?
I would love to, sometime...

>>9021942
his book 'Birth of a Theorem'

he talks about Black Jack and Nausicaa

>>9021950
Damn, it's true. But Black Jack is from the 60s and I haven't seen Nausicaa but that shit looks dated as fuck.

Is there any indication that he is an actual anime fan. Does he watch seasonal anime? Do we know his myanimelist account? Does he talk about how streaming is cancer?

Grigori Perelman watches anime habitually. I am sure of it.

>>9021970
Show proof.

File: ???.jpg (51KB, 730x436px) Image search: [Google]

51KB, 730x436px

>Grigori Perelman watches anime habitually. I am sure of it.
hmm...
>I have a pronounced supraorbital ridge and a square jawline.
hmmm...

File: ruski-genije.jpg (33KB, 720x442px) Image search: [Google]

33KB, 720x442px

>>9021983
different angle
hmmm...
what are the chances grigori is /one of us/?

>>9021993
Grigori is a genius, he wouldn't waste his time with losers like you.

Is everyone on /mg/ okay? Cause this thread went in a very different direction than it usually does.

File: nicomaki.jpg (147KB, 1100x1249px) Image search: [Google]

147KB, 1100x1249px

>>9022004
Don't resist it, let the swing take you.

File: hags_sleep.jpg (305KB, 1600x1200px) Image search: [Google]

305KB, 1600x1200px

>>9021175

File: there she is!.jpg (13KB, 172x294px) Image search: [Google]

13KB, 172x294px

What is the difference between Yukari and a pile of shit?
The pile of shit isn't so disgusting.

File: 37cc4dac.jpg (109KB, 1235x1200px) Image search: [Google]

109KB, 1235x1200px

Post math stuff you fags, I am going to cry if you don't.

File: 1459346370665.png (195KB, 454x500px) Image search: [Google]

195KB, 454x500px

Math is for nerds

File: 1485284221645.jpg (187KB, 768x1133px) Image search: [Google]

187KB, 768x1133px

>>9022031
To me posting good math is like posting good art. I have a ton of it, but don't like sharing.

File: __yakumo_yukari_touhou_drawn_by_iroyopon__28475e1b00dc4783afb7d0fbbec8ed50.png (757KB, 1103x1004px) Image search: [Google]

757KB, 1103x1004px

>>9022031
Let [math]A_n[/math] be the algebra of formal power series over the determinants [math]X^{ij},~ i\neqj[/math] over [math]\mathbb{C}[/math] modulo the ideal generated by [math]X^{ij} - X^{ji},~[X^{ij}+X^{jk},X^{ik}][/math] and [math][X^{ij},X^{kl}][/math] with all indices distinct. Given [math]\kappa \neq 0[/math] consider [math]\omega = \frac{1}{\kappa}X^{ij}\omega_{ij}[/math] where [math]\omega[/math] is a monodromy connection.
Put [eqn]\theta(\gamma) = 1 + \sum_{m=0}^{\infty}\int_{\gamma}\omega^m[/eqn] where the product is taken as an iterated integral, then [math]\theta:P_n \rightarrow A_n[/math] is a representation of the pure braid group.
Now if [math]\omega[/math] is flat (like the KZ connection), then [math]\theta[/math] is a single-valued representation that depends only on the homotopy of the loop [math]\gamma[/math], and [eqn]\exp\left(-i\int_\gamma \theta(\gamma)\right)[/eqn] defines a 1-dimensional unitary representation of the holonomy of the principal bundle defined by the connection [math]\omega[/math].
The idea I have is to extend this expression to non-flat [math]\omega[/math], which I believe would likely get me terms that depend on the base points of [math]\gamma[/math] in the unitary representation. Using matrices to represent this kind of branching, we could in theory construct a non-Abelian unitary representation of the pure braid group.

File: Figure 43.5.png (159KB, 1280x800px) Image search: [Google]

159KB, 1280x800px

Träumerei: From the score it is clear that this composition may be divided into four parts [math]P_j[/math], [math]j=1,2,3,4[/math], corresponding to the onset intervals [math]I_1 =[0,8] [/math] and [math]I_j =((j−1)·8,j·8] [/math], [math]j = 2, 3, 4[/math], respectively. Also is it obvious that these four parts are similar to each other, and that [math]P_3[/math] differs most from the other parts. In fact, [math]P_2[/math] is, by definition, an exact replicate of [math]P_1[/math] (except for the slightly different up-beat). In figures 43.5.a through 43.5.c, the weights for the four parts are plotted on top of each other, i.e., onset time is taken modulo 8. The weights are indeed almost identical to each other. Interestingly, the fact that [math]P_3[/math] differs most from the other parts shows only for the melodic weights. Also, the scatter plots do not indicate any strong relationship between the three weight functions. The sample correlations are all in the range [math][−0.01, 0.09][/math].

>>9022090
Context?

Yep just what I remember from my math classes in college. Full of virgin weebs.

File: Figure 14.1.png (181KB, 1280x800px) Image search: [Google]

181KB, 1280x800px

The four interpretations of a major or minor scale, starting with the singletons, up to the tetradic interpretation for jazz harmony. We have successive refinement morphisms, and associated maps between nerves (see section 14.4 for this association). Every interpretation uniquely maps to the ‘uninterpreted’ local scale composition shown to the right. Observe that the tetradic interpretation has a nerve which is a full torus, in fact a union of tetrahedra, the intersection configuration around any fixed tone. The harmonic strip of the triadic interpretation is embedded in the tetradic torus as a strip which is ‘entwined’ along the torus’ interior circle. So the absence of orientation of the harmonic strip vanishes on the tetradic jazz harmony.

>>9017830
I'm doing probability theory. I've been told that class is hell so I wanna go in prepared

>>9022168
lmao what?

>>9022172
Is it not?

>>9022127
Just math stuffs. I don't want to see anon cry.

>>9022163
is this that topos of music book?

>>9022174
Nope. Probability theory is pretty much recycled material from other branches of math, mostly analysis and measure theory.

>>9022180
Yeah, I just opened the pdf, scrolled randomly and copypasted. All the interesting bits require a lot of latex typesetting and I can't be assed to do it.

anyone familiar with first incompleteness theorem?
there is this lemma wich says, for any formula a(x) there is a formula b such that Q(robinson) satisfies b <-> a(code(b)), where code is the encoding of a formula; the proof goes as, given D: N \partialto N, wich sends the encoding of a formula a(x) to the encoding of a(code(a)), since it is calculable it is Sigma_1 representable, let phi_D be that Sigma_1 formula, then define \gamma(x) = forall y. \phi_D(x, y) -> a(y) and define b as gamma(code(gamma)).
I checked and it is correct, but how the hell did they do that? You want b <-> a(code(b)), what logical reasoning you follow to get to this proof?

File: tfw suicide.jpg (43KB, 633x758px) Image search: [Google]

43KB, 633x758px

What's the groovy variable change that makes any palindromic polynomial trivial? Completely forgot about it , and Google gives me everything but that.

File: stuff.png (169KB, 716x697px) Image search: [Google]

169KB, 716x697px

Good night /math/.

>>9018189
Physcists are smarter than mathematicians. I study math btw.

>>9022353
No.

>>9021901
can you draw some pictures?right now im in the process of visualizing homologies and cohomolgies.

ive also been plotting constructions of prime cyclic groups with relation to their factors/multiples. something ive noticed is that say, in the cyclic group of the first n primes we return to our next prime prime after the cycle of multiplication. Is this just trivial?a set of primes looks monoidal within that set. I dont know how to say this better, ill post a pic in a sec

File: nomizi.jpg (108KB, 640x640px)

108KB, 640x640px

>>9022382
>ive also been plotting constructions of prime cyclic groups with relation to their factors/multiples. something ive noticed is that say, in the cyclic group of the first n primes we return to our next prime prime after the cycle of multiplication. Is this just trivial?a set of primes looks monoidal within that set. I dont know how to say this better, ill post a pic in a sec

Some new IAS this week, a talk that was actually very interesting was this one
https://www.youtube.com/watch?v=QeI6HhNlYdc

File: p rhymes.jpg (132KB, 720x2528px) Image search: [Google]

132KB, 720x2528px

>>9022383
I honestly have little idea of what im up to, but heres a picture. I have some intuition about things, I realized a bit ago that I came up with simplicial complexs, but when I was asking my LA prof about it he had no idea what I was trying to come up with. But I was watching some alg topology video and thought, that looks a lot like what I was doing, kek.

I disproved what I was saying, but its still interesting nonetheless.

Should I be selecting my cirriculum based off of interest, or something else?

>>9022825
Assuming grad school inclinations btw, thought that'd be obvious though.

Also, please discreetly send me your discrete math textbook recs. I've read Epp's book already so maybe it's time to move onto Concrete Math by Lord Knuth.

Where to go after Baby Rudin? (did everything till multi variable and skimmed the rest of the book). Preferably a book which already assumes some topology (I had a course on algebraic/differential last semester)

File: 1498710457553-r9k.png (227KB, 404x269px) Image search: [Google]

227KB, 404x269px

Post your favorite examples of irl mathematical groups.

>>9022844
Algebra. Artin, DF, Herstein, Lang.

Analysis. Spivak's calculus on manifolds, Big Rudin. Reed Simon's Functional Analysis.

Geometry. Hicks, Spivak, Lee.

Topology. Hatcher, Bott Tu, Bredon.

You should probably learn some more algebra and at least look through Spivak before moving on to differential geometry and algebraic topology.

>>9022872
I've read a good part of Herstein's last year (mostly rings, groups in Lang's) but I should probably review some between semesters.

I really disliked Hatcher (too much geometric intuition for my taste and some poor worded hypothesis).

I read some of Spivaks during Rudin, can I go directly to Big? I was thinking of getting a bit of measure theory from Bartle first.

>>9022882
The only algebraic topology book I really like is Bott and Tu. You need a bit of differential geometry to enjoy it though.

Bartle's elements of integration is a good quick read. You can read Big Rudin after if you want.

If you're interested in algebraic geometry then you could learn some commutative algebra. Atiyah Macdonald is really good. Eisenbud is also good but much longer.

File: Capture.png (11KB, 503x359px) Image search: [Google]

11KB, 503x359px

how is this shit even possible. i put my shit or radians and it doesnt work

File: 1479274506924.jpg (195KB, 1280x1440px) Image search: [Google]

195KB, 1280x1440px

>>9022848
U(1), the electromagnetic gauge group.

>>9022909
ans in 2nd and 3rd line are not the same number

File: 1482387043811.gif (547KB, 500x420px) Image search: [Google]

547KB, 500x420px

What does /mg/ recommend to do to someone who is an absolute fucking trainwreck of a person? How do you deal with all of this shit? Where do you get your drive from?
I'm basically living my day to day life as if I were in a vegetative state, the only thing that I like doing gets close to being a hobby is maths and I can't even fucking do it anymore. Recently I even outright told a proffessor I was doing undergrad research with that I couldn't do it anymore as vaguely as possible and he hasn't answered since.

Sorry for the blogpost but I don't know what to do apart from going to a shrink and I'd rather not.

>>9017915
You know what's even cooler than this? Arithmetic topology. That stuff is the shit. Should check some of it out, my colleague is using it in QFT and general gauge theories.

>>9023085
Why not try doing math in recreational manner and then building on that until you can do research again. Why is it that you can't do math anymore? Do you hate it know? As for drive, I just really like math (and physics), so I spend most of my day doing it

> what are you studying?

Real analysis ATM. Baby Rudin. The guy's a meme. Takes me 3+ hours to read a section and do half the problems at the end of each section.. thank god for Shakarchi and Rosenlicht, else I'd be totally fucked.

Most problems totally kick my ass, but I live for the few problems I finally crack on my own.

Math for me is a vicious cycle of sweet sweet felatio interrupted by drawling periods of nut-busting head-banging frustration/confusion.

Damn I love it

>>9023085
Stop being a pussy. I've had a daily 24/7/365 intractable headache (multiple neurologists/lifestyle changes) for the last 2 years of my undergrad and I'm still going, doing a bit of extra research too.

>>9023138
Don't worry, it gets a LOT worse in the latter chapters (probably better stop reading it at ch 8) so you will miss the beginning.

>>9023144
I was planning on it. I heard other authors are much better

>>9023138
>>9023150
Rudin;s chapter on measure theory isn't terribly good, so try out simon's new analysis series, big rudin, or adams.

File: 1496911171714.jpg (171KB, 680x720px) Image search: [Google]

171KB, 680x720px

>>9023138
>"Real" analysis
No such thing.

>>9023139
>Stop being a pussy.
That's the point, anon, I'm having difficulties with that.

Just picked up https://www.amazon.com/Introduction-Theory-Numbers-G-Hardy/dp/0199219869 and https://www.amazon.com/Probability-Enthusiastic-Beginner-David-Morin/dp/1523318678 off of amazon and i'll probably start the probability one after I finish my book on group theory, though the number theory shit looks hard.

File: 1498327914432.png (522KB, 519x697px) Image search: [Google]

522KB, 519x697px

>>9023211
Get some medical help then.

>>9023211
This website helped a friend of mine once, maybe it can help you. http://www.stickk.com/
Basically the idea is you find a group of people you really hate, then you make a bet that if you don't achieve your goal you have to donate money to that group. You first have to set an amount (something that'll get you off you ass, like $100-1000 for most people) then choose a referee to judge whether or not you've completed your task, and finally a group you despise, don't let the power of positive feeling drive you, let the power of hatred fuel your desires. Or, you know, do this >>9023216

>>9023215
Might want to try ireland for number theory, it's pretty great.

>>9018825
You definitely learn substantially less statistics in pure math as opposed to a statistics degree. I took some stats classes as part of my math degree and touched base slightly on a vast array of stats topics (one course was a stats topics course). Stats is a huge field, you definitely can't compete with stats majors as a math major.

>>9023211
It seems there is nothing physically wrong with you so maybe try some lifestyle changes before seeking a shrink (exercise is one of the few things keeping me sane at the moment).

Tbh I would give my left arm to be in your position, I too had only math as a hobby (I had to pickup movies/games b/c of my health) and miss being able to do it properly the whole day.

>>9023085
Anxiety is what drives me. My life is finite, I'm in the peak of my life, and I'm almost definitely going to fail to achieve my dreams. It all scares me so I work as hard as I can.

>>9023261
That same feeling paralyzes me.

>>9023265
Sorry bud, but youre going to die, get over it.

File: 1498213909219.png (563KB, 960x540px) Image search: [Google]

563KB, 960x540px

>>9023261
>My life is finite
Too bad for you I guess.

>>9023261
>>9023265
>>9023271
Have you not realized that this so-called "death" is merely a ruse?

>>9023286
>>9023291
Even if death could be extended arbitrarily, I don't want to fucking do that. I want to do die some day. I DO NOT want to be left with my thoughts for longer than a human lifetime. The drive death gives me is the only thing I have that keeps me going.

>>9023298
How truly pathetic.

>>9023301
lmao, well, we're all gonna die. At least I'm at peace with it.

>>9023310
>we're all gonna die
Speak for yourself.

>>9023312
You're so afraid of death, you're in denial. How cute.

>>9023318
Why would I be afraid of something which has no power over me?

Why is this thread so full of faggots? I thought engineers were the gay ones

>>9023323
I can't see any other explanation for such an explicit display of denial. If it's not fear, it can only be shear ignorance. Or religion.

>>9023327
>explicit display of denial
Denying the obvious is only natural.
>it can only be shear ignorance
Have you ever thought that you might be the ignorant one here?
>Or religion.
I'm not talking about an afterlife.

>>9023325
>Why is this thread so full of faggots?
It would be extremely autistic otherwise.
>>9023318
>>9023327
Are you saying every single person has to die? Where did you get this false information from?

>>9023336
>>9023335
>>9023327
>>9023323
>>9023318
>>9023310
>>9023301
>>9023298
>>9023291
https://en.wiktionary.org/wiki/as_above,_so_below

death is only the beginning

>>9023335
Religion encompasses more than the afterlife. Schizophrenics suffering delusions might also say their beliefs are obvious. Me, I'm just realistic. If your fantasy makes you feel good, hey, it's not like you get to know when you die either.

>>9023336
>Where did you get this false information from?
My mom told me.

>>9023085
Get your hands on ketamine. You're depressed.

>>9023347
>Me, I'm just realistic
Denying reality isn't realistic.
>it's not like you get to know when you die either
But I already know that it's impossible for me to die.

>>9023350
>Denying reality isn't realistic.
Pfft. Heh.

You're going to die. I'm going to die. We're going to die together. You're going to die with me holding you and me right after.

>>9023325
You afraid of catching the gay or something?

>>9023353
>You're going to die.
False.
>I'm going to die
Possibly. Depends on the particular circumstances of your birth.
>We're going to die together.
Wrong.

we at the bump limit

some1 make a new thread i don't have any good anime math pic

File: __yakumo_yukari_touhou_drawn_by_hanamidori__5f12a166dd1fed8f2d1750dbffd3d4c7.jpg (504KB, 715x1000px)

504KB, 715x1000px

>>9022382
>can you draw some pictures?
Of? The way I visualize homologies is to start with [math]H^1[/math] as equivalence classes of loops and then generalize to those of cycles [math]\{S^n,M\}[/math]. And then by canonical duality I just visualize cohomologies the same way.

>>9023356
I can see it right now. It's going to be immaculate. It pleases me.

>>9023362
Seems like wishful thinking on your part.

>>9023365
It's gonna happen.

>>9023361
draw that then, to n=4

>>9023371
Found the low test beta.

File: 1498547409768.png (920KB, 1808x1204px) Image search: [Google]

920KB, 1808x1204px

>Soit

>>9023358
Hold on, I am editing an image.

>>9023524
Good. I hope it will be a cute image.

ok, here's the new one >>9023625

File: IMG_20170709_101802.jpg (1MB, 2592x1944px) Image search: [Google]

1MB, 2592x1944px

>>9017830
Old class notes for engineering pro/g/ect

>>9023247
Is self studying viable for employers? Considering I'll already have a pure degree.

>>9023365
Why do you think you're not gonna die anon? Are you a bot?

>>9017955 count me in as a math grad that is switching to computer science. it just makes sense. digitize everything. who better to do it than us math bros?

File: 1490657282770.jpg (403KB, 1000x1500px)

403KB, 1000x1500px

>>9018100
Please tell me, Anon.

>>9018913
Can you name a few?