The mathematical work of Vladimir Voevodsky - Dan Grayson
47:03
What do we mean by "equal" - Pierre Deligne
58:30
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
13:31
Homotopy Type Theory Discussed - Computerphile
47:53
Peter Scholze, Cohomology of algebraic varieties
7:50
The Man Who Revolutionized Computer Science With Math
1:21:24
Terence Tao Teaches Mathematical Thinking
51:49
The joy of abstract mathematical thinking - with Eugenia Cheng
1:31:09