前言

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

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

在本书写作过程中，我曾得益于各种各样的帮助。约翰·西蒙·古根海姆纪念基金会在研究的早期阶段提供了热情的经济资助，正是当时所做的那些研究才使本书得以问世。Patricia Blanchette, Michael Friedman, Andrew Hodges, Lothar Kreiser和Benson Mates慷慨地与我分享他们那些专业知识。Tony Sale友好地充当了我游览布莱奇利庄园的导游，图灵曾于二战期间在那里对破译德军的秘密通信起了关键性的作用。Eloise Segal是一位忠实而热心的读者，他帮助我避免了解释方面的缺陷，可惜，他在这本书写成之前就离开了这个世界。我的妻子弗吉尼亚竭力使我避免行文含糊不清。Sherman Stein极为认真地读了原稿，提出了许多改进意见，而且纠正了我的几处错误。我还得益于Egon Börger, William Craig, Michael Richter, Alexis Manaster Ramer, Wilfried Sieg和FransÇois Treves等人的翻译。提出有益建议的其他读者还有：Harold Davis, Nathan Davis, Jack Feldman, Meyer Garber, Dick and Peggy Kuhns和Alberto Policriti。我在W.W.诺顿公司的编辑Ed Barber用他那关于英语散文的学识慷慨地对本书加以润色，多处改进都直接得益于此。Harold Rabinowitz向我引见了我的代理商Alex Hoyt，后者自始至终都在帮助我。当然，这一长串名字只是要表达我的感激之情，而不是要使我摆脱本书不足之处的责任。有关评论或修正，读者可发邮件至davis@eipye.com，我将心怀感激。

马丁·戴维斯
伯克利，2000年1月2日

平装版注释：当本书的精装版（名为《通用计算机》（ The Universal Computer ））正要付梓刊行之时，Julio Gonzales Cabillon和John McCarthy及时使我注意到了几处潜在的令人难堪的错误。对此我感激不尽，同时也很遗憾他们的帮助未能来得及在前言中提及。就在那本书面世后不久，和我一同游览尼罗河的同伴Connie Holmes使我注意到，有一段曾经被我认为是极为明晰的段落实际上是含糊不清的，我已在这一版中进行了修改。谢谢你，Connie。