Updates on ABC Conjecture
You are currently reading a thread in /sci/ - Science & Math
https://plus.google.com/106680226131440966362/posts/X9sNPQGfSVF
K... KEEP ME POSTED
>>7931602
can you tell me what a species is informally ? and how it helps category theory ?
>>7931604
>>7931602
>Mochizuki's first Skype session was not as exciting as I expected.
>for a while, it seemed kind of elementary and easy but the speaker got to Cor. 4.5 of the 3rd paper and confessed he didn't understand what it meant and nobody else did either and some discussion ensued without reaching a conclusion.
>It's still not clear where all this is going and where the meat is.
>>7931604
https://www.maths.nottingham.ac.uk/personal/ibf/files/gy-4.pdf
Check slide 14 onwards
>>7931606
Is it possible Mochizuki is just trolling?
>>7931606
>for a while, it seemed kind of elementary and easy but the speaker got to Cor. 4.5 of the 3rd paper and confessed he didn't understand what it meant and nobody else did either and some discussion ensued without reaching a conclusion.
Fucking math faggots, this is the reason every branch of STEM should be considered a sub discipline of engineering. It's the only major where people actually understand what they're doing.
[NJ Wildberger enters the lecture hall]
NJ: Hahahaha. And I thought my proofs were bad.
NJ: It's simple -- we kill the ZFC
>>7931639
TRUST ME....
IM AN ENGINEER !!!
>>7931624
but the approach that the algorithm is what matters is typically the business of category theory and type theory, it is this that I know, so what differs with species ?
>>7931761
I don't know.
Just email Mochizuki, he answers technical questions when they are well formulated.
>>7931602
RARE
>>7931805
If we could focus collectively on an easy part of IUT and manage to formulate a question in which we could hide a meme, shinichi could actually respond to us. It would be glorious. But I'm personally too dumb for it.
>DECEMBER 2015
>>7931665
It's abstract but it isn't particularly advanced.
This is just a set of foundational definitions - it couldn't really be advanced if it wanted to!
>>7931855
Make a thread
If you pick a cool picture then it will happen
