内容简介

在书中，我们最终遇到了置身于这些深邃思想背后的那个人。作为维也纳文化上最负盛名、最具创造力的那个时期的一个学生，哥德尔深受语言哲学家维特根斯坦的影响。他参加了维也纳学派的活动，与学派成员一起讨论科学理论、客观实在和真理之间的关系。后来，哥德尔去了普林斯顿高等研究院。在那里，他成了爱因斯坦一直找寻的谈伴，并被爱因斯坦视为知音。

爱因斯坦去世后，哥德尔因担心细菌中毒而拒绝进食，最终死于饥饿。但正像卡斯蒂和德波利所明断的那样，哥德尔的影响是持久不衰的。他的工作不仅使数学发生革命性的变化，而且还波及哲学、语言学和计算机科学，甚至也许还包括宇宙学。存在着可知为真，但却必然不能被证明的事实，哥德尔的这一结论，激起了从神经网络到计算理论的发现和创新浪潮。终结完全的、无矛盾知识的梦想，昭示人之精神的永不枯竭，哥德尔不完全性定理以此树起了一座丰碑。

作者简介

约翰·L·卡斯蒂，1943年生于波特兰，1970年在南加利福尼亚大学获数学博士学位，1992年加入美国圣菲研究所。著作有《实在更替》、《范式丧失》、《寻求确定性、《复杂化》、《五项黄金法则》、《虚实世界》和《剑桥五重奏》。

维尔纳·德波利，维也纳大学统计与计算机科学研究所教授。他著有好几本有尖哥德尔的德文书，并曾为德语电视节目制作过部有关哥德尔的节目。

目录

对本书的评价

内容提要

作者简介

前言

第一章自亚里士多德以来

第二章永远的不完全

第三章不可判定

第四章青年时代的哥德尔

第五章在普林斯顿的生活

第六章计算装置与数学

第七章思维机器和不完全性逻辑

第八章来来往往