本書介紹了圖靈及自1966年至今圖靈獎的獲得者的工作和事跡。通過對20世紀(jì)下半葉及21世紀(jì)初有代表性計算機科學(xué)家的介紹，多方位、多視角地反映計算機科學(xué)技術(shù)半個多世紀(jì)來的發(fā)展歷程。本書在一定程度上反映了計算機體系結(jié)構(gòu)、程序設(shè)計語言、算法設(shè)計與分析、操作系統(tǒng)和編譯程序、數(shù)據(jù)庫技術(shù)、計算復(fù)雜性理論、軟件工程、人工智能等計算機科學(xué)技術(shù)主要分支的形成過程和發(fā)展概況。通過追尋成功者的足跡，給人以必要的啟迪，讀者可以從閱讀本書中吸取成長和成功所必需的養(yǎng)分。
作者簡介：
吳鶴齡，1937年5月出生，籍貫上海市金山區(qū)。北京理工大學(xué)計算機學(xué)院教授。1998年退休后從事科普創(chuàng)作，除本書及其姐妹篇《IEEE計算機先驅(qū)獎》外，尚有《好玩的數(shù)學(xué)》、《七巧板、九連環(huán)和華容道》、《囚徒的困境》、《迷宮趣話》、《魅力魔方》等多部原創(chuàng)作品或譯作問世，分別獲得2009年國家科學(xué)技術(shù)進步獎二等獎、第三屆臺灣吳大猷科普著作獎翻譯類佳作獎、第一屆中國科普作家協(xié)會優(yōu)秀科普作品提名獎、北京市第四屆優(yōu)秀科普作品獎、“科學(xué)時報讀書杯”科學(xué)文化?科學(xué)普及獎等多項獎勵，《七巧板、九連環(huán)和華容道》2008年被文化部和財政部選中列入“送書下鄉(xiāng)工程”，《迷宮趣話》入選國家新聞出版總署第二屆“三個一百”原創(chuàng)優(yōu)秀圖書出版工程。本人被評為2010年北京市高�！坝藰�(biāo)兵”、2011年北京市和全國教育系統(tǒng)“關(guān)心下一代工作先進工作者”。
目錄：
圖靈和圖靈獎
1966年圖靈獎獲得者:艾倫?佩利
———ALGOL語言和計算機科學(xué)的“催生者”
1967年圖靈獎獲得者:莫里斯?威爾克斯
———世界上第一臺存儲程序式計算機EDSAC的研制者
1968年圖靈獎獲得者:理查德?哈明
———發(fā)明糾錯碼的大數(shù)學(xué)家和信息學(xué)專家
1969年圖靈獎獲得者:馬文?明斯基
———“人工智能之父”和框架理論的創(chuàng)立者
1970年圖靈獎獲得者:詹姆斯?威爾金森
———數(shù)值分析專家和研制ACE計算機的功臣
1971年圖靈獎獲得者:約翰?麥卡錫
———“人工智能之父”和LISP語言的發(fā)明人
1972年圖靈獎獲得者:埃德斯加?狄克斯特拉
———最先察覺“goto有害”的計算機科學(xué)大師圖靈和圖靈獎
1966年圖靈獎獲得者:艾倫?佩利
———ALGOL語言和計算機科學(xué)的“催生者”
1967年圖靈獎獲得者:莫里斯?威爾克斯
———世界上第一臺存儲程序式計算機EDSAC的研制者
1968年圖靈獎獲得者:理查德?哈明
———發(fā)明糾錯碼的大數(shù)學(xué)家和信息學(xué)專家
1969年圖靈獎獲得者:馬文?明斯基
———“人工智能之父”和框架理論的創(chuàng)立者
1970年圖靈獎獲得者:詹姆斯?威爾金森
———數(shù)值分析專家和研制ACE計算機的功臣
1971年圖靈獎獲得者:約翰?麥卡錫
———“人工智能之父”和LISP語言的發(fā)明人
1972年圖靈獎獲得者:埃德斯加?狄克斯特拉
———最先察覺“goto有害”的計算機科學(xué)大師
1973年圖靈獎獲得者:查爾斯?巴赫曼
———“網(wǎng)狀數(shù)據(jù)庫之父”
1974年圖靈獎獲得者:唐納德?克努特
———經(jīng)典巨著《計算機程序設(shè)計的藝術(shù)》的年輕作者
1975年圖靈獎獲得者:赫伯特?西蒙和艾倫?紐厄爾
———人工智能符號主義學(xué)派的創(chuàng)始人
1976年圖靈獎獲得者:米凱爾?拉賓和達納?斯科特
———非確定性有限狀態(tài)自動機理論的開創(chuàng)者
1977年圖靈獎獲得者:約翰?巴克斯
———FORTRAN和BNF的發(fā)明者
1978年圖靈獎獲得者:羅伯特?弗洛伊德
———前后斷言法的創(chuàng)始人
1979年圖靈獎獲得者:肯尼思?艾弗森
———大器晚成的科學(xué)家,APL的發(fā)明人
1980年圖靈獎獲得者:查爾斯?霍爾
———從QUICKSORT、CASE到程序設(shè)計語言的公理化
1981年圖靈獎獲得者:埃德加?科德
———關(guān)系數(shù)據(jù)庫之父
1982年圖靈獎獲得者:斯蒂芬?庫克
———NP完全性理論的奠基人
1983年圖靈獎獲得者:肯尼思?湯普森和丹尼斯?里奇
———C和UNIX的發(fā)明者
1984年圖靈獎獲得者:尼克勞斯?沃思
———PASCAL之父及結(jié)構(gòu)化程序設(shè)計的首創(chuàng)者
1985年圖靈獎獲得者:理查德?卡普
———發(fā)明“分枝限界法”的三棲學(xué)者
1986年圖靈獎獲得者:約翰?霍普克洛夫特和羅伯特?陶爾揚
———碩果累累的算法設(shè)計大師
1987年圖靈獎獲得者:約翰?科克
———RISC概念的首創(chuàng)者
1988年圖靈獎獲得者:伊萬?薩瑟蘭
———計算機圖形學(xué)之父
1989年圖靈獎獲得者:威廉?卡亨
域搖
目錄：
———浮點計算的先驅(qū)
1990年圖靈獎獲得者:費爾南多?考巴脫
———實現(xiàn)分時系統(tǒng)的功臣
1991年圖靈獎獲得者:羅賓?米爾納
———標(biāo)準(zhǔn)元語言ML的開發(fā)者
1992年圖靈獎獲得者:巴特勒?蘭普森
———從Alto系統(tǒng)的首席科學(xué)家到微軟的首席技術(shù)官
1993年圖靈獎獲得者:尤里斯?哈特馬尼斯和理查德?斯特恩斯
———計算復(fù)雜性理論的主要奠基人
1994年圖靈獎獲得者:愛德華?費根鮑姆和勞伊?雷迪
———大型人工智能系統(tǒng)的開拓者
1995年圖靈獎獲得者:曼紐爾?布盧姆
———計算復(fù)雜性理論的主要奠基人之一
1996年圖靈獎獲得者:阿米爾?伯努利
———把時態(tài)邏輯引入計算機科學(xué)
1997年圖靈獎獲得者:道格拉斯?恩格爾巴特
———鼠標(biāo)器的發(fā)明人和超文本研究的先驅(qū)
1998年圖靈獎獲得者:詹姆斯?格雷
———數(shù)據(jù)庫技術(shù)和“事務(wù)處理”專家
1999年圖靈獎獲得者:弗雷德里克?布魯克斯
———IBM360系列計算機的總設(shè)計師和總指揮
2000年圖靈獎獲得者:姚期智
———計算理論領(lǐng)域卓越的開拓者
2001年圖靈獎獲得者:奧爾-約翰?戴爾和克利斯登?奈加特
———挪威計算機科學(xué)家,面向?qū)ο蠹夹g(shù)奠基人
2002年圖靈獎獲得者:利維斯、沙米爾和阿德勒曼
———最具影響力的公鑰密碼算法RSA的發(fā)明人
2003年圖靈獎獲得者:艾倫?凱
———“個人計算機之父”及Smalltalk語言發(fā)明人
2004年圖靈獎獲得者:文登?塞夫和羅伯特?凱恩
———Internet基礎(chǔ)通信協(xié)議TCP/IP之父
2005年圖靈獎獲得者:彼得?諾爾
———從天文學(xué)家到計算機科學(xué)家
2006年圖靈獎獲得者:弗朗西絲?愛倫
———編譯器優(yōu)化理論與實踐的先驅(qū)
2007年圖靈獎獲得者:克拉克、埃默生和希法凱斯
———計算機輔助驗證技術(shù)的先驅(qū)
2008年圖靈獎獲得者:芭芭拉?利斯科夫
———計算機程序設(shè)計語言和系統(tǒng)的先驅(qū)
2009年圖靈獎獲得者:查爾斯?薩克爾
———計算機系統(tǒng)架構(gòu)的創(chuàng)新型設(shè)計大師
2010年圖靈獎獲得者:萊斯利?瓦利安特
———成果豐碩的理論計算機科學(xué)大師
2011年圖靈獎獲得者:朱迪?珀爾
———貝葉斯網(wǎng)絡(luò)開創(chuàng)人工智能新天地
附錄一計算技術(shù)發(fā)展大事記(截至20世紀(jì)末)
附錄二向計算機專業(yè)師生推薦兩本好書
人名索引(NameIndex)
總索引(GeneralIndex)
參考文獻1966年圖靈獎獲得者:
艾倫·佩利
———ALGOL語言和計算機科學(xué)的“催生者”
艾倫·佩利(AlanJ.Perlis)由于在ALGOL語言的定義和擴充上所作出的重大貢獻,以及在創(chuàng)始計算機科學(xué)教育,使計算機科學(xué)成為一門獨立的學(xué)科上所發(fā)揮的巨大作用而成為首屆圖靈獎當(dāng)之無愧的獲得者。
佩利1922年4月1日生于美國賓夕法尼亞州的匹茲堡。在卡內(nèi)基理工學(xué)院(現(xiàn)卡內(nèi)基-梅隆大學(xué))所學(xué)的專業(yè)是化學(xué),1942年畢業(yè)取得學(xué)士學(xué)位。因當(dāng)時還處于第二次世界大戰(zhàn)期間,而且在珍珠港事件后美國已宣布正式參戰(zhàn),因此佩利被應(yīng)征入伍,在空軍服役。戰(zhàn)后他進入加州理工學(xué)院研究生院繼續(xù)深造,改學(xué)數(shù)學(xué),于1947年取得碩士學(xué)位,然后又到麻省理工學(xué)院(MIT)攻讀博士學(xué)位,于1950年取得該學(xué)位。1951年他在美國陸軍軍械部設(shè)在馬里蘭州的阿伯丁試驗基地內(nèi)的“彈道研究實驗室冶(馮·諾伊曼曾在該研究實驗室當(dāng)顧問)工作了一年,然后回到母校麻省理工學(xué)院參加“旋風(fēng)”(Whirlwind)計算機計劃,為“旋風(fēng)”編制程序。為了說明佩利參與的“旋風(fēng)”計劃的意義,我們先簡要回顧一下計算機誕生初期的發(fā)展歷史。
大家知道，世界上第一臺電子計算機叫做“ENIAC”(這是ElectronicNumericalIntegratorandComputer的詞頭縮寫,意為“電子數(shù)字積分器和計算機”),是賓夕法尼亞大學(xué)莫爾學(xué)院根據(jù)上述阿伯丁彈道研究實驗室為各種火炮計算彈道、編制射擊表的需要于1943年6月與聯(lián)邦政府簽訂10萬美元的合同而研制的。項目由約翰·莫奇利(JohnWil鄄liamMauchly,1907—1980)負責(zé)邏輯設(shè)計,伊克特(JohnPresperEckert,Jr,1919—1995)負責(zé)電路設(shè)計。ENIAC是一臺十進制并行計算機,能同時處理10個十進制數(shù),采用電子管電路,時鐘頻率為100000Hz,加法時間為0.2ms,乘法時間為2.8ms,是一個占地1500ft2(約139m2),重30t,功耗150kW的龐然大物。它于1946年2月完成,未能參加第二次世界大戰(zhàn),但被洛斯阿拉莫斯(LosAlamos)國家實驗室用于計算原子彈爆炸的突變問題,后來又曾用于阿伯丁的空軍試驗場,一直運行到1955年10月才停止工作。世人一直公認莫奇利和伊克特是ENIAC的發(fā)明者,但后來在兩家計算機公司的訴訟中,法院判定他們剽竊了約翰·阿塔那索夫(JohnVincentAtanasoff,1903—1995)的構(gòu)思和設(shè)計。這個涉及世界上第一臺電子計算機的發(fā)明權(quán)案件曾經(jīng)轟動美國。但有趣的是,雖然阿塔那索夫確實曾在1941年把自己關(guān)于構(gòu)思計算機的設(shè)想告訴過莫奇利,后者也確實因此受到啟發(fā)而寫出了有關(guān)論證報告并設(shè)計出了ENIAC,但社會輿論似乎并不支持法院的判決,現(xiàn)在一提到ENIAC,幾乎眾口一詞地仍然說是莫奇利和伊克特發(fā)明的,沒有人說是阿塔那索夫發(fā)明的,這對美國法院的判決真是一種諷刺。
ENIAC雖然作為世界上第一臺電子計算機而被載入史冊,但它不具備存儲程序的能力,程序要通過外接電路板輸入。要改變程序必須改接相應(yīng)的電路板,對于每種類型的題目,都要設(shè)計相應(yīng)的外接電路板。這不是理想的結(jié)構(gòu),不符合馮·諾伊曼早就提出的存儲程序的設(shè)想。那么世界上第一臺存儲程序式計算機是哪一臺呢·有些資料認為是前面曾經(jīng)提到過的曼徹斯特大學(xué)的MARK玉,但現(xiàn)在一般說法是英國劍橋大學(xué)威爾克斯(M.V.Wilkes,1967年圖靈獎獲得者)設(shè)計和完成于1949年5月的EDSAC。實際上,最早開始設(shè)計與實施存儲程序式計算機的還是莫爾學(xué)院的EDVAC(ElectronicDiscreteVariableAutomaticComputer的詞頭縮寫,意為“電子分離變量自動計算機”)。這是1945年3月(當(dāng)時ENIAC正處于安裝調(diào)試階段),由馮·諾伊曼本人與莫奇利、伊克特等人經(jīng)過兩天會談、討論后制定的設(shè)計方案,采用電子管和半導(dǎo)體二極管,用用水銀延遲線做存儲器,時鐘頻率為1MHz,字長為32位。由于ENIAC的原因,EDVAC的研制從1947年才開始,加上莫奇利和伊克特兩人后來因故離開了莫爾學(xué)院,使工程遇到了困難,1952年(有的資料說1951年)才完成,這才使威爾克斯的EDSAC“后來居上”(詳見后面關(guān)于威爾克斯的介紹)。
但不管EDSAC也好,EDVAC也好,都是串行計算機(serialcomputer),即數(shù)據(jù)的傳送和運算是按位逐一進行的,這樣的計算機運算部件少,運算也簡單,但速度慢,不能滿足某些應(yīng)用的需要。那么世界上第一臺存儲程序式的并行計算機是哪一臺呢·這就是前述“旋風(fēng)”計算機�！靶L(fēng)”的主要設(shè)計者和研制者是MIT的弗里斯特(JayWrightForrester)。弗里斯特也是在受軍方委托,用風(fēng)洞來研究飛機穩(wěn)定性時根據(jù)數(shù)據(jù)處理的需要而設(shè)計“旋風(fēng)”的�！靶L(fēng)”受EDVAC的影響采用存儲程序方式,但鑒于處理飛機穩(wěn)定性需要2000條以上指令,必須改串行為并行,但又要考慮機器體積不宜過大的因素,因此設(shè)計成16位字長的并行計算機�！靶L(fēng)”的另一項創(chuàng)新是采用英國曼徹斯特大學(xué)威廉斯發(fā)明不久的陰極射線管做內(nèi)存儲器�！靶L(fēng)”的研制工作從1946年開始,1950年試運行成功。20世紀(jì)50年代冷戰(zhàn)加劇的形勢下,美國軍方對“旋風(fēng)”寄予了極大希望,空軍每年投資100萬美元(試比較一下,ENIAC的總經(jīng)費才10萬美元),MIT也專門成立了著名的“林肯實驗室”,以弗里斯特原先的實驗室為核心,研究“旋風(fēng)”的軍事應(yīng)用。1951年,“旋風(fēng)”與當(dāng)時著名的SAGE(SemiAutomaticGroundEnvironment,即半自動地面防空系統(tǒng),包括全美17個防區(qū))首次實現(xiàn)連接,把位于卡德角的防空警戒雷達所截獲的信息送到MIT,由“旋風(fēng)”計算機進行處理、分析和存儲。這是歷史上計算機與通信的第一次結(jié)合。弗里斯特還在20世紀(jì)40年代末和美籍華人科學(xué)家兼企業(yè)家王安(WangAn,1920—1990)幾乎同時分別獨立地發(fā)明了磁芯存儲器,并把它用在“旋風(fēng)”中以代替陰極射線管存儲器,從而進一步大大提高了“旋風(fēng)”的性能。
佩利在“旋風(fēng)”上工作到1952年9月。之后他來到普渡大學(xué),在那里他創(chuàng)建了全美大學(xué)中的第一個計算中心,開創(chuàng)了在大學(xué)中建立計算中心的先河。他出任普渡大學(xué)計算中心的第一任主任。在他的努力下,計算中心先安裝了一臺IBM的CPC計算機(CardProgrammedCalculator),以后更新為Datatron205。佩利為之設(shè)計了稱為IT(InternalTranslator)的語言,并開發(fā)了IT的編譯器。1956年佩利轉(zhuǎn)到卡內(nèi)基理工學(xué)院,“故伎重演冶,又推動該校成立了計算中心并出任主任,配置了IBM650計算機。佩利把他在普渡大學(xué)開發(fā)的IT及其編譯器移植到IBM650上,并被美國許多大學(xué)所采用。在IT的基礎(chǔ)上,佩利和史密斯(J.Smith)、佐輪(H.Zoren)、伊萬斯(A.Evans)等人一起為IBM650設(shè)計并開發(fā)了新的代數(shù)語言和匯編語言。這些工作奠定了佩利作為計算機程序設(shè)計語言的先行者的地位。因此,當(dāng)ACM于1957年成立程序設(shè)計語言委員會以便與歐洲的同行合作,設(shè)計通用的代數(shù)語言的時候,佩利被理所當(dāng)然地作為最佳人選被任命為這個委員會的主席。
1958年,在蘇黎世舉行的ACM小組和以當(dāng)時聯(lián)邦德國應(yīng)用數(shù)學(xué)和力學(xué)協(xié)會GAMM為主的歐洲小組的聯(lián)合會議上,兩個小組把他們關(guān)于算法表示法的建議合二為一,形成了ALGOL58(最初叫做“國際代數(shù)語言”,即InternationalAlgebraicLanguage,簡稱IAL。后來改叫ALGOL58)。在ALGOL58的基礎(chǔ)上,1960年1月在巴黎舉行的有全世界一流軟件專家參加的討論會上,確定了程序設(shè)計語言ALGOL60,發(fā)表了“算法語言ALGOL60報告”。1962年又發(fā)表了“算法語言ALGOL60的修改報告”。ALGOL60是程序設(shè)計語言發(fā)展史上的一個里程碑,它標(biāo)志著程序設(shè)計語言由一種“技藝”轉(zhuǎn)而成為一門“科學(xué)冶,開拓了程序設(shè)計語言的研究領(lǐng)域,又為后來軟件自動化的工作以及軟件可靠性問題的發(fā)展奠定了基礎(chǔ)。而后像1967年出現(xiàn)的首次引進“類型”的概念,把數(shù)據(jù)和被允許施行于這些數(shù)據(jù)之上的運算結(jié)合為一個統(tǒng)一體,因而成為現(xiàn)代抽象數(shù)據(jù)類型的開端以及第一個面向?qū)ο蟮恼Z言SIMULA67。1971年出現(xiàn)的著名的PASCAL等語言,也都是在ALGOL60的基礎(chǔ)上加以擴充而形成的。ALGOL60的主要特點有:
1.局部性。首次引進局部性概念,既擴充了語言的表達能力,又可節(jié)省內(nèi)存空間,提高程序的緊湊性。
2.動態(tài)性。語言含有動態(tài)成分,從而明顯提高了語言的表達能力(當(dāng)然也相應(yīng)增加了實現(xiàn)中的開銷)。
3.遞歸性。遞歸性的引進開拓了軟件的研究領(lǐng)域,促進了軟件的發(fā)展。
4.嚴(yán)謹性。它的語法和語義均有嚴(yán)格的描述,特別是語法,采用了著名的巴克斯范式BNF,結(jié)構(gòu)清晰,理論嚴(yán)謹。
在ALGOL58和ALGOL60的形成和修改過程中,佩利都起了核心和關(guān)鍵的作用。佩利之所以榮獲首屆圖靈獎,主要就是因為他在這方面的重大貢獻。
與此同時,在佩利的積極組織下,卡內(nèi)基理工學(xué)院率先在大學(xué)生中開設(shè)程序設(shè)計課程。在此之前,有關(guān)程序設(shè)計的知識是作為“數(shù)值分析”課程內(nèi)容的一部分予以介紹的。程序設(shè)計課的開設(shè)是計算機科學(xué)教育的開端。這引起了計算機的最大用戶———美國國防部的重視,由其下屬的高級研究計劃署(ARPA)出面,資助對計算機科學(xué)及其教育進行立項研究,其結(jié)果是20世紀(jì)60年代中期首先在卡內(nèi)基理工學(xué)院、斯坦福大學(xué)、麻省理工學(xué)院等少數(shù)幾個大學(xué)建立起了計算機科學(xué)系和計算機科學(xué)研究生院,使計算機科學(xué)脫離電氣工程、數(shù)學(xué)等學(xué)科而成為一門獨立的學(xué)科。鑒于在其中所起的巨大作用,佩利被稱為“使計算機科學(xué)成為獨立學(xué)科的奠基人”———Afoundingfatherofcomputersci鄄enceasaseparatediscipline。而在卡內(nèi)基理工學(xué)院(現(xiàn)卡內(nèi)基-梅隆大學(xué)),佩利和西蒙(H.A.Simon)、紐厄爾(A.Newell)———后二人是1975年的圖靈獎獲得者———被稱為“計算機系的三駕馬車”。
1971年,佩利離開卡內(nèi)基理工學(xué)院,加盟新成立的耶魯大學(xué)計算機系,曾數(shù)度出任系主任,為耶魯大學(xué)計算機系的建設(shè)和發(fā)展作出了重大貢獻。其間,1977—1978年,他曾在加州理工學(xué)院執(zhí)教。因此,佩利可謂“桃李滿天下”,尤其是美國的第一批計算機科學(xué)博士生,絕大部分都是佩利的弟子。
佩利也是計算機學(xué)術(shù)組織和學(xué)術(shù)交流活動的積極倡導(dǎo)者和組織者。1962—1964年他出任ACM主席。著名的雜志CommunicationsoftheACM也是由他倡議創(chuàng)辦的,并在1958—1962年擔(dān)任第一任主編。
作為知名學(xué)者,他經(jīng)常到世界各國講學(xué)或作報告,足跡遍及蘇聯(lián)、丹麥、意大利、以色列、墨西哥、秘魯、英國、荷蘭、委內(nèi)瑞拉……其中也曾兩次到中國講學(xué)。他也是“乒乓外交”后最早(1972年7月)到中國訪問的美國計算機科學(xué)家代表團的成員之一。
佩利說過這樣一句話:“任何名詞都可以變?yōu)閯釉~”(anynouncanbeverbed)。他的意思是說,任何遠大的理想、志向、抱負和對新事物的追求,通過努力和不懈的實踐都是可以實現(xiàn)的。這是佩利總結(jié)自己的一生所形成的至理名言。
佩利的主要著作有:
《對程序設(shè)計語言的思考》(AViewofProgrammingLanguages,Addison-Wesley,1970)
《計算機科學(xué)導(dǎo)論》(IntroductiontoComputerScience,Harper&Row,1972,1975)《軟件可重用性》(SoftwareReusability,ACMPress,1989)
最后這部書分兩卷,第一卷:概念與模型(ConceptsandModels),第二卷:應(yīng)用與經(jīng)驗(ApplicationsandExperience),是佩利與比格斯托夫(T.J.Biggerstaff)合編的。這是他生前的最后一部著作,反映了他晚年對軟件工程的關(guān)心和重視。
佩利1973年當(dāng)選為美國藝術(shù)和科學(xué)院院士,1976年當(dāng)選為美國工程院院士。除了獲得圖靈獎外,他還在1984年獲得AFIPS的教育獎,曾被普渡大學(xué)、滑鐵盧大學(xué)等多所大學(xué)授予名譽博士學(xué)位。1990年2月7日,佩利因心臟病在康涅狄格州的紐哈芬去世,享年68歲。
佩利是在1966年8月舉行的ACM第21屆全國大會上被授予圖靈獎的。佩利發(fā)表了題為“算法系統(tǒng)的綜合”(TheSynthesisofAlgorithmicSystems)的演說(刊于雜志JournaloftheACM,1967年1月,1—9頁,也可見《前20年的ACM圖靈獎演說集》(ACMTuringAwardLectures———TheFirst20Years:1966—1985,ACMPress,5—16頁)。佩利發(fā)表演說的1966年,編程還要通過專門設(shè)計的“編碼紙”(codingsheet)和穿孔卡片進行。但佩利的眼光已經(jīng)瞄向未來。他在強調(diào)指出圖靈計算模型的重要意義以后,討論了程序設(shè)計語言和系統(tǒng)下一步應(yīng)朝哪些方向發(fā)展,包括更豐富的數(shù)據(jù)類型和數(shù)據(jù)結(jié)構(gòu),以及與之相聯(lián)系的更豐富的操作等。佩利所指出的方向有些已被隨后的研究與開發(fā)所實現(xiàn),如LISP和Smalltalk語言,有些則至今仍有待進一步的研究。
|
