@@mathlitmusic3687 divorce=unhealthy mindset and lifestyle. i cant imagine someone like this has high standards for the wife. he seems like the type who works 20 hours a day and eats 1 meal.
What type of theory is type theory? It's like a new math from the intersection of math and computer science. It's also like a cousin of topology and set theory combined. Very new for me.
RIP Professor
have you read the interview with him?
Why the hell do fields medalists keep dying young?!
@@beback_ wat are you talking about? most die ripe old age. this guy clearly had lifestyle problems, he's divorced that already tells you much.
@@estring123 wtf has divorce got to do with health?
@@mathlitmusic3687 divorce=unhealthy mindset and lifestyle. i cant imagine someone like this has high standards for the wife. he seems like the type who works 20 hours a day and eats 1 meal.
One of the most important intellectual of all time.
Very interesting and relative simple lecture.
What type of theory is type theory?
It's like a new math from the intersection of math and computer science.
It's also like a cousin of topology and set theory combined.
Very new for me.
Are all talks at the IAS like that?
type theory at 18:54
He is not making fun, of you. 18:00
I like the way he don't even remember how to define a pair in set theory ...
@@OlivierRevollat well, that is the signature of a great mind: he creates the definition every time.
@@lucianomoffatt2672 von Neumann was like this.He forgot measure theory and then derived all the results himself.
RIP