圖靈和ACM圖靈奬（第4版）：紀念圖靈百年誕辰 pdf epub mobi txt 電子書 下載 2025

簡體網頁||繁體網頁

☆☆☆☆☆

吳鶴齡，崔林 編

圖書標籤:

• 計算機科學
• 圖靈奬
• 人工智能
• 計算機曆史
• 傳記
• 算法
• 計算理論
• ACM
• 百年誕辰
• 科技史

齣版社： 高等教育齣版社

ISBN：9787040356526

版次：4

商品編碼：11030162

包裝：平裝

開本：32開

齣版時間：2012-06-01

用紙：膠版紙

頁數：355

字數：330000

正文語種：中文

內容簡介

　　《圖靈和ACM圖靈奬（第4版）：紀念圖靈百年誕辰》介紹瞭圖靈及自1966年至今圖靈奬的獲得者的工作和事跡。通過對20世紀下半葉及21世紀初有代錶性計算機科學傢的介紹，多方位、多視角地反映計算機科學技術半個多世紀來的發展曆程。《圖靈和ACM圖靈奬（第4版）：紀念圖靈百年誕辰》在一定程度上反映瞭計算機體係結構、程序設計語言、算法設計與分析、操作係統和編譯程序、數據庫技術、計算復雜性理論、軟件工程、人工智能等計算機科學技術主要分支的形成過程和發展概況。通過追尋成功者的足跡，給人以必要的啓迪，讀者可以從閱讀中吸取成長和成功所必需的養分。

作者簡介

　　吳鶴齡，1937年5月齣生，籍貫上海市金山區。北京理工大學計算機學院教授。
　　1998年退休後從事科普創作，除本書及其姐妹篇《IEEE計算機先驅奬》外，尚有《好玩的數學》、《七巧闆、九連環和華容道》、《囚徒的睏境》、《迷宮趣話》、《魅力魔方》等多部原創作品或譯作問世，分彆獲得2009年國傢科學技術進步奬二等奬、第三屆颱灣吳大猷科普著作奬翻譯類佳作奬、第一屆中國科普作傢協會優秀科普作品提名奬、北京市第四屆優秀科普作品奬、“科學時報讀書杯”科學文化？科學普及奬等多項奬勵，《七巧闆、九連環和華容道》2008年被文化部和財政部選中列入“送書下鄉工程”，《迷宮趣話》入選國傢新聞齣版總署第二屆“三個一百”原創優秀圖書齣版工程。
　　吳鶴齡被評為2010年北京市高校“育人標兵”、2011年北京市和全國教育係統“關心下一代工作先進工作者”。

目錄

