内容简介
《逻辑的引擎》是“第一推动丛书·综合系列”中的一部重要著作，由美国数学家和计算机科学家马丁·戴维斯撰写。本书以生动的笔触和清晰的叙述，追溯了数理逻辑从诞生到塑造现代计算机科学核心思想的历程。作者从莱布尼茨的梦想出发，讲述了布尔、弗雷格、康托尔、哥德尔、图灵等杰出思想家的贡献，最终揭示了逻辑如何成为人工智能和数字时代的引擎。
书中不仅深入浅出地讲解了逻辑学的基本概念和关键突破，还通过历史人物和科学故事，展现了抽象思维如何转化为改变世界的技术力量。读者将跟随作者的叙述，理解可计算性理论、形式系统、停机问题等深刻思想，并看到它们如何直接影响了现代计算机的设计原理。本书适合对科学史、逻辑学、计算机科学感兴趣的读者，是一本兼具学术深度与可读性的科普佳作。
目录
总序
第一章 莱布尼茨之梦
莱布尼茨的奇思妙想
巴黎
汉诺威
普遍文字
第二章 布尔把逻辑变成代数
乔治·布尔的艰辛岁月
乔治·布尔的逻辑代数
布尔与莱布尼茨之梦
第三章 弗雷格：从突破到绝望
弗雷格的概念文字
弗雷格发明形式句法
伯特兰·罗素的信为何如此具有毁灭性
弗雷格和语言哲学
弗雷格与莱布尼茨之梦
第四章 康托尔：在无限中摸索
工程师还是数学家
无穷集的大小是不同的
康托尔对无限数的探求
第一章 莱布尼茨之梦
莱布尼茨的奇思妙想
巴黎
汉诺威
普遍文字
第二章 布尔把逻辑变成代数
乔治·布尔的艰辛岁月
乔治·布尔的逻辑代数
布尔与莱布尼茨之梦
第三章 弗雷格：从突破到绝望
弗雷格的概念文字
弗雷格发明形式句法
伯特兰·罗素的信为何如此具有毁灭性
弗雷格和语言哲学
弗雷格与莱布尼茨之梦
第四章 康托尔：在无限中摸索
工程师还是数学家
无穷集的大小是不同的
康托尔对无限数的探求
免责申明：
1. 本站分享的所有书籍均来源于自互联网，我们只进行收集整理，并不对书籍内容进行更改。
2. 部分书籍中可能有书籍压制者放置的广告，这并不是本站所为，请注意甄别。
3. 我们分享这些书籍，纯粹是出于知识分享的热情，以及对互联网分享精神的高度认同和践行，不以盈利为目的。
4. 本站分享的所有书籍，仅供个人学习研究使用，请勿用于任何商业用途，否则产生的一切法律纠纷与本站无关。
5. 如果这些书籍让你有所收获，在条件允许的情况下，请一定购买正版书籍，这是对创作者最好的支持。
6. 如果您是此书籍的版权所有者，且您不希望此作品出现在本站，请联系我们，我们将在收到您的请求后48小时内予以删除。
1. 本站分享的所有书籍均来源于自互联网，我们只进行收集整理，并不对书籍内容进行更改。
2. 部分书籍中可能有书籍压制者放置的广告，这并不是本站所为，请注意甄别。
3. 我们分享这些书籍，纯粹是出于知识分享的热情，以及对互联网分享精神的高度认同和践行，不以盈利为目的。
4. 本站分享的所有书籍，仅供个人学习研究使用，请勿用于任何商业用途，否则产生的一切法律纠纷与本站无关。
5. 如果这些书籍让你有所收获，在条件允许的情况下，请一定购买正版书籍，这是对创作者最好的支持。
6. 如果您是此书籍的版权所有者，且您不希望此作品出现在本站，请联系我们，我们将在收到您的请求后48小时内予以删除。
📖 支持知识自由流动
每一本书的稳定访问，都离不开服务器、存储与带宽的长期维护。
