哥德尔不完全性定理

• 西布

  12-31
  2018-12-31：泛读，了解背景和意义。可能是国内最早研究的专著。1）形式和内容，形式和直觉。2）数学历史中也有意识形态，从有限到无限思维的转换中，康托太悲惨了。3）哥德尔定理超出传统的数理逻辑的范围，开始在其他数学领域如组合数学，发生影响。
• 文化

  05-11
  大三的时候打印出来，认认真真从头读到尾。这既是一本科普又是一本专业的精彩小册子，本科高年级时读着完全不费劲。也让当时的我跳进数理逻辑的大坑，先后查阅了很多文献，囫囵吞枣地读了很多相关的教材。现在随着对数学的不断认识，不再沉迷于逻辑的肥皂泡泡里面了。因为国内也没有什么比较系统介绍数理逻辑与数学基础的中文书，这本小册子虽自成一体但信息量有限，所以就不推荐阅读了！
• ..[(|Φ|)].

  05-16
  扫读，其实一直没完全follow下来。作者是见多识广，确实给出了证明过程及各种知识背景，就是小册子样子了点，其实可以在讲述上更扩展和条理化些。由此我想到的问题是，如果时间线上延展的“将完成”事件都是不可预测的，这种结构同构于逻辑线路？如果是，那么不完备定理具有合理性，而且反之推到逻辑系统是“可数的”，也就是说世间形而下系统是有定数的，或者时间是不可无限延续的。
• matrix

  01-14
  1988出版，这样一本好书，就湮没在时间的浪花中了。印刷有很多小错误，不影响流畅的论证和阅读。注：此书真名是《哥德尔不完全性定理》
• stupides

  04-11
  我爱哥德尔，您要是能帮我写论文就更好了，不想看书了
• free_POC

  03-02
  不如作者的《形式化——现代逻辑的发展》，主要还是另一本书内容更丰富。
• 阅微草堂

  03-16
  形式语言的真理论 图灵机和判定问题，哥德尔的不完全性定理 是的现代逻辑三大成果。二值逻辑就是非此即彼。国内关于哥德尔写的最好的一本书