哥德尔

[美] 约翰·道森

评分 7.6分

本书是哥德尔的权威传记，全面描述了这位逻辑学家和哲学家的工作及生活细节。逻辑学家和科学史家道森对哥德尔的文献和保存下来的信件进行了深入研究。研究表明，哥德尔在数学基础方面的工作从根本上改变了我们对这个领域的看法，并在20世纪激发了许多研究方向。道森还探讨了哥德尔的个性与他的科学成就之间的关系，并阐释了哥德尔的成就对我们现代世界观的影响。

不完备性

戈德斯坦

评分 8.3分

《不完备性:哥德尔的证明和悖论》是对哥德尔的生活、工作及其世界的重要新礼赞。20世纪早期见证了经典物理和数学的基础假设遭受的几次打击。相对论颠覆了约定俗成的时空观念，量子世界的研究挑战因果效应的基本观念。最为惊人的是，对于一切科学的基础——数学，不完备性定理揭示了将数学理性系统化的一切尝试中都藏有不可弥合的裂痕，这个结果简直是悖论式的。藏在这个发现背后的天才就是哥德尔，他自身就是一个悖论式的人物。

没有时间的世界

帕利·尤格拉（Palle Yourgrau）

评分 7.7分

二十世纪爆发了三次科学革命：爱因斯坦的相对论打破了几千年来人类对于时空概念的信心；海森堡的测不准原理与量子力学的发展推翻了古典物理的世界；哥德尔的不完备定理动摇了数学领域的基础。 哥德尔是爱因斯坦最好的朋友，他在相对论中发现，不管在哪个宇宙，“时间”都是不存在的，也借此证明了时光旅行的可能性——如果可以回到过去，那么时间就 没有“过去”；如此便与时间的观念相矛盾。可惜的是，还没来得及回应哥德尔揭露

哥德尔

[美] 王浩

评分 8.4分

分为上下两篇，上篇考察了歌德尔的事迹，从献身基本理论的角度来讲述歌德尔的生平；下篇介绍了科学与技术学中的概念、歌德尔与哲学、“分说”等内容。

哥德尔证明

欧内斯特·内格尔（Ernest Nagel）

评分 9.3分

《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它提供了一个深入了解先前无法企及的论题的机会。 在此书的新版中，普利策奖的获奖作者道格拉斯•R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新，澄清了模糊之处，使论述更为清晰，并使行文更具可读性。

理性的生命

刘晓力

评分 8.0分

本书依据近年出版的《哥德尔文集》和已公布的哥德尔的部分手稿，参照西方哥德尔研究的最新文献，通过透视20世纪伟大的思想家哥德尔（Kurt Godel1906——1978）倾力献身基础理论研究的心路历程，勾勒了一个极富创造性的数学家和逻辑学家思想之网的大致线索，试图探求其理性主义哲学的思想归宿，并揭示一代哲人科学家特立独行、超然于竞争之外的个性魅力，期望为那些思索理性生命的哲学主题的人提供一份独特的参

哥德尔证明

[美] Ernest Nagel, [美] James R. Newman, [美] Douglas R. Hofstadter (编)

评分 9.5分

1931年，逻辑学家、数学家库尔特·哥德尔（Kurt Godel）发表的关于不完全性定理的论文，挑战了数学和逻辑研究中的基本假设，被认为是现代逻辑科学在哲学方面的三大成果之一。由于这一贡献，他获得了被誉为“在美国同类奖项中蕞高奖”的第一届阿尔伯特·爱因斯坦奖。 哥德尔的证明即使对于专业研究者来讲也会显得过于复杂。本书两位作者首次以相对简单的形式解释了哥德尔论文中涉及的逻辑与数学基本术语、使用到的证

哥德尔、艾舍尔、巴赫

[美] 侯世达

评分 9.4分

集异璧－GEB，是数学家哥德尔、版画家艾舍尔、音乐家巴赫三个名字的前缀。《哥德尔、艾舍尔、巴赫书：集异璧之大成》是在英语世界中有极高评价的科普著作，曾获得普利策非小说奖。它通过对哥德尔的数理逻辑，艾舍尔的版画和巴赫的音乐三者的综合阐述，引人入胜地介绍了数理逻辑 学、可计算理 论、人工智能学、语言学、遗传学、音乐、绘画的理论等方面，构思精巧、含义深刻、视野广阔、富于哲学韵味。