逻辑人生

约翰．L·卡斯蒂，1943年生于波特兰，1970年在南加利福尼亚大学获数学博士学位，1992年加入美国圣菲研究所。著作有《实在更替》、《范式丧失》、《寻求确定性》、《复杂化》、《五项黄金法则》、《虚实世界>和《剑桥五重奏》。维尔纳·德波利，维也纳大学统计与计算机科学研究所教授。他著有好几本有关哥德尔的德文书，并曾为德语电视节目制作过一部有关哥德尔的节目。

出版者:上海世纪出版集团

作者:约翰.L.卡斯蒂

页数:136

译者:刘晓力

出版时间:2008－4

价格:15.00元

isbn号码:9787542845405

丛书系列:世纪人文系列丛书·开放人文

图书标签:传记哥德尔数学逻辑哲学科普邏輯學逻辑学

《逻辑人生:哥德尔传》在介绍哥德尔精彩的一生时，把我们带到逻辑边界和逻辑之外，深入到最激动人心的哲学未知领域进行探索。哥德尔：一位智慧巨人，他的不完全性定理不仅改变了数学，而且改变了整个科学世界和建筑于此定理之上的哲学。在《逻辑人生:哥德尔传》中，作者为我们描述了这样一个复杂的人物：既入世又遁世，既雄心勃勃又固执己见。他是爱因斯坦一直找寻的谈伴，并被爱因斯坦视为知音。

读后感

作为一个数学家，逻辑学家，思想家，哥德尔提出的不完备性定理直接让希尔伯特的形式主义理想破灭。 哥德尔定理的应用已不仅仅局限于数学，它根本地揭示了人类认知思维的局限——存在一个命题为真，但你不能证明。 作为一本介绍哥德尔及其定理的入门读物，推荐阅读。  

这是一本不错的哥德尔传记。对于哥德尔的生活的描述还是比较简单的，但是对于他那个著名的不完全性定理的解释相当的精彩，同时把与不完全性定理相关的图灵机、蔡亭的关于“数的复杂性”的理论等等融合在一起，可以与《哥德尔、埃舍尔、巴赫》一起看。

作为一个数学家，逻辑学家，思想家，哥德尔提出的不完备性定理直接让希尔伯特的形式主义理想破灭。 哥德尔定理的应用已不仅仅局限于数学，它根本地揭示了人类认知思维的局限——存在一个命题为真，但你不能证明。 作为一本介绍哥德尔及其定理的入门读物，推荐阅读。  

作为一个数学家，逻辑学家，思想家，哥德尔提出的不完备性定理直接让希尔伯特的形式主义理想破灭。 哥德尔定理的应用已不仅仅局限于数学，它根本地揭示了人类认知思维的局限——存在一个命题为真，但你不能证明。 作为一本介绍哥德尔及其定理的入门读物，推荐阅读。  

用户评价

摘引哥德尔的一段话：“人类精神是不可能形式化所有数学直觉的。即如果我们能够成功地形式化它的一部分，这个事实就恰好需要一种新的直觉知识，例如，这种形式主义的一致性知识。”足够精辟，不过让我想起康德哲学中理性对于知性的统筹能力。

按需。

假期阅读

哥德尔老婆年轻时给他喂饭，竭力让他相信饭里没毒，她就没想过自己比他死得早，导致晚年的哥德尔就被自己的疑心病给饿死啦……（头尾几章都很好！）

什么时候向表弟科普下。