逻辑的引擎 本书特色

本书讲述了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。

逻辑的引擎 内容简介

本书被誉从逻辑角度讲述计算机发展的*好的通俗读本。读者将对西方文化的核心之一——逻辑或数学有更深的理解，并且造就一种敏锐的眼光和问题意识，认识到再复杂的东西其实也是由简单的东西根据一定的规则组合而成的。本书讲述了位于计算机背后的思想层面的历史。通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。

逻辑的引擎 目录

目录： 引言
**章 莱布尼茨之梦
第二章 布尔把逻辑变成代数
第三章 弗雷格：从突破到绝望
第四章 康托尔：在无限中摸索
第五章 希尔伯特的营救
第六章 哥德尔使计划落空
第七章 图灵构想通用计算机
第八章 研制**批通用计算机
第九章 超越莱布尼茨之梦
尾声
注释
参考书目
索引
译后记

逻辑的引擎 相关资料

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

逻辑的引擎 作者简介

作者简介： 马丁·戴维斯（Martin Davis），计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一，他是纽约大学库朗数学科学研究所的荣誉教授，之后在加州大学伯克利分校做访问学者。 译者介绍： 张卜天，1979年9月生，师从吴国盛。热爱哲学和科学史方面的翻译，研究方向为西方中世纪和近代早期科学思想史，研究领域主要集中在近代科学的起源和科学革命。

科普读物 其他科普知识

在线阅读