20 initial Θ-data into the construction of Θ^+/-ell NF-Hodge theaters and he gives you this look
>“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.”
>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.
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.