数学影像馆

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

热度排名 #1810

哥德尔第二不完备定理：证明提纲

Gödel's Second Incompleteness Theorem, Proof Sketch

先分清一个形式系统里的证明，与从外部讨论这套系统的可靠性。跟着提纲找出系统想说“我没有矛盾”时，要付出的逻辑条件。

Undefined Behavior · 1 串讨论 · 热度 1.418

打开原视频 ↗浏览数学逻辑、集合与证明

讨论出处