HackerTube / Video
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
Institute for Advanced Study
Vladimir Voevodsky's IAS lecture starts from Godel's second incompleteness theorem to explore whether first-order arithmetic could be inconsistent. It motivates his vision of univalent foundations and computer-checked proofs.
Recommended as a thought-provoking lecture from a Fields medalist on the foundations of mathematics and formal proof verification.
3 Hacker News mentions · 2017–2019