What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
Institute for Advanced Study201258:3057.0K views
Why it is in the catalog
Hacker News commenters linked this video 3 times between 2017 and 2019, from 3 different accounts. Its recommendation score is 3.
More from Mathematics & Theoretical CS
9:52Vectors | Chapter 1, Essence of linear algebra
3Blue1Brown
2016Mathematics & Theoretical CS20 HN mentions
19:42But what is the Fourier Transform? A visual introduction.
3Blue1Brown
2018Mathematics & Theoretical CS20 HN mentions
1:28:23Quantum Computing for Computer Scientists
Microsoft Research
2018Mathematics & Theoretical CS20 HN mentions
59:34CppCon 2017: Matt Kulukundis “Designing a Fast, Efficient, Cache-friendly Hash Table, Step by Step”
CppCon
2017Mathematics & Theoretical CS19 HN mentions
1:07:10Brian Beckman: Don't fear the Monad
jasonofthel33t
2012Software Engineering & Languages16 HN mentions
17:05The essence of calculus
3Blue1Brown
2017Mathematics & Theoretical CS11 HN mentions
28:23The Fast Fourier Transform (FFT): Most Ingenious Algorithm Ever?
Reducible
2020Mathematics & Theoretical CS9 HN mentions
42:43"Propositions as Types" by Philip Wadler
Strange Loop Conference
2015Mathematics & Theoretical CS20 HN mentions