逻辑的引擎

后记

计算机技术无疑是当今最热门、应用最广的技术之一，它的作用和威力可以说无人不知、无人不晓。然而，尽管计算机技术的发展日新月异，学习它的人数也与日俱增，但很少有人了解其背后的思想，很少有人知道如此复杂精妙的机器所依据的是什么。它被设计得越来越方便合用，以至于我们几乎不再对它背后的奥秘感到好奇，计算机对大多数人来说仍然是一种神奇的东西，是一个谜。本书作者马丁·戴维斯是纽约大学库朗数学科学研究所的名誉教授，目前在加州大学伯克利分校做访问学者。

作者简介

本书介绍了现代计算机背后的那些基本概念和发展这些概念的人，描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。

书籍目录

引言

第一章莱布尼茨之梦

第二章布尔把逻辑变成代数

第三章弗雷格：从突破到绝望

第四章康托尔：在无限中摸索

第五章希尔伯特的营救

第六章哥德尔使计划落空

第七章图灵构想通用计算机

第八章研制第一批通用计算机

第九章超越莱布尼茨之梦

尾声

注释

参考书目

索引

译后记

前言

科学，特别是自然科学，最重要的目标之一，就是追寻科学本身的原动力，或日追寻其第一推动。同时，科学的这种追求精神本身，又成为社会发展和人类进步的一种最基本的推动。科学总是寻求发现和了解客观世界的新现象，研究和掌握新规律，总是在不懈地追求真理。科学是认真的、严谨的、实事求是的，同时，科学又是创造的。科学的最基本态度之一就是疑问，科学的最基本精神之一就是批判。的确，科学活动，特别是自然科学活动，比较起其他的人类活动来，其最基本特征就是不断进步。

内容概要

马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。

媒体关注与评论

“一部出色的作品，戴维斯的书不仅使我们受益匪浅，而且读起来其乐无穷。它对技术方面的讨论清晰准确、易于理解，传记概略使人物形象栩栩如生……当会吸引许多人。”　　——小约翰·w·道森“通过和马丁·戴维斯一起漫步逻辑的历史及其先驱者的生活，任何同计算机打交道的人，任何试图展望电子技术未来的人都会受益匪浅。”　　——约翰·麦卡锡，斯坦福大学“这是一段探寻逻辑的边界以及介于其间的机器的美妙历史。戴维斯熔数学细节和趣闻逸事为一炉，说明了我们是怎样逐渐认识到计算机和逻辑思想的界限的……他的书引领我们对数学和逻辑的一个重要分支进行了全面的了解。”　　——彼得·韦纳，《连线》“这本关于计算机起源的书生动讲述了人类探求逻辑和真理的故事。马丁·戴维斯用博学而充满人情味的语言，娓娓讲述了那些为计算机的出现奠定基础的非凡人物的故事。、这些人物以阿兰·图灵为顶峰，其通用机器现在已经主宰了世界经济。”　　——安德鲁·霍奇斯，《阿兰·图灵：一个不可思议的人》的作者“如同一位雕塑家充满爱意地述说着石头，马丁·戴维斯以生动的笔触讲述着逻辑。通过对这些思想家寥寥可数而又充满温情的描述，他向我们展现了为数不多的几种关键的洞察和符号——它们往往产生于精神的渴望——如何营造了一个我们当今仍在探索的空间架构。”　　——丹尼斯·夏沙，纽约大学“逻辑学家提出的思想促成了计算机革命，要讲述他们的故事，很难想象还有谁会比马丁·戴维斯更能胜任……生动诙谐，平易近人，不乏珍闻趣事……一段迷人的故事……读此书其乐融融。”　　——赖恩·布兰克，华盛顿大学

章节摘录

乔治·布尔的艰辛岁月美丽而聪慧的卡洛琳娜·冯·安斯巴赫公主日后将会成为英国王后，即乔治二世之妻。1704年，当她18岁时，她在柏林见到了莱布尼茨。在她随同王室前往英国之后，他们仍然借助通信保持着友谊。她试图说服自己的公公——英王乔治一世——把莱布尼茨带到英国，但正如我们已经知道的，国王坚持让莱布尼茨呆在德国完成汉诺威家族史。卡洛琳娜发现自己被卷入了莱布尼茨与牛顿及其支持者之间的没完没了的愚蠢争论之中，双方都指控对方在微积分的发明上进行了剽窃。她试图使莱布尼茨相信这件事情没有那么重要，但他却不这样认为。事实上，莱布尼茨希望能被任命为英国的史料编纂者，从而与牛顿担任的造币厂厂长一职相当，而且声称只有这样，与英国相比，德国对抗英国的荣耀才能被保持下来。为此，他曾在国王面前寻求过她的帮助。

图书封面

---

 逻辑的引擎下载 精选章节试读 更多精彩书评

---