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

热度排名 #1837

哈维·弗里德曼谈不完备性的延伸

Adventures in Incompleteness, March 1, 2017

先问一个有限组合命题需要多强的公理才能证明，再跟着报告看这类问题怎样把组合数学与大基数联系起来。

Harvey Friedman · 1 串讨论 · 热度 1.418

在此播放

讨论出处

• Hacker News · 原讨论 ↗2017-03-18 · 帖子分数 1