前言

本書講述的是我們的現(xiàn)代計算機背后的那些基本概念和發(fā)展出這些概念的人。1951年春，當我在阿蘭·圖靈（Alan Turing）本人曾于10年前工作過的普林斯頓大學(xué)獲得了數(shù)理邏輯博士學(xué)位之后不久，我便在伊利諾伊大學(xué)講授一門以他的思想為基礎(chǔ)的課程。有一位一直在聽我的講座的年輕的數(shù)學(xué)家使我注意到教室的街對面正在建造的兩臺機器，他認為它們就是圖靈觀念的物理體現(xiàn)。不久，我就在為這些早期的計算機編寫軟件了。我持續(xù)了半個多世紀的職業(yè)生涯便是圍繞著現(xiàn)代計算機背后的抽象邏輯概念與它們的物理實現(xiàn)之間的關(guān)系而展開的。

計算機從20世紀50年代的塞滿整個房間的龐然大物，逐漸演變成今天輕巧而強大的能夠完成各種任務(wù)的機器，在這整個過程中，其背后的邏輯始終保持如一。這些邏輯概念是幾個世紀以來數(shù)位天才思想家一步步發(fā)展出來的。在本書中，我將講述這些人的生活故事，并解釋他們的部分思想。這些故事本身是引人入勝的，我希望讀者們不僅能夠喜歡它們，而且在讀完之后能夠更加了解計算機內(nèi)部的秘密，同時對抽象思想的價值多一份敬意。

在本書寫作過程中，我曾得益于各種各樣的幫助。約翰·西蒙·古根海姆紀念基金會在研究的早期階段提供了熱情的經(jīng)濟資助，正是當時所做的那些研究才使本書得以問世。 Patricia Bl an-chette, Michael Friedman, Andrew Hodges, Lothar Kreiser和Benson Mates慷慨地與我分享他們那些專業(yè)知識。Tony Sale友好地充當了我游覽布萊奇利莊園的導(dǎo)游，圖靈曾于二戰(zhàn)期間在那里對破譯德軍的秘密通訊起了關(guān)鍵性的作用。Eloise Segal是一位忠實而熱心的讀者，他幫助我避免了解釋方面的缺陷，可惜，他在這本書寫成之前就離開了這個世界。我的妻子弗吉尼亞竭力使我避免行文含糊不清。Sher man Ste in極為認真地讀了原稿，提出了許多改進意見，而且糾正了我的幾處錯誤。我還得益于Eg on Bor ger, William Craig, Michael Richter, Alexis Manaster Ramer, Wilfried Sieg和Fra nsco is Treves等人的翻譯。提出有益建議的其他讀者還有：Harold Davis, Nathan Davis, Jack Feldman, Meyer Garber, Dick and Peggy K uhns和Alberto Policriti。我在W·W·諾頓公司的編輯Ed Barber用他那關(guān)于英語散文的學(xué)識慷慨地對本書加以潤色，多處改進都直接得益于此。H arol d R abin owi tz向我引見了我的代理商Alex Hoyt，后者自始至終都在幫助我。當然，這一長串名字只是要表達我的感激之情，而不是要使我擺脫本書不足之處的責任。有關(guān)評論或修正，讀者可發(fā)郵件至davis@eipye.com，我將心懷感激。

馬丁·戴維斯

伯克利，2000年1月2日