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

热度排名 #1959

彭罗斯用三分钟谈哥德尔不完备性

Roger Penrose explains Godel's incompleteness theorem in 3 minutes

这是简短观点片段。可以先记住哪类系统和哪种可证性在被讨论，再辨认彭罗斯何时开始谈定理之外的哲学问题。

Bruno Belli · 1 串讨论 · 热度 1.418

在此播放

讨论出处

• Hacker News · 原讨论 ↗2023-09-17 · 帖子分数 1