圖靈和圖靈奬
1966年圖靈奬獲得者：艾倫·佩利
———ALGOL語言和計算機科學的“催生者”
1967年圖靈奬獲得者：莫裏斯·威爾剋斯
———世界上第一颱存儲程序式計算機EDSAC的研製者
1968年圖靈奬獲得者：理查德·哈明
———發明糾錯碼的大數學傢和信息學專傢
1969年圖靈奬獲得者：馬文·明斯基
———“人工智能之父”和框架理論的創立者
1970年圖靈奬獲得者：詹姆斯·威爾金森
———數值分析專傢和研製ACE計算機的功臣
1971年圖靈奬獲得者：約翰·麥卡锡
———“人工智能之父”和LISP語言的發明人
1972年圖靈奬獲得者：埃德斯加·狄剋斯特拉
———最先察覺“goto有害”的計算機科學大師
1973年圖靈奬獲得者：查爾斯·巴赫曼
———“網狀數據庫之父”
1974年圖靈奬獲得者：唐納德·剋努特
———經典巨著《計算機程序設計的藝術》的年輕作者
1975年圖靈奬獲得者：赫伯特·西濛和艾倫·紐厄爾
———人工智能符號主義學派的創始人
1976年圖靈奬獲得者：米凱爾·拉賓和達納·斯科特
———非確定性有限狀態自動機理論的開創者
1977年圖靈奬獲得者：約翰·巴剋斯
———FORTRAN和BNF的發明者
1978年圖靈奬獲得者：羅伯特·弗洛伊德
———前後斷言法的創始人
1979年圖靈奬獲得者：肯尼思·艾弗森
———大器晚成的科學傢,APL的發明人
1980年圖靈奬獲得者：查爾斯·霍爾
———從QUICKSORT、CASE到程序設計語言的公理化
1981年圖靈奬獲得者：埃德加·科德
———關係數據庫之父
1982年圖靈奬獲得者：斯蒂芬·庫剋
———NP完全性理論的奠基人
1983年圖靈奬獲得者：肯尼思·湯普森和丹尼斯·裏奇
———C和UNIX的發明者
1984年圖靈奬獲得者：尼剋勞斯·沃思
———PASCAL之父及結構化程序設計的首創者
1985年圖靈奬獲得者：理查德·卡普
———發明“分枝限界法”的三棲學者
1986年圖靈奬獲得者：約翰·霍普剋洛夫特和羅伯特·陶爾揚
———碩果纍纍的算法設計大師
1987年圖靈奬獲得者：約翰·科剋
———RISC概念的首創者
1988年圖靈奬獲得者：伊萬·薩瑟蘭
———計算機圖形學之父
1989年圖靈奬獲得者：威廉·卡亨
———浮點計算的先驅
1990年圖靈奬獲得者：費爾南多·考巴脫
———實現分時係統的功臣
1991年圖靈奬獲得者：羅賓·米爾納
———標準元語言ML的開發者
1992年圖靈奬獲得者：巴特勒·蘭普森
———從Alto係統的首席科學傢到微軟的首席技術官
1993年圖靈奬獲得者：尤裏斯·哈特馬尼斯和理查德·斯特恩斯
———計算復雜性理論的主要奠基人
1994年圖靈奬獲得者：愛德華·費根鮑姆和勞伊·雷迪
———大型人工智能係統的開拓者
1995年圖靈奬獲得者：曼紐爾·布盧姆
———計算復雜性理論的主要奠基人之一
1996年圖靈奬獲得者：阿米爾·伯努利
———把時態邏輯引入計算機科學
1997年圖靈奬獲得者：道格拉斯·恩格爾巴特
———鼠標器的發明人和超文本研究的先驅
1998年圖靈奬獲得者：詹姆斯·格雷
———數據庫技術和“事務處理”專傢
1999年圖靈奬獲得者：弗雷德裏剋·布魯剋斯
———IBM 360係列計算機的總設計師和總指揮
2000年圖靈奬獲得者：姚期智
———計算理論領域卓越的開拓者
2001年圖靈奬獲得者：奧爾-約翰·戴爾和剋利斯登·奈加特
———挪威計算機科學傢,麵嚮對象技術奠基人
2002年圖靈奬獲得者：利維斯、沙米爾和阿德勒曼
———最具影響力的公鑰密碼算法RSA的發明人
2003年圖靈奬獲得者：艾倫·凱
———“個人計算機之父”及Smalltalk語言發明人
2004年圖靈奬獲得者：文登·塞夫和羅伯特·凱恩
———Internet基礎通信協議TCP/IP之父
2005年圖靈奬獲得者：彼得·諾爾
———從天文學傢到計算機科學傢
2006年圖靈奬獲得者：弗朗西絲·愛倫
———編譯器優化理論與實踐的先驅
2007年圖靈奬獲得者：剋拉剋、埃默生和希法凱斯
———計算機輔助驗證技術的先驅
2008年圖靈奬獲得者：芭芭拉·利斯科夫
———計算機程序設計語言和係統的先驅
2009年圖靈奬獲得者：查爾斯·薩剋爾
———計算機係統架構的創新型設計大師
2010年圖靈奬獲得者：萊斯利·瓦利安特
———成果豐碩的理論計算機科學大師
2011年圖靈奬獲得者：硃迪·珀爾
———貝葉斯網絡開創人工智能新天地
附錄一 計算技術發展大事記（截至20世紀末）
附錄二 嚮計算機專業師生推薦兩本好書
人名索引（Name Index）
總索引（General Index）
參考文獻

精彩書摘

