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

热度排名 #1950

哥德尔第一不完备性定理｜证明梗概

Gödel's First Incompleteness Theorem, Proof Sketch

跟清怎样给公式和证明编号，再看自指句子怎样在算术里出现。每走一步，都可问论证是在体系里进行，还是在谈论体系。

Undefined Behavior · 1 串讨论 · 热度 1.418

在此播放

讨论出处

• Hacker News · 原讨论 ↗2017-02-19 · 帖子分数 1