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

热度排名 #1952

不完备性｜一个研究者的个人回顾

Incompleteness: A Personal Perspective

带着「什么叫一个体系无法证明某命题」听演讲。可特别区分讲者个人的研究经验与不完备性定理实际断言的范围。

Google TechTalks · 1 串讨论 · 热度 1.418

在此播放

讨论出处

• Hacker News · 原讨论 ↗2008-11-07 · 帖子分数 1