前言

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

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

在本書寫作過程中，我曾得益于各種各樣的幫助。約翰·西蒙·古根海姆紀(jì)念基金會(huì)在研究的早期階段提供了熱情的經(jīng)濟(jì)資助，正是當(dāng)時(shí)所做的那些研究才使本書得以問世。 Patricia Bl an-chette, Michael Friedman, Andrew Hodges, Lothar Kreiser和Benson Mates慷慨地與我分享他們那些專業(yè)知識(shí)。Tony Sale友好地充當(dāng)了我游覽布萊奇利莊園的導(dǎo)游，圖靈曾于二戰(zhàn)期間在那里對破譯德軍的秘密通訊起了關(guān)鍵性的作用。Eloise Segal是一位忠實(shí)而熱心的讀者，他幫助我避免了解釋方面的缺陷，可惜，他在這本書寫成之前就離開了這個(gè)世界。我的妻子弗吉尼亞竭力使我避免行文含糊不清。Sher man Ste in極為認(rèn)真地讀了原稿，提出了許多改進(jìn)意見，而且糾正了我的幾處錯(cuò)誤。我還得益于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é)識(shí)慷慨地對本書加以潤色，多處改進(jìn)都直接得益于此。H arol d R abin owi tz向我引見了我的代理商Alex Hoyt，后者自始至終都在幫助我。當(dāng)然，這一長串名字只是要表達(dá)我的感激之情，而不是要使我擺脫本書不足之處的責(zé)任。有關(guān)評論或修正，讀者可發(fā)郵件至davis@eipye.com，我將心懷感激。

馬丁·戴維斯

伯克利，2000年1月2日