What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
Institute for Advanced Study · 3 则 HN 推荐
视频问答
可以让 AI 解释当前片段，或总结整部视频。如果回答附有时间戳，点击即可跳到对应片段。
试着问：这里讲的是什么意思？
需要用 Google 登录。确认前可查看最多会扣除多少积分。
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.
HN 推荐的原因： Recommended as a thought-provoking lecture from a Fields medalist on the foundations of mathematics and formal proof verification.
“I recommend this video” 阅读 HN 讨论 ↗