圖靈和ACM圖靈獎(第4版)：紀念圖靈百年誕辰（簡體書）

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

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

《圖靈和ACM圖靈獎(第4版):紀念圖靈百年誕辰》編輯推薦：計算機的發明、發展和普及是20世紀尤其是20世紀下半葉最引人注目的事件之一。沒有哪項發明像計算機這樣對整個人類文明和社會進步發生了和發生著如此巨大、如此深刻的影響，推動著人類社會一日千里地向前發展，使“一天等于20年冶的夢想成為現實。如同一般科學技術轉化為生產力，必須經過從基礎理論研究到應用產品開發，直至演變為實用技術一樣，計算機以至整個信息產業的發展也遵循著這個規律。從20世紀40年代世界上第一臺電子計算機ENIAC 誕生，到如今信息產業成為如火如荼的朝陽產業和支柱產業，這其中有一些鮮為人知的科學家作出了重要貢獻。他們不如蓋茨等企業家那樣知名，那樣光彩奪目，其中絕大多數也沒有一夜暴富，但正是這些人以驚人的智慧和艱苦的探索奠定了信息大廈的基石。《圖靈和ACM圖靈獎(第4版):紀念圖靈百年誕辰》所介紹的58位圖靈獎獲得者就是這些科學家的代表。主要介紹了他們的工作和事跡，然而該書給讀者的收獲又不僅限于此。
1.《圖靈和ACM圖靈獎(第4版):紀念圖靈百年誕辰》通過追尋成功者的足跡，給人以必要的啟迪。成功的科學家們走過的道路各不相同，但細細考察起來，總會發現有一些共同的因素在他們的成功中起著重要作用，比如勤奮，比如善于學習，比如勇于創新，比如謙虛和有團隊精神，等等。圖靈獎獲得者也是這樣，他們中有不少發人深省的事例，如“關系數據庫之父冶科德在IBM 身居要職，事業有成，卻在年屆四旬時重返校園、繼續充電，終于大放異彩;如浮點運算的先驅卡亨堅持對學生嚴格要求，從而在獲獎後遭致非議和攻擊，卻冷靜對待;如“IBM 360之父冶布魯克斯本來是反對IBM 360上馬的，後來卻出任它的總設計師和總指揮，在這一出人意料的轉變中表現出令人嘆服的明智、大度、勇氣和膽略……真是不勝枚舉。有心的讀者不難從閱讀本書中吸取成長和成功所必需的養分。
2.《圖靈和ACM圖靈獎(第4版):紀念圖靈百年誕辰》通過對從20世紀下半葉直至21世紀初有代表性計算機科學家的介紹，多方位、多視角地反映計算機科學技術半個世紀來的發展歷程。對科學技術史的研究是一件大事，盡可能多一些地了解科學技術史對每個科技工作者也十分重要。《圖靈和ACM圖靈獎(第4版):紀念圖靈百年誕辰》在一定程度上反映了計算機體系結構、程序設計語言、算法設計與分析、操作系統和編譯程序、數據庫技術、計算復雜性理論、軟件工程、人工智能等計算機科學技術主要分支的形成過程和發展概況，為讀者提供了較多的背景材料。
3.《圖靈和ACM圖靈獎(第4版):紀念圖靈百年誕辰》在介紹人物和歷史的同時，介紹計算機科學技術中的一些主要概念、主要理論、主要系統，起到一部高度濃縮的、袖珍的“計算機科學技術百科全書冶的作用。
原名《ACM圖靈獎——計算機發展史的縮影》，初版于2000年8月，已經歷12個年頭，期間兩次增補、修訂後再版。《圖靈和ACM圖靈獎(第4版):紀念圖靈百年誕辰》受到廣大讀者的歡迎，尤其受到高校同計算機相關專業的師生以及IT從業人員的歡迎。今年6月23日是圖靈誕生100周年。第四版改為現名，并選擇在這個時候出版，就是為了緬懷圖靈的豐功偉績以紀念這位科學巨人百年誕辰。

