Computer Science and Homotopy Theory - Vladimir Voevodsky
Рет қаралды 20,873
Күн бұрынVladimir Voevodsky
Professor, School of Mathematics
April 27, 2011
For more videos, visit video.ias.edu
@inothernews 6 жыл бұрын
RIP Professor
@user_gmg8607 5 жыл бұрын
have you read the interview with him?
@beback_ 4 жыл бұрын
Why the hell do fields medalists keep dying young?!
@estring123 3 жыл бұрын
@@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 2 жыл бұрын
@@estring123 wtf has divorce got to do with health?
@estring123 2 жыл бұрын
@@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 4 жыл бұрын
One of the most important intellectual of all time.
@kamilziemian995 3 жыл бұрын
Very interesting and relative simple lecture.
@willyh.r.1216 2 жыл бұрын
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?
@nilp0inter2 4 жыл бұрын
RIP
@scoldingMime 3 жыл бұрын
type theory at 18:54
@armantavakoli7926 4 жыл бұрын
He is not making fun, of you. 18:00
@OlivierRevollat 4 жыл бұрын
I like the way he don't even remember how to define a pair in set theory ...
@lucianomoffatt2672 3 жыл бұрын
@@OlivierRevollat well, that is the signature of a great mind: he creates the definition every time.
@power9k470 2 жыл бұрын
@@lucianomoffatt2672 von Neumann was like this.He forgot measure theory and then derived all the results himself.
Institute for Advanced Study
Рет қаралды 16 М.
SALEM EPISODES
Рет қаралды 702 М.
Institute for Advanced Study
Рет қаралды 23 М.
Topos Institute
Рет қаралды 2,2 М.
PoincareDuality
Рет қаралды 23 М.
Institute for Advanced Study
Рет қаралды 4,5 М.