[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

View post   
File: 628 KB, 1000x650, img.jpg [View same] [iqdb] [saucenao] [google]
7931602 No.7931602 [Reply] [Original]

https://plus.google.com/106680226131440966362/posts/X9sNPQGfSVF

>> No.7931603

K... KEEP ME POSTED

>> No.7931604
File: 1.12 MB, 1928x6260, 1447360080504.png [View same] [iqdb] [saucenao] [google]
7931604

>>7931602
can you tell me what a species is informally ? and how it helps category theory ?

>> No.7931605
File: 512 KB, 1914x3147, 1446759952571.png [View same] [iqdb] [saucenao] [google]
7931605

>>7931604

>> No.7931606
File: 9 KB, 184x184, 1456598927842.jpg [View same] [iqdb] [saucenao] [google]
7931606

>>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.

>> No.7931624

>>7931604

https://www.maths.nottingham.ac.uk/personal/ibf/files/gy-4.pdf

Check slide 14 onwards

>> No.7931627

>>7931606
Is it possible Mochizuki is just trolling?

>> No.7931639

>>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.

>> No.7931665

>>7931604
>>7931605
Fuck that's some advanced shit
t. math student

>> No.7931681

[NJ Wildberger enters the lecture hall]
NJ: Hahahaha. And I thought my proofs were bad.
NJ: It's simple -- we kill the ZFC

>> No.7931686

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

>> No.7931687

>>7931639
TRUST ME....


IM AN ENGINEER !!!

>> No.7931761

>>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 ?

>> No.7931805

>>7931761
I don't know.
Just email Mochizuki, he answers technical questions when they are well formulated.

>> No.7931834

>>7931602
RARE

>> No.7931855

>>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.

>> No.7931864

>DECEMBER 2015

>> No.7931887

>>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!

>> No.7933045

bump

>> No.7933411

>>7931855

Make a thread

If you pick a cool picture then it will happen