热度排名 #217

现行数学基础会不会有矛盾？弗拉基米尔·沃沃德斯基演讲

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

跟着沃沃德斯基追问证明依赖哪些公理，以及一旦基础出现矛盾会影响什么。他也从这个角度解释为何关心新的基础。

Institute for Advanced Study · 5 串讨论 · 热度 12.08

讨论出处