逻辑人生
出版社:上海科技教育出版社
出版日期:2002-11
ISBN:9787542829788
作者:[奥] 约翰·卡斯蒂,维尔纳·德波利
页数:152页
内容概要
约翰·卡斯蒂（John L. Casti），美国圣菲研究所外籍教授和维也纳技术大学教授，当代最优秀科普作家之一。他著有许多脍炙人口的科普读物，其中包括《虚实世界》、《五条黄金法则》和《剑桥五重奏》。
维尔纳·德波利（Werner DePauli），维也纳大学统计与计算机科学研究所教授。他著有好几本有关哥德尔的德文书，并曾为德语电视节目制作过一部有关哥德尔的电影。
书籍目录
前言
第一章 自亚里士多德以来
第二章 永远的不完全
第三章 不可判定
第四章 青年时代的哥德尔
第五章 在普林斯顿的生活
第六章 机械主义与数学
第七章 思维机器和不完全性逻辑
第八章 来来往往
第九章 复杂性之复杂性
第十章 灵魂之窗
参考文献
作者简介
哥德尔的不完全性定理不仅改变了数学，也改变了整个科学世界和建筑于此定理之上的哲学。《逻辑人生：哥德尔传》是对哥德尔生活和工作的精彩介绍，以深入而敏锐的笔触透析了哥德尔思想的意义及其深刻的智慧遗产，描述了一个复杂个性的哥德尔：既入世又遁世，既雄心勃勃又固执己见；生活于维也纳文化上最富盛名、最具创造力的那个时期，深受语言哲学家维特根斯坦的影响，是维也纳小组的明星；后来去了普林斯顿高等研究院，成为爱因斯坦的知音，却在爱因斯坦去世后因担心细菌中毒而死于饥饿。
图书封面
发布书评
精彩书评 (总计2条)
-
《逻辑人生》讲的是哥德尔的不完全定理，论述该定理的直观、内涵及其思想的延伸。算不得哥德尔传记。个人比较喜欢第一、二、三章，能用简洁直观的语言大致描述哥德尔定理的轮廓，并试图解释形式化、语言、哲学之间的关系，挺精彩。第四、第五章，对哥德尔生活和工作进行简介。可有可无？第六章，试图论述图灵等人在可计算理论中的贡献：图灵机、丘奇-图灵论题等，显示不可判定性与哥德尔定理的一致性。尽管两者有着某些共通之处，但不完全定理显然要深刻得多，似乎是两种不同量级的结论呢。第七章，论述哥德尔定理与认知科学、人工智能的关系。第八章论述相对论与哥德尔定理。也许这些理论都很深刻、很精彩，但我个人就不甚喜欢，说得好听，是对哥德尔思想的深入诠释，说得难听，也许就是一种误读。我持怀疑态度。第九章用复杂性理论诠释哥德尔不完全性定理。哥德尔定理的复杂性版本？有意思，我第一次听说，依然怀疑：是深入解读还是对哥德尔定理的庸俗化？第十章，总结并加上“对哥德尔数学哲学及各数学基础思想的误读”（译者注如此）。前三章是在旅行中抽空阅读的，那有着与旅行一样精彩而令人愉悦的内容。而之后的论述跨越许多学科，给出哥德尔定理的不同诠释角度，可根据个人喜好与专业谨慎对待。我不喜欢后面的内容，但我的判断也许是错的:-) -
这是一本不错的哥德尔传记。对于哥德尔的生活的描述还是比较简单的，但是对于他那个著名的不完全性定理的解释相当的精彩，同时把与不完全性定理相关的图灵机、蔡亭的关于“数的复杂性”的理论等等融合在一起，可以与《哥德尔、埃舍尔、巴赫》一起看。
精彩短评 (总计29条)
-
邏輯推演的界限是如此弱... -
:
B712.59/1622
-
哲人石丛书·当代科技名家传记系列”之一。智慧巨人库尔特·哥德尔的传记。哥德尔的不完全性定理不仅改变了数学，也改变了整个科学世界和建筑于此定理之上的哲学。本书是对哥德尔生活和工作的精彩介绍，以深入而敏锐的笔触透析了哥德尔思想的意义及其深刻的智慧遗产，描述了一个复杂个性的哥德尔：既入世又遁世，既雄心勃勃又固执己见；生活于维也纳文化上最富盛名、最具创造力的那个时期，深受语言哲学家维特根斯坦的影响，是维也纳小组的明星；后来去了普林斯顿高等研究院，成为爱因斯坦的知音，却在爱因斯坦去世后因担心细菌中毒而死于饥饿。
-
好书 不过后面就不知所云了 -
虽然薄，但是很有料，数学上的陈述也没错 -
五星。偶数章是哥德尔的传记，奇数章是数理逻辑，两条线索可以独立的走，非常奇特的安排。个人感觉算作科普来说内容难了点，给专业人士看又稍显弱智了。 -
要是高中时能读到这本书就好了 -
个人感觉哥德尔最好的传记 -
哥德尔，20世纪三大数学天才 -
哥德尔 -
适合作为茶余饭后的消遣 -
看过，没留下深刻印象 -
罗素弄疯了康托尔，哥徳尔弄疯了罗素，哥徳尔晚年得了狂想症，冤冤相报何时了。 -
让爱因斯坦佩服的逻辑学家，人生之路也挺怪的 -
启示录。 -
比较中规中矩的数学家传记，符合预期，但也无甚出彩。 -
角度很好，把衍生出来的几个相关的定理也都一并讲了。 -
不完全定理，复杂混沌却又清晰可解的逻辑观 -
讲得不详细，这不怪作者，毕竟要把J2ME讲详细了，这书就要很厚了～基本上点到为止，当作字典翻翻还可以～ -
哥德尔定理是一个颠覆性的结果 -
着重于讲述哥德尔理论，对其生平讲的很少。介绍了AI发展初期的很多理论。 -
这本书实际上是关于哥德尔不完备定理及其同构（邱奇-图灵论题、停机问题以及蔡汀定理）的介绍，当然关于哥德尔青少年时期及广义相对论推广（时间旅行）的贡献也有描述。由希尔伯特第二问题讲起，并以第十问题终结，全书贯穿着从不同角度来论述真理大于证明的事实。虽指明了认知的极限，但也从进化的角度说明了真理是可以逐步被理解的。从人工智能是否能实现的角度，与其制造一个人造人，不如生一个或者进化一个人。从机械主义形式化系统的角度，存在着为真，但我们无法通过机械推理来证明的事物，这一事物在系统外或许可以被证明为真；但即使这样，还存在着系统之上的系统，这一层层的防火墙给予我们不同的权限，阻止我们理解真善美。当然，人类的思维不能简单的从形式系统这样机械主义来描述，其迁移联想直觉等能力应该很难从机械化的程序中涌现出来吧 -
其实似乎不该给如此高分，作者在下半部分明显写得含糊。但通书给我的感觉是作者所感兴趣的话题正是我打算花一辈子在上面的难题——何为智能？ -
虽然写的还是小有些让人难懂，不过是好书，不可错过20世纪最伟大的思想 -
内容为王 -
2012-12-15 借于金陵图书馆 -
也是简短但精华的东西 -
无趣 -
号称20世纪排名第一的数学家，爱因斯坦的知音。值得一看。