今天我要给大家推荐的这本书，叫《逻辑的引擎》。看到这个书名，大家一定无法猜到它的内容是什么，不过它的英文原版名称就很好理解了——《Engines of Logic: Mathematicians and the Origin of the Computer》，翻译过来就是：《逻辑的引擎：数学家与计算机的起源》。这本书讲的，实际上是计算机科学这一门非常年轻的学科，究竟是如何从数学家们的逻辑研究中发端的。

如果你对数理逻辑十分感兴趣，那么这本书至少值得你读三遍——第一遍，读历史脉络。读大的背景和数学家生平，读世界形势对科学发展的影响；第二遍，读学派观点。读数学家之间的竞争合作关系，读科学的公正客观之外的斗争；第三遍，读逻辑本身。读数理逻辑各个阶段的研究成果和待解问题。本书讨论的核心是：如何实现莱布尼茨的梦想——提炼人类思想的真正的符号系统，并以恰当的演算工具操纵它。

虽然本书讲的是计算机的起源，但没有相关背景的读者无需担心，阅读本书不需要任何专业背景知识，并且由于书中穿插了很多名人轶事，读者一定不会感到枯燥。