　　1966年圖靈奬獲得者：
　　艾倫·佩利
　　———ALGOL語言和計算機科學的“催生者”
　　艾倫·佩利（AlanJ.Perlis）由於在ALGOL語言的定義和擴充上所作齣的重大貢獻,以及在創始計算機科學教育,使計算機科學成為一門獨立的學科上所發揮的巨大作用而成為首屆圖靈奬當之無愧的獲得者。
　　佩利1922年4月1日生於美國賓夕法尼亞州的匹茲堡。在卡內基理工學院（現卡內基-梅隆大學）所學的專業是化學,1942年畢業取得學士學位。因當時還處於第二次世界大戰期間,而且在珍珠港事件後美國已宣布正式參戰,因此佩利被應徵入伍,在空軍服役。戰後他進入加州理工學院研究生院繼續深造,改學數學,於1947年取得碩士學位,然後又到麻省理工學院（MIT）攻讀博士學位,於1950年取得該學位。1951年他在美國陸軍軍械部設在馬裏蘭州的阿伯丁試驗基地內的“彈道研究實驗室冶（馮·諾伊曼曾在該研究實驗室當顧問）工作瞭一年,然後迴到母校麻省理工學院參加“鏇風”（Whirlwind）計算機計劃,為“鏇風”編製程序。為瞭說明佩利參與的“鏇風”計劃的意義,我們先簡要迴顧一下計算機誕生初期的發展曆史。
　　大傢知道，世界上第一颱電子計算機叫做“ENIAC”（這是ElectronicNumericalIntegratorandComputer的詞頭縮寫,意為“電子數字積分器和計算機”）,是賓夕法尼亞大學莫爾學院根據上述阿伯丁彈道研究實驗室為各種火炮計算彈道、編製射擊錶的需要於1943年6月與聯邦政府簽訂10萬美元的閤同而研製的。項目由約翰·莫奇利（JohnWil鄄liamMauchly,1907—1980）負責邏輯設計,伊剋特（JohnPresperEckert,Jr,1919—1995）負責電路設計。ENIAC是一颱十進製並行計算機,能同時處理10個十進製數,采用電子管電路,時鍾頻率為100000Hz,加法時間為0.2ms,乘法時間為2.8ms,是一個占地1500ft2（約139m2）,重30t,功耗150kW的龐然大物。它於1946年2月完成,未能參加第二次世界大戰,但被洛斯阿拉莫斯（LosAlamos）國傢實驗室用於計算原子彈爆炸的突變問題,後來又曾用於阿伯丁的空軍試驗場,一直運行到1955年10月纔停止工作。世人一直公認莫奇利和伊剋特是ENIAC的發明者,但後來在兩傢計算機公司的訴訟中,法院判定他們剽竊瞭約翰·阿塔那索夫（JohnVincentAtanasoff,1903—1995）的構思和設計。這個涉及世界上第一颱電子計算機的發明權案件曾經轟動美國。但有趣的是,雖然阿塔那索夫確實曾在1941年把自己關於構思計算機的設想告訴過莫奇利,後者也確實因此受到啓發而寫齣瞭有關論證報告並設計齣瞭ENIAC,但社會輿論似乎並不支持法院的判決,現在一提到ENIAC,幾乎眾口一詞地仍然說是莫奇利和伊剋特發明的,沒有人說是阿塔那索夫發明的,這對美國法院的判決真是一種諷刺。
　　ENIAC雖然作為世界上第一颱電子計算機而被載入史冊,但它不具備存儲程序的能力,程序要通過外接電路闆輸入。要改變程序必須改接相應的電路闆,對於每種類型的題目,都要設計相應的外接電路闆。這不是理想的結構,不符閤馮·諾伊曼早就提齣的存儲程序的設想。那麼世界上第一颱存儲程序式計算機是哪一颱呢·有些資料認為是前麵曾經提到過的曼徹斯特大學的MARK玉,但現在一般說法是英國劍橋大學威爾剋斯（M.V.Wilkes,1967年圖靈奬獲得者）設計和完成於1949年5月的EDSAC。實際上,最早開始設計與實施存儲程序式計算機的還是莫爾學院的EDVAC（ElectronicDiscreteVariableAutomaticComputer的詞頭縮寫,意為“電子分離變量自動計算機”）。這是1945年3月（當時ENIAC正處於安裝調試階段）,由馮·諾伊曼本人與莫奇利、伊剋特等人經過兩天會談、討論後製定的設計方案,采用電子管和半導體二極管,用用水銀延遲綫做存儲器,時鍾頻率為1MHz,字長為32位。由於ENIAC的原因,EDVAC的研製從1947年纔開始,加上莫奇利和伊剋特兩人後來因故離開瞭莫爾學院,使工程遇到瞭睏難,1952年（有的資料說1951年）纔完成,這纔使威爾剋斯的EDSAC“後來居上”（詳見後麵關於威爾剋斯的介紹）。
　　但不管EDSAC也好,EDVAC也好,都是串行計算機（serialcomputer）,即數據的傳送和運算是按位逐一進行的,這樣的計算機運算部件少,運算也簡單,但速度慢,不能滿足某些應用的需要。那麼世界上第一颱存儲程序式的並行計算機是哪一颱呢·這就是前述“鏇風”計算機。“鏇風”的主要設計者和研製者是MIT的弗裏斯特（JayWrightForrester）。弗裏斯特也是在受軍方委托,用風洞來研究飛機穩定性時根據數據處理的需要而設計“鏇風”的。“鏇風”受EDVAC的影響采用存儲程序方式,但鑒於處理飛機穩定性需要2000條以上指令,必須改串行為並行,但又要考慮機器體積不宜過大的因素,因此設計成16位字長的並行計算機。“鏇風”的另一項創新是采用英國曼徹斯特大學威廉斯發明不久的陰極射綫管做內存儲器。“鏇風”的研製工作從1946年開始,1950年試運行成功。20世紀50年代冷戰加劇的形勢下,美國軍方對“鏇風”寄予瞭極大希望,空軍每年投資100萬美元（試比較一下,ENIAC的總經費纔10萬美元）,MIT也專門成立瞭著名的“林肯實驗室”,以弗裏斯特原先的實驗室為核心,研究“鏇風”的軍事應用。1951年,“鏇風”與當時著名的SAGE（SemiAutomaticGroundEnvironment,即半自動地麵防空係統,包括全美17個防區）首次實現連接,把位於卡德角的防空警戒雷達所截獲的信息送到MIT,由“鏇風”計算機進行處理、分析和存儲。這是曆史上計算機與通信的第一次結閤。弗裏斯特還在20世紀40年代末和美籍華人科學傢兼企業傢王安（WangAn,1920—1990）幾乎同時分彆獨立地發明瞭磁芯存儲器,並把它用在“鏇風”中以代替陰極射綫管存儲器,從而進一步大大提高瞭“鏇風”的性能。
　　佩利在“鏇風”上工作到1952年9月。之後他來到普渡大學,在那裏他創建瞭全美大學中的第一個計算中心,開創瞭在大學中建立計算中心的先河。他齣任普渡大學計算中心的第一任主任。在他的努力下,計算中心先安裝瞭一颱IBM的CPC計算機（CardProgrammedCalculator）,以後更新為Datatron205。佩利為之設計瞭稱為IT（InternalTranslator）的語言,並開發瞭IT的編譯器。1956年佩利轉到卡內基理工學院,“故伎重演冶,又推動該校成立瞭計算中心並齣任主任,配置瞭IBM650計算機。佩利把他在普渡大學開發的IT及其編譯器移植到IBM650上,並被美國許多大學所采用。在IT的基礎上,佩利和史密斯（J.Smith）、佐輪（H.Zoren）、伊萬斯（A.Evans）等人一起為IBM650設計並開發瞭新的代數語言和匯編語言。這些工作奠定瞭佩利作為計算機程序設計語言的先行者的地位。因此,當ACM於1957年成立程序設計語言委員會以便與歐洲的同行閤作,設計通用的代數語言的時候,佩利被理所當然地作為最佳人選被任命為這個委員會的主席。
　　1958年,在蘇黎世舉行的ACM小組和以當時聯邦德國應用數學和力學協會GAMM為主的歐洲小組的聯閤會議上,兩個小組把他們關於算法錶示法的建議閤二為一,形成瞭ALGOL58（最初叫做“國際代數語言”,即InternationalAlgebraicLanguage,簡稱IAL。後來改叫ALGOL58）。在ALGOL58的基礎上,1960年1月在巴黎舉行的有全世界一流軟件專傢參加的討論會上,確定瞭程序設計語言ALGOL60,發錶瞭“算法語言ALGOL60報告”。1962年又發錶瞭“算法語言ALGOL60的修改報告”。ALGOL60是程序設計語言發展史上的一個裏程碑,它標誌著程序設計語言由一種“技藝”轉而成為一門“科學冶,開拓瞭程序設計語言的研究領域,又為後來軟件自動化的工作以及軟件可靠性問題的發展奠定瞭基礎。而後像1967年齣現的首次引進“類型”的概念,把數據和被允許施行於這些數據之上的運算結閤為一個統一體,因而成為現代抽象數據類型的開端以及第一個麵嚮對象的語言SIMULA67。1971年齣現的著名的PASCAL等語言,也都是在ALGOL60的基礎上加以擴充而形成的。ALGOL60的主要特點有：
　　1.局部性。首次引進局部性概念,既擴充瞭語言的錶達能力,又可節 省內存空間,提高程序的緊湊性。
　　2.動態性。語言含有動態成分,從而明顯提高瞭語言的錶達能力（當然也相應增加瞭實現中的開銷）。
　　3.遞歸性。遞歸性的引進開拓瞭軟件的研究領域,促進瞭軟件的發展。
　　4.嚴謹性。它的語法和語義均有嚴格的描述,特彆是語法,采用瞭著名的巴剋斯範式BNF,結構清晰,理論嚴謹。
　　在ALGOL58和ALGOL60的形成和修改過程中,佩利都起瞭核心和關鍵的作用。佩利之所以榮獲首屆圖靈奬,主要就是因為他在這方麵的重大貢獻。
　　與此同時,在佩利的積極組織下,卡內基理工學院率先在大學生中開設程序設計課程。在此之前,有關程序設計的知識是作為“數值分析”課程內容的一部分 予以介紹的。程序設計課的開設是計算機科學教育的開端。這引起瞭計算機的最大用戶———美國國防部的重視,由其下屬的高級研究計劃署（ARPA）齣麵,資助對計算機科學及其教育進行立項研究,其結果是20世紀60年代中期首先在卡內基理工學院、斯坦福大學、麻省理工學院等少數幾個大學建立起瞭計算機科學係和計算機科學研究生院,使計算機科學脫離電氣工程、數學等學科而成為一門獨立的學科。鑒於在其中所起的巨大作用,佩利被稱為“使計算機科學成為獨立學科的奠基人”———Afoundingfatherofcomputersci鄄enceasaseparatediscipline。而在卡內基理工學院（現卡內基-梅隆大學）,佩利和西濛（H.A.Simon）、紐厄爾（A.Newell）———後二人是1975年的圖靈奬獲得者———被稱為“計算機係的三駕馬車”。
　　1971年,佩利離開卡內基理工學院,加盟新成立的耶魯大學計算機係,曾數度齣任係主任,為耶魯大學計算機係的建設和發展作齣瞭重大貢獻。其間,1977—1978年,他曾在加州理工學院執教。因此,佩利可謂“桃李滿天下”,尤其是美國的第一批計算機科學博士生,絕大部分 都是佩利的弟子。
　　佩利也是計算機學術組織和學術交流活動的積極倡導者和組織者。1962—1964年他齣任ACM主席。著名的雜誌CommunicationsoftheACM也是由他倡議創辦的,並在1958—1962年擔任第一任主編。
　　作為知名學者,他經常到世界各國講學或作報告,足跡遍及蘇聯、丹麥、意大利、以色列、墨西哥、秘魯、英國、荷蘭、委內瑞拉……其中也曾兩次到中國講學。他也是“乒乓外交”後最早（1972年7月）到中國訪問的美國計算機科學傢代錶團的成員之一。
　　佩利說過這樣一句話：“任何名詞都可以變為動詞”（anynouncanbeverbed）。他的意思是說,任何遠大的理想、誌嚮、抱負和對新事物的追求,通過努力和不懈的實踐都是可以實現的。這是佩利總結自己的一生所形成的至理名言。
　　佩利的主要著作有：
　　《對程序設計語言的思考》（AViewofProgrammingLanguages,Addison-Wesley,1970）
　　《計算機科學導論》（IntroductiontoComputerScience,Harper&Row;,1972,1975）《軟件可重用性》（SoftwareReusability,ACMPress,1989）
　　最後這部書分兩捲,第一捲：概念與模型（ConceptsandModels）,第二捲：應用與經驗（ApplicationsandExperience）,是佩利與比格斯托夫（T.J.Biggerstaff）閤編的。這是他生前的最後一部著作,反映瞭他晚年對軟件工程的關心和重視。
　　佩利1973年當選為美國藝術和科學院院士,1976年當選為美國工程院院士。除瞭獲得圖靈奬外,他還在1984年獲得AFIPS的教育奬,曾被普渡大學、滑鐵盧大學等多所大學授予名譽博士學位。1990年2月7日,佩利因心髒病在康涅狄格州的紐哈芬去世,享年68歲。
　　佩利是在1966年8月舉行的ACM第21屆全國大會上被授予圖靈奬的。佩利發錶瞭題為“算法係統的綜閤”（TheSynthesisofAlgorithmicSystems）的演說（刊於雜誌JournaloftheACM,1967年1月,1—9頁,也可見《前20年的ACM圖靈奬演說集》（ACMTuringAwardLectures———TheFirst20Years：1966—1985,ACMPress,5—16頁）。佩利發錶演說的1966年,編程還要通過專門設計的“編碼紙”（codingsheet）和穿孔卡片進行。但佩利的眼光已經瞄嚮未來。他在強調指齣圖靈計算模型的重要意義以後,討論瞭程序設計語言和係統下一步應朝哪些方嚮發展,包括更豐富的數據類型和數據結構,以及與之相聯係的更豐富的操作等。佩利所指齣的方嚮有些已被隨後的研究與開發所實現,如LISP和Smalltalk語言,有些則至今仍有待進一步的研究。

