逻辑人生
2002-11
上海科技教育出版社
[奥] 约翰·卡斯蒂,维尔纳·德波利
152
125
刘晓力,叶闯
无
库尔特·哥德尔是一个智慧巨人。他的不完全性定理不仅改变了数学，而且改变了整个科学世界和建筑于此定理之上的哲学。哥德尔定理粉碎了逻辑最终将使我们理解整个世界的梦想，同时也引发了许多富有挑战性的问题：什么是理性思维的界限？我们能够完全理解我们自己造的机器吗？我们能够搞清楚我们心智的工作过程吗？当对他们的研究结果缺乏逻辑的确定性时，数学家还怎么继续工作？在这本书里，我们最终遇到了置身于这些深邃思想背后的那个人。约翰·卡斯蒂和维尔纳·德波利为我们描述了一个复杂的人物既入世又遁世，既雄心勃勃又固执已见。作为维也纳文化上最富盛名、最具创造力的那个时期的一个学生，哥德尔深受语言哲学家维特根斯坦的影响。他参加了维也纳小组的活动，与小组成员一起讨论科学理论、客观实在和真理之间的关系。后事，哥德尔去了普林斯顿高等研究院。在那里，他成了爱因斯坦一直找寻的谈伴，并被爱因斯坦视为知音。〈br〉
爱因斯坦去世后，哥德尔因担心细菌中毒而拒绝进食，最终死于饥饿。但正像卡斯蒂和德波利所明断的那样，哥德尔的影响是持久不衰的。他的工作不仅使数学发生革命性的变化，而且还波及哲学、语言学和计算机科学，甚至也许还包括宇宙学。存在着可知为真，但却必然不能被证明的事实——哥德尔的这一结论，激起了从神经网络到计算理论的发现和创新浪潮。终结完全的、无矛盾知识的梦想，昭示人之精神的永不枯竭——哥德尔不完全性定理以此树起了一座丰碑。
约翰·卡斯蒂
美国圣菲研究所外籍教授和维也纳技术大学教授，当代最优秀科普作家之一。他著有许多脍炙人口的科普读物，其中包括《虚实世界》、《五条黄金法则》和《剑桥五重奏》。
维尔纳·德波利
维也纳大学统计与计算机科学研究所教授。他著有好几本有关哥德
前言
第一章 自亚里士多德以来
第二章 永远的不完全
第三章 不可判定
第四章 青年时代的哥德尔
第五章 在普林斯顿的生活
第六章 机械主义与数学
第七章 思维机器和不完全性逻辑
第八章 来来往往
第九章 复杂性之复杂性
第十章 灵魂之窗
参考文献
无
号称20世纪排名第一的数学家，爱因斯坦的知音。值得一看。
讲得不详细，这不怪作者，毕竟要把J2ME讲详细了，这书就要很厚了～基本上点到为止，当作字典翻翻还可以～