书籍介绍
哥德尔不完全性定理 朱水林著 辽宁教育出版社1988年2月版 12万字 对哥德尔定理的背景、内容、证明和意义等作系统的介绍。哥德尔不完全性定理对逻辑学、数学、哲学和人工智能都具有深刻的影响。踏和塔斯基的形式语言的真理论及图灵机的判定问题理论，已被国际逻辑学界赞誉为现代逻辑的三大成果。收入“世界数学名题欣赏丛书”
用户评论
理性不是无所不能的。有些东西我们不知道，也不可能知道。但是人类有一种到达真理的直觉方法，而人工智能没有。
没看懂。。。
1988出版，这样一本好书，就湮没在时间的浪花中了。印刷有很多小错误，不影响流畅的论证和阅读。注：此书真名是《哥德尔不完全性定理》
@2021-05-19 14:14:41
形式语言的真理论 图灵机和判定问题，哥德尔的不完全性定理 是的现代逻辑三大成果。二值逻辑就是非此即彼。国内关于哥德尔写的最好的一本书
草草翻过，只想知道哪些具体的系统是自洽完备的、哪些则有具体的什么问题没法判定。
我爱哥德尔，您要是能帮我写论文就更好了，不想看书了
扫读，其实一直没完全follow下来。作者是见多识广，确实给出了证明过程及各种知识背景，就是小册子样子了点，其实可以在讲述上更扩展和条理化些。由此我想到的问题是，如果时间线上延展的“将完成”事件都是不可预测的，这种结构同构于逻辑线路？如果是，那么不完备定理具有合理性，而且反之推到逻辑系统是“可数的”，也就是说世间形而下系统是有定数的，或者时间是不可无限延续的。
大三的时候打印出来，认认真真从头读到尾。这既是一本科普又是一本专业的精彩小册子，本科高年级时读着完全不费劲。也让当时的我跳进数理逻辑的大坑，先后查阅了很多文献，囫囵吞枣地读了很多相关的教材。现在随着对数学的不断认识，不再沉迷于逻辑的肥皂泡泡里面了。因为国内也没有什么比较系统介绍数理逻辑与数学基础的中文书，这本小册子虽自成一体但信息量有限，所以就不推荐阅读了！
下载
收藏