数学影像馆

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

热度排名 #1895

哈姆金斯谈无穷、哥德尔定理与集合论

Joel David Hamkins on Infinity, Gödel's Theorems and Set Theory | Philosophical Trials #1

访谈串起无穷大小与形式证明。可以特别追问:当一个命题在给定公理下无法判定,换一套公理后又能研究什么?

Philosophical Trials · 1 串讨论 · 热度 1.418

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

讨论出处