逻辑人生 哥德尔传

哥德尔是一个智慧巨人。他的不完全性定理不仅改变了数学，而且改变了整个科学世界和建筑于此定理之上的哲学。哥德尔定理粉碎了逻辑最终将使我们理解整个世界的梦想，同时也引发了许多富有挑战性的问题：什么是理性思维的界限？我们能够搞清楚我们心智的内在工作过程吗？当对他们的研究结果缺乏逻辑的确定性时，数学家还怎么继续工作？在这本书里，我们最终遇到了置身于这些深邃思想背后的那个人：既入世又遁世，既雄心勃勃又固执己见。作为维也纳文化上最负盛名，最具创造力的那个时期的一个学生，哥德尔深受维特根斯坦的影响。后来，哥德尔去了普林斯顿高等研究院，成了爱因斯坦一直在找寻的谈伴，并被爱因斯坦视为知音。哥德尔的影响是持久不衰的。他的工作不仅使数学发生革命性的变化，而且还波及哲学、语言学和计算机科学，甚至也许还包括宇宙学。存在着可知为真，但却必然不能被证明的事实——哥德尔的这一结论，激起了从神经网络到计算机理论的发现和创新浪潮。终结完全的、无矛盾知识的梦想，昭示人之精神的永不枯竭——哥德尔不完全性定理以此树起一座丰碑。