逻辑人生—哥德尔传
点此进入淘宝搜索页搜索分類: 图书,传记,科学家,
作者： （美）卡斯蒂（Casti,J.L.），（奥）德波得（DiPauli,W.）著；刘晓力，叶闯译
出 版 社： 上海科技教育出版社
出版时间： 2008-4-1字数： 131000版次： 1页数： 136印刷时间： 2008/04/01开本： 16开印次： 1纸张： 胶版纸I S B N ： 9787542845405包装： 平装编辑推荐
库尔特哥德尔是一个智慧巨人。他的不完全性定理不仅改变了数学，而且改变了整个科学世界和建筑于此定理之上的哲学。哥德尔定理粉碎了逻辑最终将使我们理解整个世界的梦想，同时也引发了许多富有挑战性的问题：什么是理性思维的界限?我们能够完全理解我们自己造的机器吗?我们能够搞清楚我们心智的内在工作过程吗?当对他们的研究结果缺乏逻辑的确定性时，数学家还怎么继续工作?在这本书里，我们最终遇到了置身于这些深邃思想背后的那个人。约翰L卡斯蒂和维尔纳德波利为我们描述了一个复杂的人物：既人世又遁世，既雄心勃勃又固执己见。作为维也纳文化上最负盛名、最具创造力的那个时期的一个学生，哥德尔深受语言哲学家维特根斯坦的影响。他参加了维也纳学派的活动，与学派成员一起讨论科学理论、客观实在和真理之间的关系。后来，哥德尔去了普林斯顿高等研究院。在那里，他成了爱因斯坦一直找寻的谈伴，并被爱因斯坦视为知音。
爱因斯坦去世后，哥德尔因担心细菌中毒而拒绝进食，最终死于饥饿。但正像卡斯蒂和德波利所明断的那样，哥德尔的影响是持久不衰的。他的工作不仅使数学发生革命性的变化，而且还波及哲学、语言学和计算机科学，甚至也许还包括宇宙学。存在着可知为真，但却必然不能被证明的事实——哥德尔的这一结论，激起了从神经网络到计算理论的发现和创新浪潮。终结完全的、无矛盾知识的梦想，昭示人之精神的永不枯竭——哥德尔不完全性定理以此树起了一座丰碑。
内容简介
哥德尔——一位智慧巨人，他的不完全性定理不仅改变了数学，而且改变了整个科学世界和建筑于此定理之上的哲学。在本书中，作者为我们描述了这样一个复杂的人物：既入世又遁世，既雄心勃勃又固执己见。他是爱因斯坦一直找寻的谈伴，并被爱因斯坦视为知音。 本书在介绍哥德尔精彩的一生时，把我们带到逻辑边界和逻辑之外，深入到最激动人心的哲学未知领域进行探索。
作者简介
约翰L卡斯蒂，1943年生于波特兰，1970年在南加利福尼亚大学获数学博士学位，1992年加入美国圣菲研究所。著作有《实在更替》、《范式丧失》、《寻求确定性、《复杂化》、《五项黄金法则》、《虚实世界》和《剑桥五重奏》。
维尔纳德渡利，维也纳大学统计与计算机科学研究所教授。他著有好几本有尖哥德尔的德文书，并曾为德语电视节目制作过部有关哥德尔的节目。
目录
对本书的评价
内容提要
作者简介
前言
第一章 自亚里士多德以来
第二章 永远的不完全
第三章 不可判定
第四章 青年时代的哥德尔
第五章 在普林斯顿的生活
第六章 计算装置与数学
第七章 思维机器和不完全性逻辑
第八章 来来往往
第九章 复杂性之复杂性
第十章 灵魂之窗
参考文献
书摘插图
第一章自亚里士多德以来
1965年，极具声望的奥地利经济学家摩根施特恩（OskarMorgenstern）在致奥地利外交部长（后来的总理）克赖斯基（BrunoKreisky）的一封信中写道：
毫无疑问，哥德尔是在世的最伟大的逻辑学家；确实，像外尔（Hermann Weyl）和冯诺伊曼（John yon Neumann）这样的出思想家都承认他确实是自莱布尼茨（Leibniz）以来，或者说是自亚里士多德（Aristotle）以来最伟大的逻辑学家。 在维也纳大学的历史上，似乎还不曾有哪一位教师的名字像哥德尔的名字那样光彩照人……爱因斯坦曾对我说，他自己的工作本身对他来说已不再是那么重要了，他去研究院，只是为了能享有同哥德尔一同步行回家的特权。
那么，被摩根施特恩称为自亚里士多德以来最伟大的逻辑学家的这个人，这个连伟大的爱因斯坦都认为是堪与其比肩的人，这个巨人中的巨人到底是怎样一个人呢翻开这本书你将会找到答案。但为了获得对这项广受赞誉的工作的初步印象，我们首先不妨对哥德尔在数学和哲学领域中所取得的成就作一个概观。
人们总是渴望确定的知识（certain knowledge），渴望那种超越千年而至永恒的知识。我们完全可以肯定，那种知识不能在自然科学中发现，因为在自然科学中，甚至像牛顿力学定律那样基本的理论也被相对论推翻了，而相对论本身很可能也会被将来的观察和实验所质疑。为求得我们真的可以依赖的那种确定性（certainty）（请原谅我用了一个相当蹩脚的双关表达），我们就总是回到数学领域，特别是纯数的领域。在这一领域，我们所用的真理产出的机制是逻辑演绎过程，那是亚里士多德留给我们的遗产。
亚里士多德的逻辑学基本上依靠两个支柱：不经证明而被看作真的前提或公设的集，以及一些保证从一个真陈述变换为另一个真陈述的推理规则。 下面就以古典的苏格拉底式的三段论（Socraticsyllogism）为例说明之。
……
