本书讲述的是我们的现代计算机所基于的那些基本概念和发展出这些概念的人。计算机从二十世纪五十年代的塞满整个房间的庞然大物,逐渐演变成今天轻巧而强大的能够完成各种任务的机器,在这整个过程中,其背后的逻辑始终保持如一。这些逻辑概念是几个世纪以来数位天才思想家一步步发展出来的。在本书中,我将讲述这些人的生活故事,并解释他们的部分思想。这些故事本身是引人入胜的,我希望读者们不仅能够喜欢它们,而且在读完之后能够更加了解计算机内部的秘密,同时对抽象思想的价值多一份敬意。
本书作者马丁·戴维斯是计算机科学发展史上的先区人物,曾对希尔伯特第十问题有过深入的研究。本书被誉从逻辑角度讲述计算机发展的最好的通俗读本。读者将对西方文化的核心之一——逻辑或数学有更深的理解,并且造就一种敏锐的眼光和问题意识,认识到再复杂的东西其实也是由简单的东西根据一定的规则组合而成的。在普遍崇拜技术外表而忽视其深层本质的今天,本书显得尤为难得和重要。本书讲述了位于计算机背后的思想层面的历史。它通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。
展开
——小约翰·w·道森“通过和马丁·戴维斯一起漫步逻辑的历史及其先驱者的生活,任何同计算机打交道的人,任何试图展望电子技术未来的人都会受益匪浅。”
——约翰·麦卡锡,斯坦福大学
“这是一段探寻逻辑的边界以及介于其间的机器的美妙历史。戴维斯熔数学细节和趣闻逸事为一炉,说明了我们是怎样逐渐认识到计算机和逻辑思想的界限的……他的书引领我们对数学和逻辑的一个重要分支进行了全面的了解。”
——彼得·韦纳,《连线》
“这本关于计算机起源的书生动讲述了人类探求逻辑和真理的故事。马丁·戴维斯用博学而充满人情味的语言,娓娓讲述了那些为计算机的出现奠定基础的非凡人物的故事。、这些人物以阿兰·图灵为顶峰,其通用机器现在已经主宰了世界经济。”
——安德鲁·霍奇斯,《阿兰·图灵:一个不可思议的人》的作者“如同一位雕塑家充满爱意地述说着石头,马丁·戴维斯以生动的笔触讲述着逻辑。通过对这些思想家寥寥可数而又充满温情的描述,他向我们展现了为数不多的几种关键的洞察和符号——它们往往产生于精神的渴望——如何营造了一个我们当今仍在探索的空间架构。”
——丹尼斯·夏沙,纽约大学“逻辑学家提出的思想促成了计算机革命,要讲述他们的故事,很难想象还有谁会比马丁·戴维斯更能胜任……生动诙谐,平易近人,不乏珍闻趣事……一段迷人的故事……读此书其乐融融。”
——赖恩·布兰克,华盛顿大学