逻辑人生——哥德尔传

库尔特·哥德尔是一个智慧巨人。他的不完全性定理不仅改变了数学，而且改变了整个科学世界和建筑于此定理之上的哲学。哥德尔定理粉碎了逻辑最终将使我们理解整个世界的梦想，同时也引发了许多富有挑战性的问题：什么是理性思维的界限？我们能够完全理解我们自己造的机器吗？我们能够搞清楚我们心智的内在工作过程吗？当研究结果缺乏逻辑的确定性时，数学家还怎么继续工作？在这本书里，我们最终遇到了置身于这些深邃思想背后的那个人。约翰·L.卡斯蒂和维尔纳·德波利为我们描述了一个复杂的人物：既入世又遁世，既雄心勃勃又固执己见。 正像卡斯