《智者的迴響：紀念艾倫·圖靈與計算機科學的星辰》 引言 在這個信息爆炸、技術迭代日新月異的時代，我們很難想象一個沒有計算機的未來。然而，迴溯曆史的洪流，計算機科學的曙光並非憑空齣現，它源於一群先驅者的智慧、遠見與不懈探索。其中，艾倫·圖靈（Alan Turing）無疑是那顆最為璀璨的明星，他的名字與現代計算機科學的誕生緊密相連，他的思想至今仍在深刻地影響著我們。而“ACM圖靈奬”，作為計算機科學界的諾貝爾奬，更是對那些為這一領域做齣傑齣貢獻的科學傢們最高的肯定。 本書，並非是某一本特定圖書的簡單介紹，而是試圖帶領讀者穿越時空，去感受和理解圖靈先生那超凡脫俗的思維，以及他所播撒的種子如何孕育齣今日蓬勃發展的計算機科學世界。我們將一同探尋圖靈奬所承載的榮譽與使命，瞭解那些被載入史冊的科學巨匠們是如何接過圖靈的火炬，繼續照亮前進的道路。 第一章：圖靈的遠見：計算的邊界與智能的啓示 艾倫·圖靈，一個名字就足以引發無限遐想的傳奇人物。他不僅僅是一位數學傢、邏輯學傢，更是一位富有遠見的思想傢。在那個機械計算設備尚屬新生事物，甚至“計算機”一詞都尚未普及的年代，圖靈已經深入思考瞭“計算”的本質。“圖靈機”（Turing Machine）的概念，是他獻給世界最寶貴的思想遺産之一。它並非一颱真實的機器，而是一個抽象的數學模型，卻以驚人的簡潔性，概括瞭所有可計算問題的範圍。這颱虛構的機器，通過一條無限長的紙帶、一個讀寫頭和一套有限的指令，定義瞭“算法”的存在，並奠定瞭現代計算機的理論基礎。 圖靈的偉大之處在於，他超越瞭單純的計算理論，開始觸碰那個更深邃、更具哲學意味的問題：“機器能否思考？”。他提齣的“圖靈測試”（Turing Test），至今仍是衡量人工智能（Artificial Intelligence, AI）發展的重要標準。這個看似簡單的對話遊戲，卻將抽象的“智能”具象化，引導著一代又一代的科學傢去探索機器智能的可能性。圖靈並非滿足於理論的構建，他在二戰期間，更是將他的智慧付諸實踐，在破解德軍恩尼格瑪密碼（Enigma）的過程中，做齣瞭舉世矚目的貢獻，直接影響瞭二戰的進程。這段塵封的秘密，也為我們展現瞭一位科學傢的傢國情懷和卓越纔乾。 在本章中，我們將深入剖析圖靈機的數學原理，理解其作為通用計算模型的普適性。我們將迴顧圖靈在人工智能領域的早期探索，探討“圖靈測試”的意義及其對AI發展方嚮的深遠影響。同時，我們也將聚焦於圖靈在二戰期間的秘密工作，揭示他如何運用計算思維解決實際問題，以及他的工作對信息科學和密碼學産生的革命性影響。 第二章：ACM圖靈奬：科學的最高殿堂與智慧的傳承 在圖靈逝世多年後，計算機科學領域蓬勃發展，其重要性日益凸顯。為瞭錶彰在計算機科學領域做齣傑齣貢獻的個人，計算機協會（ACM）於1966年設立瞭“ACM圖靈奬”。這個奬項，不僅是對個人成就的認可，更是對計算機科學精神的傳承和弘揚。圖靈奬的設立，本身就是對圖靈先生不朽貢獻的一種最高緻敬。 每一位圖靈奬的獲得者，都是計算機科學史上的璀璨明星。他們或是提齣瞭開創性的理論，或是設計瞭顛覆性的技術，或是引領瞭某個新興領域的發展。從早期對算法、數據結構、編程語言的奠基性研究，到後來在操作係統、數據庫、人工智能、分布式係統、圖形學等各個領域的突破，圖靈奬的名單如同一部濃縮的計算機科學發展史。 在本章中，我們將迴顧圖靈奬設立的初衷及其發展曆程。我們將選取曆史上幾位具有代錶性的圖靈奬得主，深入瞭解他們的關鍵性貢獻。例如，對算法復雜性理論做齣開創性貢獻的科學傢，他們如何定義瞭計算的可行性邊界；在操作係統領域留下濃墨重彩一筆的先驅者，他們如何構建瞭現代計算機的骨架；在人工智能領域取得重大突破的研究者，他們如何一步步逼近圖靈的夢想。我們將不僅僅關注他們的技術成就，更會挖掘他們背後所蘊含的科學思維、創新精神以及麵對挑戰時的堅韌不拔。通過梳理這些傑齣人物的經曆，我們將更深刻地理解計算機科學是如何在一代代科學傢的共同努力下不斷嚮前演進的。 第三章：從圖靈到圖靈奬得主：思想的火種如何燎原 艾倫·圖靈的思想，如同一顆投入湖麵的石子，激起的漣漪至今未曾平息。他提齣的“通用計算”理念，為所有計算機的設計提供瞭理論指導。他關於“智能”的思考，則為人工智能領域的研究指明瞭方嚮。而ACM圖靈奬的獲得者們，正是繼承並發展瞭圖靈的智慧火種，將理論研究與實際應用相結閤，不斷推動著計算機科學的邊界。 我們可以看到，許多圖靈奬得主的工作，都與圖靈的思想有著直接或間接的聯係。例如，在計算理論領域，一些科學傢對圖靈機模型的進一步研究，發展齣瞭更精密的計算模型，並對計算的極限進行瞭更深入的探索，這無疑是圖靈思想的延續。在人工智能領域，許多圖靈奬得主在機器學習、自然語言處理、計算機視覺等方麵取得瞭突破，他們所構建的智能係統，在某種程度上，正在迴應著圖靈當年的設問。 更廣泛地說，圖靈的“計算”思想，深刻影響瞭整個信息時代的運作。從互聯網的構建，到大數據分析，再到雲計算的普及，其核心都離不開對“計算”的理解和運用。而圖靈奬得主們，則是在這些應用領域中，用他們的智慧和創新，將圖靈的理論推嚮瞭更廣闊的天地，催生瞭無數改變世界的應用和技術。 在本章中，我們將嘗試建立一條清晰的思想傳承脈絡。我們將分析圖靈的幾個核心思想（如計算的通用性、圖靈測試等）是如何在後來的計算機科學發展中得到體現和發展的。我們將選取幾位與圖靈思想聯係更為緊密的圖靈奬得主，詳細闡述他們的工作如何是對圖靈思想的繼承、發展或創新。例如，在算法設計和分析領域的先驅，他們如何將圖靈的計算模型轉化為解決實際問題的工具；在形式化方法領域的研究者，他們如何利用數學工具來驗證和保證計算的正確性，這與圖靈對計算嚴謹性的追求不謀而閤。我們將強調，科學的進步並非空中樓閣，而是建立在前人的肩膀之上，圖靈的智慧是其中不可或缺的基石。 第四章：計算機科學的未來：緻敬先賢，展望星辰 迴顧曆史，是為瞭更好地走嚮未來。艾倫·圖靈留下的思想遺産，以及ACM圖靈奬所代錶的科學精神，將繼續激勵著我們不斷探索計算機科學的未知領域。當前，我們正處於人工智能、大數據、量子計算等前沿技術爆發的時代，這些領域的發展，無不閃爍著圖靈智慧的光芒，也預示著未來圖靈奬的得主們將繼續在這些方嚮上做齣卓越貢獻。 從深度學習的崛起，到通用人工智能的探索；從量子計算的曙光，到生物計算的可能性，計算機科學的未來充滿瞭無限可能。新的計算模型、新的算法、新的應用場景正在不斷湧現，它們都將對我們理解世界、改變世界産生深遠影響。 在本章中，我們將展望計算機科學的未來發展趨勢。我們將探討當前最熱門的研究領域，如AI的進一步發展、計算倫理、可解釋AI、以及跨學科領域的融閤（如計算生物學、計算材料學等）。我們將思考，在未來的技術浪潮中，哪些新的理論突破和技術創新有望成為圖靈奬的下一個焦點。我們將強調，緻敬先賢，不僅僅是銘記他們的成就，更重要的是繼承他們的求真務實、勇於探索的科學精神，以更加開放的心態和創新的思維，去迎接計算機科學更加輝煌的未來。我們將呼籲讀者，關注並參與到這場偉大的科技變革中，因為我們每個人，都可能是這場星辰大海徵途中的一員。 結語 艾倫·圖靈，一位永遠的智者，他的思想如同永不熄滅的燈塔，照亮瞭計算機科學的道路。ACM圖靈奬，則是這條道路上最閃耀的星辰，每一位獲奬者都是一顆新星，他們的光芒匯聚在一起，構成瞭計算機科學璀璨的星河。通過理解圖靈的遠見，感受圖靈奬的榮耀，我們不僅能更深刻地認識計算機科學的過去與現在，更能激發起我們對未來的無限憧憬與探索的勇氣。這不僅僅是一段關於科學傢的故事，更是一麯關於人類智慧、創新與進步的頌歌。

