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

热度排名 #1402

哈姆金斯讲哥德尔不完备现象

The Gödel incompleteness phenomenon

先区分一个命题在自然数中为真和它能在特定公理系统里被证明。演讲围绕这两种判断可能分离的现象展开。

Joel David Hamkins · 1 串讨论 · 热度 1.869

在此播放

讨论出处

• Hacker News · 原讨论 ↗2026-08-14 · 帖子分数 3