第一版序言
計算機是20世紀40年代人類的偉大創造。從1946年世界上第一臺電子計算機EMAC的誕生，迄今為止其發展已逾50年，計算機的性能有了顯著提高。當前，已出現峰值運算速度達每秒十幾萬億次的巨型計算機。短短的半個世紀，計算機對人類社會的進步與發展產生了巨大的推動作用，影響深遠。計算機的出現，使人們在物質和能量兩大戰略資源之外，開發和利用了“信息”這一新的戰略資源，開拓了人類認識自然、改造自然的新領域；計算機的出現，在理論推導與科學實驗兩大發展科學技術的傳統手段之外，增添了人類發展科學技術的新手段，即所謂“計算”手段；計算機的出現，為人類創造文化提供了新的現代化工具，改變了人們創造文化的活動方式、方法和性質；計算機的出現，引發了人類工作方式和生活方式的變化。
在世紀之交，以微電子、計算機硬件、計算機軟件、通信等技術為主導的信息技術革命正在迅猛地改變我們所生存的社會，人類開始從工業社會進入信息時代。信息技術在世界新技術革命中不僅作為一項獨立的技術而存在，還廣泛滲透于各個高科技領域以及生產、經營、管理等過程，成為它們發展的基本依據和重要手段。信息化正從整體上引導著世界經濟和社會發展的進程，信息技術已成為經濟發展的關鍵因素和倍增器，隨之而興起的信息產業將成為全球經濟發展的主導產業。隨著網絡技術的快速發展及全球信息高速公路的建立和日益完善．人類的工作模式和生活形態出現了本質上的改變．社會產業結構發生了深層次的變革，以信息技術和信息產業為主導的知識經濟時代正在全球范圍內宣告著它的到來。
計算機科學技術作為研究計算機的設計與制造、研究如何利用計算機進行信息獲取、表示、存儲、處理、控制等的理論、原則、方法和技術的學科，其半個世紀的發展，為計算機及其相關技術和產業的進步，奠定了堅實的基礎，創造了巨大的源動力。而其中，眾多的計算機科學家、工程師及從業人員的艱辛勞動，為計算機科學技術學科、計算機產業及計算機應用做出了實際而巨大的貢獻。本書所介紹的40位圖靈獎獲得者，正是這些人物中的杰出代表，當中，不少人對計算機科學技術和計算機產業的蓬勃發展做出了歷史性的貢獻。這些著名科學家所提出的一些具有前瞻性的設想或思路對世界計算機科學技術，乃至其他工程學科的發展均產生了重要的影響。
我國的計算機事業創始于20世紀50年代中期。1956年國家制定《1956一1967年科學技術發展遠景規劃》，即將“計算技術的建立”列為緊急措施之一。經過近50年的發展，我國的計算機事業取得了長足的進步。在計算機科學技術研究方面已出現國際領先的成果，在計算機產業及計算機應用方面呈現良好的發展態勢。當然，毋庸諱言，和國際最高水平相比，我們還存在不少差距，這迫切需要我國計算機科學技術工作者不斷地做出艱苦的、具創新性的努力。
本書介紹了20世紀的34屆40位圖靈獎獲得者的工作和事跡，相信一方面能夠為讀者了解計算機科學技術發展簡史提供一個獨特的視角，另一方面可以對我國的科技人員、學者和教育工作者有一定的啟迪。雖然不能把他們的思想和做法完全套用在我國的具體科學及產業實踐中，但是對其進行審慎地思考後進行有選擇性地吸收，對我國生產技術的進步、人才的培養將是有益的。
本書第一作者吳鶴齡教授曾任北京理工大學計算機科學工程系主任，退休後仍積極為科技成果的普及而勤懇工作。本書的成稿，凝聚了他對我國計算機科學技術研究及普及事業的不懈努力和追求。
中國科學院院士北京大學計算機科學技術系教授
楊芙清
2000年7月

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