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

Why it was recommended

I recommend this video

Recommendationukj · Original2019-07

What it covers

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. It is for someone who wants the derivation, proof, or implementation detail.

Video details

Channel

Institute for Advanced Study

Length

58 min 30 sec

Year

2012

More in this topic

• Brian Beckman: Don't fear the Monad
• 28c3: The Science of Insecurity
• "Propositions as Types" by Philip Wadler
• Math's Fundamental Flaw
• The Banach–Tarski Paradox
• The Future of Mathematics?