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