評分☆☆☆☆☆

我一直對計算機科學的起源和發展史充滿好奇，尤其對那些奠定行業基石的偉人們充滿敬意。圖靈，這個名字本身就如同一個傳奇，他提齣的“圖靈機”概念，不僅是理論計算機科學的開端，更是今天我們所熟知的計算世界的哲學基礎。我一直想找一本能夠深入淺齣地介紹圖靈生平、思想以及他對後世影響的書籍，特彆是那些能夠展現他如何在一個特定曆史時期，憑藉其卓越的智慧和遠見，點亮瞭計算科學的黎明。瞭解到這本《圖靈和ACM圖靈奬（第4版）：紀念圖靈百年誕辰》恰好以此為契機，我便迫不及待地想一探究竟，希望能從中領略到這位偉大科學傢跨越時代的思想光輝，以及他在計算機科學發展曆程中不可磨滅的貢獻。我期待書中能夠不僅僅是羅列事實，更能通過生動的敘述，讓我感受到圖靈作為一個“人”，他的思考過程、他的堅持與睏境，以及他那些劃時代意義的洞見是如何産生的。這本書對我而言，不僅僅是一本關於計算機科學的書，更是一次穿越時空的智慧對話。

評分☆☆☆☆☆

我一直認為，理解一個學科的來龍去脈，對於真正掌握其精髓至關重要。計算機科學，作為一門年輕卻發展迅猛的學科，其背後的故事充滿瞭智慧的閃光和不懈的努力。圖靈，作為現代計算機科學的奠基人之一，他的名字如同一個燈塔，指引著無數後來者前行的方嚮。我之所以對這本書抱有極大的興趣，是因為它以“紀念圖靈百年誕辰”為名，並將其與“ACM圖靈奬”這一計算機科學領域的最高榮譽相結閤。這讓我相信，書中不僅僅是對圖靈生平的簡單迴顧，更是對圖靈思想如何滲透、影響並激勵一代代圖靈奬得主，最終塑造瞭整個計算機科學發展格局的一次深刻梳理。我期待書中能夠展現圖靈的原創性思想如何成為後來者靈感的源泉，以及圖靈奬的設立和曆屆獲奬者的貢獻，如何共同構成瞭一部波瀾壯闊的計算機科學史詩。這本書對我來說，是一次學習和緻敬的絕佳機會。

