数学影像馆

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

热度排名 #239

斯科特·阿伦森：我们能知道多少数学？

Scott Aaronson | How Much Math Is Knowable?

从哥德尔不完备性和图灵的不可判定性出发，再问当计算时间和空间有限时，还有哪些数学问题原则上难以回答。

Harvard CMSA · 4 串讨论 · 热度 10.915

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

讨论出处