数学影像馆

视频目录 / 数学逻辑、集合与证明

热度排名 #10

数学能证明自己的每一个命题吗?

Math's Fundamental Flaw

从希尔伯特为数学寻找完备基础的计划讲到哥德尔。留意「在一个系统内不可证明」需要哪些前提。

Veritasium · 40 串讨论 · 热度 91.879

打开原视频 ↗浏览数学逻辑、集合与证明

讨论出处