热度排名 #1393

哈姆金斯谈哥德尔不完备定理的证明

Gödel's incompleteness theorems: The proof that broke mathematics | Joel David Hamkins

注意论证怎样把「可以在系统内证明」这个说法编码为算术，再看哪一步构造出对自身可证性作陈述的句子。

Lex Clips · 1 串讨论 · 热度 1.869

讨论出处