What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
28:58
Computer Science and Homotopy Theory - Vladimir Voevodsky
55:54
The mathematical work of Vladimir Voevodsky - Dan Grayson
1:05:40
SHM - 16/01/15 - Constructivismes en mathématiques - Henri Lombardi
15:11
The Foundation of Mathematics - Numberphile
2:15:40
Math Will Never Be the Same Again… | Yang-Hui He
1:33:26
Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky
54:26
Henri Darmon: Andrew Wiles' marvelous proof
50:13