What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky

Archive guide

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.