简介：出道了一切都会变好的……“你别讨厌我好不好”“苏新皓，再见。”“阿志，你还好吗？我想你了。”

哥德尔不完全性定理 朱水林著 辽宁教育出版社1988年2月版 12万字 对哥德尔定理的背景、内容、证明和意义等作系统的介绍。哥德尔不完全性定理对逻辑学、数学、哲学和人工智能都具有深刻的影响。踏和塔斯基的形式语言的真理论及图灵机的判定问题理论，已被国际逻辑学界赞誉为现代逻辑的三大成果。收入“世界数学名题欣赏丛书”

哥德尔不完全性定理 朱水林著 辽宁教育出版社1988年2月版 12万字 对哥德尔定理的背景、内容、证明和意义等作系统的介绍。哥德尔不完全性定理对逻辑学、数学、哲学和人工智能都具有深刻的影响。踏和塔斯基的形式语言的真理论及图灵机的判定问题理论，已被国际逻辑学界赞誉为现代逻辑的三大成果。收入“世界数学名题欣赏丛书”

分为上下两篇，上篇考察了歌德尔的事迹，从献身基本理论的角度来讲述歌德尔的生平；下篇介绍了科学与技术学中的概念、歌德尔与哲学、“分说”等内容。

库尔特·哥德尔无疑是当代最伟大的思想家之一。王浩与晚年的哥德尔交往甚密，他在本书中首次广泛论述了哥德尔的生平与工作，充分揭示了哥德尔深奥精妙的思想及其与数学史和哲学史上的重要论题的关系。他所涉猎的主题包括初等逻辑的完全性，形式化的极限，证明问题，集合概念，数学哲学，时间理论，相对论，形而上学，宗教以及作为世界观的哲学。

分为上下两篇，上篇考察了歌德尔的事迹，从献身基本理论的角度来讲述歌德尔的生平；下篇介绍了科学与技术学中的概念、歌德尔与哲学、“分说”等内容。

《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它提供了一个深入了解先前无法企及的论题的机会。 在此书的新版中，普利策奖的获奖作者道格拉斯•R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新，澄清了模糊之处，使论述更为清晰，并使行文更具可读性。