What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
57K views • 14 years ago
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.
