Computer Science and Homotopy Theory - Vladimir Voevodsky

[@inothernews]

RIP Professor

[@user_gmg8607]

have you read the interview with him?

[@beback_]

Why the hell do fields medalists keep dying young?!

[@estring123]

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

[@mathlitmusic3687]

@@estring123 wtf has divorce got to do with health?

[@estring123]

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

[@gaulindidier5995]

One of the most important intellectual of all time.

[@kamilziemian995]

Very interesting and relative simple lecture.

[@willyh.r.1216]

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.

[@eternaldoorman5228]

Are all talks at the IAS like that?

[@scoldingMime]

type theory at 18:54

[@armantavakoli7926]

He is not making fun, of you. 18:00

[@OlivierRevollat]

I like the way he don't even remember how to define a pair in set theory ...

[@lucianomoffatt2672]

@@OlivierRevollat well, that is the signature of a great mind: he creates the definition every time.

[@power9k470]

@@lucianomoffatt2672 von Neumann was like this.He forgot measure theory and then derived all the results himself.

[@nilp0inter2]

RIP