热度排名 #1895
哈姆金斯谈无穷、哥德尔定理与集合论
Joel David Hamkins on Infinity, Gödel's Theorems and Set Theory | Philosophical Trials #1
访谈串起无穷大小与形式证明。可以特别追问:当一个命题在给定公理下无法判定,换一套公理后又能研究什么?
Philosophical Trials · 1 串讨论 · 热度 1.418
讨论出处
- Hacker News · 原讨论 ↗2020-04-04 · 帖子分数 1