数学影像馆

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

热度排名 #981

哥德尔不完备性定理

Gödel's Incompleteness Theorem

从「一套规则能证明哪些句子」问起。听时区分体系的一致性与完备性，并追踪一个关于证明的说法怎样被编码为算术命题。

Philip Hazelden · 1 串讨论 · 热度 2.567

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

讨论出处