第一推动丛书·综合系列：逻辑的引擎（新版）

作品简介

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

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

作品目录

• 总序
• 再版序　一个坠落苹果的两面：极端智慧与极致想象
• 前言
• 引言
• 第1章　莱布尼茨之梦
• 第2章　布尔把逻辑变成代数
• 第3章　弗雷格：从突破到绝望
• 第4章　康托尔：在无限中摸索
• 第5章　希尔伯特的营救
• 第6章　哥德尔使计划落空
• 第7章　图灵构想通用计算机
• 第8章　研制第一批通用计算机
• 第9章　超越莱布尼茨之梦
• 尾声
• 参考书目
• 译后记