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

热度排名 #104

哥德尔不完备定理｜Numberphile

Gödel's Incompleteness Theorem - Numberphile

从形式系统能表达算术这个前提出发，想想怎样把关于证明的陈述编码成关于数的命题，以及这样做会带来什么限制。

Numberphile · 10 串讨论 · 热度 24.013

在此播放

讨论出处

• Hacker News · 原讨论 ↗2019-10-10 · 帖子分数 271
• Reddit · GECLM · r/explainlikeimfive · 原讨论 ↗2022-03-04 · 评论分数 17
• Hacker News · 原讨论 ↗2017-10-28 · 帖子分数 122
• Reddit · GECLM · r/explainlikeimfive · 原讨论 ↗2020-05-21 · 评论分数 8
• Reddit · GECLM · r/philosophy · 原讨论 ↗2020-07-15 · 评论分数 5
• Reddit · GECLM · r/todayilearned · 原讨论 ↗2018-09-13 · 评论分数 5
• Reddit · GECLM · r/todayilearned · 原讨论 ↗2018-07-21 · 评论分数 4
• Reddit · GECLM · r/explainlikeimfive · 原讨论 ↗2019-09-13 · 评论分数 2
• Reddit · GECLM · r/explainlikeimfive · 原讨论 ↗2018-12-28 · 评论分数 1
• Reddit · GECLM · r/philosophy · 原讨论 ↗2018-09-27 · 评论分数 1