数学影像馆

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

热度排名 #598

数学的基础危机｜哥德尔不完备性定理

Math's Existential Crisis (Gödel's Incompleteness Theorems)

从形式系统能写哪些句子、能证明哪些句子说起。读定理时把一致性、完备性和有效公理化的条件分别标出来。

Undefined Behavior · 2 串讨论 · 热度 4.224

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

讨论出处