本书作者如同一位雕塑家充满爱意地述说着石头，他以生动的笔触讲述着逻辑。通过对这些思想家寥寥可数而又充满温情的描述，他向我们展现了为数不多的几种关键的洞察和符号，它们往往产生于精神的渴望，如何营造了一个我们当今仍在探索的空间架构。

本书讲述的是我们的现代计算机背后的那些基本概念和发展出这些概念的人。1951年春，当我在阿兰．图灵(AlanTuring)本人曾于10年前工作过的普林斯顿大学获得了数理逻辑博士学位之后不久，我便在伊利诺伊大学讲授一门以他的思想为基础的课程。有一位一直在听我的讲座的年轻的数学家使我注意到教室的街对面正在建造的两台机器，他认为它们就是图灵观念的物理体现。不久，我就在为这些早期的计算机编写软件了。我持续了半个多世纪的职业生涯便是围绕着现代计算机背后的抽象逻辑概念与它们的物理实现之间的关系而展开的。

计算机从20世纪50年代的塞满整个房间的庞然大物，逐渐演变成今天轻巧而强大的能够完成各种任务的机器，在这整个过程中，其背后的逻辑始终保持如一。这些逻辑概念是几个世纪以来数位天才思想家一步步发展出来的。在本书中，我将讲述这些人的生活故事，并解释他们的部分思想。这些故事本身是引人入胜的，我希望读者们不仅能够喜欢它们，而且在读完之后能够更加了解计算机内部的秘密，同时对抽象思想的价值多一份敬意。

在本书写作过程中，我曾得益于各种各样的帮助。约翰·西蒙·古根海姆纪念基金会在研究的早期阶段提供了热情的经济资助，正是当时所做的那些研究才使本书得以问世。PatriciaBlanchette，MichaelFriedman，AndrewHodges，LotharKreiser和BensonMates慷慨地与我分享他们那些专业知识。TonySale友好地充当了我游览布莱奇利庄园的导游，图灵曾于二战期间在那里对破译德军的秘密通讯起了关键性的作用。EloiseSegal是一位忠实而热心的读者，他帮助我避免了解释方面的缺陷，可惜，他在这本书写成之前就离开了这个世界。我的妻子弗吉尼亚竭力使我避免行文含糊不清。ShermanStein极为认真地读了原稿，提出了许多改进意见，而且纠正了我的几处错误。

我得益于EgonBfrger，WilliamCraig，MichaelRichtel，AlexisManasterRamer，WilfriedSieg和FransqoisTreves等人的翻译。提出有益建议的其他读者还有：HaroldDavis，．NathanDavis，JackFeldman，MeyerGarber．DickandPeggyKuhns和．AlbertoPolicriti。我在w·w·诺顿公司的编辑EdBarber用他那关于英语散文的学识慷慨地对本书加以润色，多处改进都直接得益于此。HaroldRabinowitz向我引见了我的代理商AlexHoyt，后者自始至终都在帮助我。当然，这一长串名字只是要表达我的感激之情，而不是要使我摆脱本书不足之处的责任。有关评论或修正，读者可发邮件至davis@eipye．com，我将心怀感激。马丁·戴维斯伯克利，2000年1月2日

“这是一段探寻逻辑的边界以及介于其间的机器的美妙历史。戴维斯熔数学细节和趣闻逸事为一炉，说明了我们是怎样逐渐认识到计算机和逻辑思 想的界限的……他的书引领我们对数学和逻辑的一个重要分支进行了全面的 了解。” ——彼得·韦纳《连线》