20 initial Θ-data into the construction of Θ^+/-ell NF-Hodge theaters and he gives you this look
>>7640362
>that guy's face
Gets me every time.
>>7640362
respond with
>“You don’t get to say you’ve proved something if you haven’t explained it. A proof is a social construct. If the community doesn’t understand it, you haven’t done your job.”
>>7640362
in every single picture of him he looks visibly disgusted he has to be around other human beings
The face of 110% supersaturated autism.
>mfw in 40 years IUtech is term 1 maths in yurop and still precalc in murrica
>>7640912
I get incredible smugness like "I'm fucking smarter than all of you put together fucking losers kill yourselves"
>>7640677
>A proof is a social construct.
Finally, someone else who gets it. Explains the whole 'what is rigor' thing pretty easily and if you generalize to all of mathematics being a social construct the platonic discovered vs invented shit goes away too.
Does anyone here actually know what Intra-universal Teichmuller theory even is? Can someone explain it in penetrable english?
>>7641052
It means ur gay lol
>>7641052
No, no one really does. About 5-10 mathematicians have claimed to understand it so far, but thats it.
>>7640362
He reminds me of being a Japanese Clark Kent.
Who else thinks he has an alternate ego and does shady shit?
>>7641236
He is the guy who created the bitcoin.
>>7641054
are you saying he's a homomorphism?
>>7641052
Classical Teichmüller theory classifies the complex structures on a real manifold. Specifically, Teichmüller space consists of complex structures on a surface, mod homeomorphisms close to the identity. This invented by Teichmüller in ~1940, after he joined the Nazi party, but before he'd been killed in Russia.
Mochizuki then invented p-adic Teichmüller theory, which does the same, but for p-adic curves. Inter-universal Teichmüller theory then extends this to number fields. The inter-universal part refers to the different Grothendieck universes (thing in which different models of set theory is defined) that different structures live in.
https://www.maths.nottingham.ac.uk/personal/ibf/files/symcor.iut.html
Some big name mathematicians are studying IUTeich.
>>7640677
who is this landwhale on your pic?
>>7641585
read the filename you oaf