what if current foundations of mathematics are inconsistent? | vladimir voevodsky
Published 12 years ago • 50K plays • Length 58:30Download video MP4
Download video MP3
Similar videos
-
1:05:09
foundations of mathematics and homotopy theory - vladimir voevodsky
-
1:07:33
univalent foundations of mathematics - vladimir voevodsky
-
50:13
univalent foundations: new foundations of mathematics | vladimir voevodsky
-
58:30
what if current foundations of mathematics are inconsistent?
-
57:55
overview of univalent foundations - vladimir voevodsky
-
1:33:26
multiple concepts of equality in the new foundations of mathematics by vladimir voevodsky
-
28:58
computer science and homotopy theory - vladimir voevodsky
-
55:54
the mathematical work of vladimir voevodsky - dan grayson
-
47:03
what do we mean by "equal" - pierre deligne
-
15:06
is consciousness a self referential paradox?
-
35:18
an intuitive introduction to motivic homotopy theory - vladimir voevodsky
-
1:00:10
the meta-theory of dependent type theories - vladimir voevodsky
-
54:16
5 - kick-off afternoon : vladimir voevodsky, univalent foundations
-
55:41
univalent foundations seminar - steve awodey
-
14:17
univalent foundations and the equivalence principle - benedikt ahrens
-
58:38
type systems ii- vladimir voevodsky
-
1:11:58
type systems i - vladimir voevodsky
-
1:33:26
vladimir voevodsky: multiple concepts of equality in the new foundations of mathematics
-
1:23:41
gathering in remembrance of vladimir voevodsky