逻辑的引擎
2005-5
湖南科学技术出版社
[美] 马丁·戴维斯
293
198000
张卜天
无
科学，特别是自然科学，最重要的目标之一，就是追寻科学本身的原动力，或日追寻其第一推动。同时，科学的这种追求精神本身，又成为社会发展和人类进步的一种最基本的推动。科学总是寻求发现和了解客观世界的新现象，研究和掌握新规律，总是在不懈地追求真理。科学是认真的、严谨的、实事求是的，同时，科学又是创造的。科学的最基本态度之一就是疑问，科学的最基本精神之一就是批判。的确，科学活动，特别是自然科学活动，比较起其他的人类活动来，其最基本特征就是不断进步。
本书讲述的是我们的现代计算机所基于的那些基本概念和发展出这些概念的人。计算机从二十世纪五十年代的塞满整个房间的庞然大物，逐渐演变成今天轻巧而强大的能够完成各种任务的机器，在这整个过程中，其背后的逻辑始终保持如一。这些逻辑概念是几个世纪以来数位天才思想家一步步发展出来的。在本书中，我将讲述这些人的生活故事，并解释他们的部分思想。这些故事本身是引人入胜的，我希望读者们不仅能够喜欢它们，而且在读完之后能够更加了解计算机内部的秘密，同时对抽象思想的价值多一份敬意。 本书作者马丁·戴维斯是计算机科学发展史上的先区人物，曾对希尔伯特第十问题有过深入的研究。本书被誉从逻辑角度讲述计算机发展的最好的通俗读本。读者将对西方文化的核心之一——逻辑或数学有更深的理解，并且造就一种敏锐的眼光和问题意识，认识到再复杂的东西其实也是由简单的东西根据一定的规则组合而成的。在普遍崇拜技术外表而忽视其深层本质的今天，本书显得尤为难得和重要。本书讲述了位于计算机背后的思想层面的历史。它通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。
马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。
引言第一章莱布尼茨之梦第二章布尔把逻辑变成代数第三章弗雷格：从突破到绝望第四章康托尔：在无限中摸索第五章希尔伯特的营救第六章哥德尔使计划落空第七章图灵构想通用计算机第八章研制第一批通用计算机第九章超越莱布尼茨之梦尾声注释参考书目索引译后记
乔治·布尔的艰辛岁月美丽而聪慧的卡洛琳娜·冯·安斯巴赫公主日后将会成为英国王后，即乔治二世之妻。1704年，当她18岁时，她在柏林见到了莱布尼茨。在她随同王室前往英国之后，他们仍然借助通信保持着友谊。她试图说服自己的公公——英王乔治一世——把莱布尼茨带到英国，但正如我们已经知道的，国王坚持让莱布尼茨呆在德国完成汉诺威家族史。卡洛琳娜发现自己被卷入了莱布尼茨与牛顿及其支持者之间的没完没了的愚蠢争论之中，双方都指控对方在微积分的发明上进行了剽窃。她试图使莱布尼茨相信这件事情没有那么重要，但他却不这样认为。事实上，莱布尼茨希望能被任命为英国的史料编纂者，从而与牛顿担任的造币厂厂长一职相当，而且声称只有这样，与英国相比，德国对抗英国的荣耀才能被保持下来。为此，他曾在国王面前寻求过她的帮助。
计算机技术无疑是当今最热门、应用最广的技术之一，它的作用和威力可以说无人不知、无人不晓。然而，尽管计算机技术的发展日新月异，学习它的人数也与日俱增，但很少有人了解其背后的思想，很少有人知道如此复杂精妙的机器所依据的是什么。它被设计得越来越方便合用，以至于我们几乎不再对它背后的奥秘感到好奇，计算机对大多数人来说仍然是一种神奇的东西，是一个谜。本书作者马丁·戴维斯是纽约大学库朗数学科学研究所的名誉教授，目前在加州大学伯克利分校做访问学者。
“一部出色的作品，戴维斯的书不仅使我们受益匪浅，而且读起来其乐无穷。它对技术方面的讨论清晰准确、易于理解，传记概略使人物形象栩栩如生……当会吸引许多人。” ——小约翰·w·道森“通过和马丁·戴维斯一起漫步逻辑的历史及其先驱者的生活，任何同计算机打交道的人，任何试图展望电子技术未来的人都会受益匪浅。” ——约翰·麦卡锡，斯坦福大学“这是一段探寻逻辑的边界以及介于其间的机器的美妙历史。戴维斯熔数学细节和趣闻逸事为一炉，说明了我们是怎样逐渐认识到计算机和逻辑思想的界限的……他的书引领我们对数学和逻辑的一个重要分支进行了全面的了解。” ——彼得·韦纳，《连线》“这本关于计算机起源的书生动讲述了人类探求逻辑和真理的故事。马丁·戴维斯用博学而充满人情味的语言，娓娓讲述了那些为计算机的出现奠定基础的非凡人物的故事。、这些人物以阿兰·图灵为顶峰，其通用机器现在已经主宰了世界经济。” ——安德鲁·霍奇斯，《阿兰·图灵：一个不可思议的人》的作者“如同一位雕塑家充满爱意地述说着石头，马丁·戴维斯以生动的笔触讲述着逻辑。通过对这些思想家寥寥可数而又充满温情的描述，他向我们展现了为数不多的几种关键的洞察和符号——它们往往产生于精神的渴望——如何营造了一个我们当今仍在探索的空间架构。” ——丹尼斯·夏沙，纽约大学“逻辑学家提出的思想促成了计算机革命，要讲述他们的故事，很难想象还有谁会比马丁·戴维斯更能胜任……生动诙谐，平易近人，不乏珍闻趣事……一段迷人的故事……读此书其乐融融。” ——赖恩·布兰克，华盛顿大学
无
去图书馆翻了一本中意的书出来，叫逻辑的引擎。还没有细细地看，只是粗翻了一下，大概就是一个对计算机逻辑模型有巨大贡献的科学家的一个小小的传记。当然，它更像是一部计算机发展（逻辑上，而非工程上）简史。说它是传记，甚至说是历史，但是它不是那么地容易读的，读者需要有一些不那么基本的数学知识，比较缜密的逻辑思维习惯（汗），和一颗安静地心，才能比较好的把这本书读完。今天读的了第一篇，关于莱布尼茨的介绍，为什么介绍莱布尼茨呢？我想并不是因为他开创了微积分领域，而是由于他对形式符号及其推理的痴迷，他认为世事一切都是确定的可逻辑推演的，这些想法都暗合了计算机的哲学，更妙的是他在他那个时代（牛顿时代）就已经对2进制深深痴迷，对它描述世界能力的完备性而描述方式的简洁性都感到惊奇，在现在看来，计算机用二进制逻辑对这个世界的描述与模拟不是正是莱布尼茨的预言么？......目前仅看了一章，待完整的阅读之后，再来做一个完整的评论。
很有体系的介绍了现代计算机科学的概念和人。对理解现代计算机技术的发展脉络有帮助。人物描写也很有趣。好吧，我承认我就是觉得那些故事最好玩了。总之是一本不错的书。
一直都对计算机技术感兴趣，也每每感慨前人的聪明才智，却一直不清楚前人是如何做到的，此书可解惑。
讲述计算发展简史的经典作品。
好深啊，对数学有兴趣的人可以看看
这本书讲了现代计算机背后蕴藏的所有思想。非常具有启发性！强烈推荐！
当时一位朋友以为这是逻辑学的书，买了之后发现不是那回事，于是转送给我。是一本不错的科普类书籍。
很失望，纸张太差了，跟盗版书差不多
装订一般，送来的时候已经褶皱了！不过纸是黄色的，挺好！
首先发过来的书装订不怎么样，有点像存了很久的书，另外书的封面有小撕裂。不满意！！
要是还能清晰点就太好的
逻辑的引擎
非常棒的科普作品