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

热度排名 #928

哥德尔百年纪念会｜保罗·科恩发言（一）

Paul Cohen part 1 of 6, Gödel Centennial, Vienna

这是科恩在维也纳活动中的发言片段。带着连续统假设的独立性来听，留意他怎样回顾哥德尔对证明与数学对象的看法。

ericcohen911 · 1 串讨论 · 热度 2.633

在此播放

讨论出处

• Hacker News · 原讨论 ↗2019-02-03 · 帖子分数 197