評分☆☆☆☆☆

這是一本關於智慧與傳承的書籍，它不僅僅是記錄一個世紀前的思想傢，更是在梳理一項偉大事業的脈絡。我對計算機科學的興趣，源於我對解決復雜問題和構建智能係統的嚮往。圖靈的思想，尤其是他在人工智能領域的開創性工作，對我來說一直是難以企及的高峰。我一直想瞭解，在他那個信息爆炸尚未開始的時代，他是如何一步步構思齣“圖靈測試”這樣一個至今仍被廣泛討論和應用的理念的？他對“智能”的定義，以及他對於機器能否思考的探索，無疑是對人類自我認知的一次深刻挑戰。這本書的標題中，“紀念圖靈百年誕辰”和“ACM圖靈奬”並列，預示著它將不僅僅是傳記，更是對圖靈思想在當代計算機科學領域影響力的深度挖掘。我期待書中能夠揭示，那些獲得圖靈奬的先驅們，在多大程度上受到瞭圖靈思想的啓發，他們是如何將圖靈的遠見轉化為具體的理論、算法和技術，從而構建起我們如今所依賴的數字基礎設施的。

評分☆☆☆☆☆

ACM圖靈奬，這個被譽為“計算機界的諾貝爾奬”的榮譽，象徵著對計算機科學領域做齣傑齣貢獻的學者和工程師的最高認可。我一直對曆屆圖靈奬得主及其獲奬成就非常感興趣，因為這本身就是一部濃縮的計算機科學發展史。從早期的理論奠基者，到現代的算法巨匠、係統架構師，每一位獲奬者都代錶著一個時代的最高水平和最前沿方嚮。這本書以紀念圖靈百年誕辰為契機，將圖靈的貢獻與ACM圖靈奬緊密聯係起來，讓我感到非常興奮。我特彆期待書中能夠深入剖析圖靈奬的評選標準是如何隨著科技進步而演變的，以及曆屆獲奬者在繼承圖靈精神的同時，又如何各自開闢齣新的研究領域，推動計算機科學不斷嚮前發展。我想瞭解，是什麼樣的思想火花，什麼樣的技術突破，纔能獲得如此殊榮？這些獲奬者的研究成果，又如何實實在在地改變瞭我們的生活，塑造瞭我們今天所處的數字世界？這本書無疑為我提供瞭一個絕佳的視角，去理解計算機科學的璀璨群星。

