好书天下
逻辑的引擎
本书介绍了现代计算机背后的那些基本概念和发展这些概念的人，描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。
标签：哥德尔
哥德尔传
哥德尔被美国《时代周刊》评为20世纪最有影响力的100个人之一，爱因斯坦称其为自亚里士多德之后最伟大的逻辑学家，他的理论为计算机科学和人工智能领域的发展奠定了基础。他提出的哥德尔不完备性定理，堪称数学逻辑理论中最伟大的发现，至今仍影响着人工智能领域的发展。 哥德尔早年就职于维也纳大学，后因战乱逃离欧洲，辗转来到普林斯顿高等研究院。在这里，他逐渐融入了美国的生活，并与爱因斯坦结下了...
哥德尔、艾舍尔、巴赫
集异璧－GEB，是数学家哥德尔、版画家艾舍尔、音乐家巴赫三个名字的前缀。《哥德尔、艾舍尔、巴赫书：集异璧之大成》是在英语世界中有极高评价的科普著作，曾获得普利策非小说奖。它通过对哥德尔的数理逻辑，艾舍尔的版画和巴赫的音乐三者的综合阐述，引人入胜地介绍了数理逻辑 学、可计算理 论、人工智能学、语言学、遗传学、音乐、绘画的理论等方面，构思精巧、含义深刻、视野广阔、富于哲学韵味。 中译...
哥德尔证明
《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它提供了一个深入了解先前无法企及的论题的机会。 在此书的新版中，普利策奖的获奖作者道格拉斯•R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新，澄清了模糊之处，使论述更为清晰，并使行文更具可读性。
逻辑人生
《逻辑人生:哥德尔传》在介绍哥德尔精彩的一生时，把我们带到逻辑边界和逻辑之外，深入到最激动人心的哲学未知领域进行探索。哥德尔：一位智慧巨人，他的不完全性定理不仅改变了数学，而且改变了整个科学世界和建筑于此定理之上的哲学。在《逻辑人生:哥德尔传》中，作者为我们描述了这样一个复杂的人物：既入世又遁世，既雄心勃勃又固执己见。他是爱因斯坦一直找寻的谈伴，并被爱因斯坦视为知音。