逻辑的引擎

本书是美国计算机科学先驱、逻辑学家马丁·戴维斯的一部科学思想史通俗读物，英文原名为 Engines of Logic。作者在书中提出一个核心判断：计算机本质上是逻辑机器，其电路所实现的运算，是几个世纪以来逻辑学家思想的结晶与物化。 全书以人物为线索，串起从莱布尼茨到图灵的思想谱系：莱布尼茨梦想有一种普遍的人工语言和演算规则，使一切知识都能被表达和推理；布尔把逻辑变成代数，为后来的电路设计提供了数学工具；弗雷格力图从逻辑推出算术，却在遭遇罗素悖论后陷入绝望；康托尔在无限中摸索集合与超限数；希尔伯特提出形式化方案，试图一劳永逸地证明数学的可靠性；哥德尔的不完全性定理使这一计划落空；图灵则构想出通用计算机，把“可计算”变成可操作的机械概念；随后是研制第一批通用计算机的工程实践，以及后世对莱布尼茨之梦的回望与超越。 与专门的技术书籍不同，本书几乎没有涉及具体的编程或硬件细节，数学部分也控制得相当温和，仅对布尔代数等做了简要解释，更多篇幅用于讲述这些思想家的生平、性情与学术处境。作者本人 1951 年在普林斯顿获得数理逻辑博士学位，此后半个多世纪的职业生涯都围绕抽象逻辑概念与物理实现之间的关系展开，因而叙述兼具内行视角与通俗可读性。本书中文版由张卜天翻译，收入“第一推动丛书·综合系列”，是了解计算机思想渊源、理解“思想先于机器”的一部经典科普读本。