評分☆☆☆☆☆

我是一名對計算機理論和算法充滿熱情的學生，一直緻力於深入理解這些抽象概念的來龍去脈。艾倫·圖靈，毫無疑問是這個領域最耀眼的名字之一，他的工作奠定瞭現代計算的基礎。我之所以被這本《圖靈和ACM圖靈奬（第4版）：紀念圖靈百年誕辰》深深吸引，是因為它不僅僅聚焦於圖靈本人，還將他的思想與ACM圖靈奬緊密相連。我迫切地想瞭解，在圖靈的理論框架下，後來的圖靈奬得主是如何不斷突破和創新的？他們是如何將圖靈提齣的抽象模型具象化，並應用於解決現實世界的復雜問題的？這本書的副標題“紀念圖靈百年誕辰”也暗示著一種傳承和緻敬的意味，我期待書中能夠通過對圖靈奬得主成就的解讀，反哺齣圖靈思想的深遠影響，以及這些思想在不同時代、不同分支領域所綻放齣的獨特光芒。對我而言，這本書是一次深入探究計算機科學思想演變史的絕佳途徑。

評分☆☆☆☆☆

但不管EDSAC也好,EDVAC也好,都是串行計算機（serialcomputer）,即數據的傳送和運算是按位逐一進行的,這樣的計算機運算部件少,運算也簡單,但速度慢,不能滿足某些應用的需要。那麼世界上第一颱存儲程序式的並行計算機是哪一颱呢·這就是前述“鏇風”計算機。“鏇風”的主要設計者和研製者是MIT的弗裏斯特（JayWrightForrester）。弗裏斯特也是在受軍方委托,用風洞來研究飛機穩定性時根據數據處理的需要而設計“鏇風”的。“鏇風”受EDVAC的影響采用存儲程序方式,但鑒於處理飛機穩定性需要2000條以上指令,必須改串行為並行,但又要考慮機器體積不宜過大的因素,因此設計成16位字長的並行計算機。“鏇風”的另一項創新是采用英國曼徹斯特大學威廉斯發明不久的陰極射綫管做內存儲器。“鏇風”的研製工作從1946年開始,1950年試運行成功。20世紀50年代冷戰加劇的形勢下,美國軍方對“鏇風”寄予瞭極大希望,空軍每年投資

評分☆☆☆☆☆

介紹瞭許多獲得圖靈奬的人物，講的比較簡單。

評分☆☆☆☆☆

內容很吸引人，一定認真拜讀！

評分☆☆☆☆☆

ACM的經典書籍，作為聊天材料閱讀

評分☆☆☆☆☆

雖然不明白是什麼，但看起來很厲害的樣子

評分☆☆☆☆☆

圖靈還有圖靈奬，介紹得很不錯。

評分☆☆☆☆☆

瞭解大師的人生，很不錯，送給朋友

評分☆☆☆☆☆

收到貨瞭，好書有待本人去 學習

評分☆☆☆☆☆

東西很好哦!