逻辑的引擎
内容简介本书讲述的是我们的现代计算机所基于的那些基本概念和发展出这些概念的人。计算机从二十世纪五十年代的塞满整个房间的庞然大物，逐渐演变成今天轻巧而强大的能够完成各种任务的机器，在这整个过程中，其背后的逻辑始终保持如一。这些逻辑概念是几个世纪以来数位天才思想家一步步发展出来的。在本书中，我将讲述这些人的生活故事，并解释他们的部分思想。这些故事本身是引人入胜的，我希望读者们不仅能够喜欢它们，而且在读完之后能够更加了解计算机内部的秘密，同时对抽象思想的价值多一份敬意。
本书作者马丁·戴维斯是计算机科学发展史上的先区人物，曾对希尔伯特第十问题有过深入的研究。本书被誉从逻辑角度讲述计算机发展的最好的通俗读本。读者将对西方文化的核心之一——逻辑或数学有更深的理解，并且造就一种敏锐的眼光和问题意识，认识到再复杂的东西其实也是由简单的东西根据一定的规则组合而成的。在普遍崇拜技术外表而忽视其深层本质的今天，本书显得尤为难得和重要。本书讲述了位于计算机背后的思想层面的历史。它通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。
目录
引言
第一章 莱布尼茨之梦
第二章 布尔把逻辑变成代数
第三章 弗雷格：从突破到绝望
第四章 康托尔：在无限中摸索
第五章 希尔伯特的营救
第六章 哥德尔使计划落空
第七章 图灵构想通用计算机
第八章 研制第一批通用计算机
第九章 超越莱布尼茨之梦
尾声
注释
参考书目
索引
译后记
网上评论：
说它是传记，甚至说是历史，但是它不是那么地容易读的，读者需要有一些不那么基本的数学知识，比较缜密的逻辑思维习惯，和一颗安静地心，才能比较好的把这本书读完。
书摘：
“The Dukes of Hanover thought they knew what Leibniz should be doing with his time: working on their family history. Too often today, those who provide scientists with the resources for their lives and work try to steer them in directions most likely to provide quick results. This is not only futile in the short run, but more importantly, by discouraging investigations with no obvious immediate payoff, it shortchanges the future.
汉诺威的公爵们认为他们知道莱布尼茨最应当做什么：编写他们的家族史。今天的情况更是如此，那些为科学家们提供生活和工作所必须资源的人竭力要把他们引向那些被认为能够尽快出结果的方向。这不仅在短期内可能是徒劳的，而且更重要的是，如果只重眼前利益，而轻视那些不会带来直接回报的研究，那么最终遭殃的还是我们的未来。”
我的评论
大牛写的小书，也是不那么容易读的
CS的新同学读读绝对大有好处 看了介绍，正在看。 看到书名这么熟悉，原来是我看过的
湖南科技出版社的一套丛书，书不错，翻译的不太理想。
页:
[1]