圖靈和ACM圖靈獎

前言

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

內(nèi)容概要

　　本書介紹了圖靈及自1966年至今圖靈獎的獲得者的工作和事跡。通過對20世紀下半葉及21世紀初有代表性計算機科學(xué)家的介紹，多方位、多視角地反映計算機科學(xué)技術(shù)半個多世紀來的發(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年北京市高?！坝藰吮?、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é)大師
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 年圖靈獎獲得者:羅賓?米爾納
———標準元語言ML的開發(fā)者
1992 年圖靈獎獲得者:巴特勒?蘭普森
———從Alto 系統(tǒng)的首席科學(xué)家到微軟的首席技術(shù)官
1993 年圖靈獎獲得者:尤里斯?哈特馬尼斯和理查德?斯特恩斯
———計算復(fù)雜性理論的主要奠基人
1994 年圖靈獎獲得者:愛德華?費根鮑姆和勞伊?雷迪
———大型人工智能系統(tǒng)的開拓者
1995 年圖靈獎獲得者:曼紐爾?布盧姆
———計算復(fù)雜性理論的主要奠基人之一
1996 年圖靈獎獲得者:阿米爾?伯努利
———把時態(tài)邏輯引入計算機科學(xué)
1997 年圖靈獎獲得者:道格拉斯?恩格爾巴特
———鼠標器的發(fā)明人和超文本研究的先驅(qū)
1998 年圖靈獎獲得者:詹姆斯?格雷
———數(shù)據(jù)庫技術(shù)和“事務(wù)處理”專家
1999 年圖靈獎獲得者:弗雷德里克?布魯克斯
———IBM 360系列計算機的總設(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 世紀末)
附錄二 向計算機專業(yè)師生推薦兩本好書
人名索引(Name Index)
總索引(General Index)
參考文獻

章節(jié)摘錄

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

編輯推薦

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

名人推薦

向計算機專業(yè)師生推薦一本好書這是一本計算機專業(yè)師生以及所有計算機科學(xué)技術(shù)工作者必讀的好書。在一片追趕計算機新技術(shù)的聲浪中，高等教育出版社能出版這本追溯計算機發(fā)展光輝歷史的書實在難得。ACM圖靈獎相當于計算機業(yè)界的諾貝爾獎。本書記錄了自計算機誕生以來半個世紀59位計算機科學(xué)家的事跡。按得獎內(nèi)容編排了47個小故事，文字通俗生動、洗練概括，把復(fù)雜深奧的內(nèi)容講得清晰、明白，即使對一般讀者而言，閱讀起來也不會有太大的困難。每個計算機與計算技術(shù)的從業(yè)者，或多或少知道一些先驅(qū)、巨匠推動本學(xué)科發(fā)展的光輝成就，如圖靈的圖靈機模型、巴克斯的語法范式、狄克斯特拉的結(jié)構(gòu)化程序設(shè)計方法學(xué)、霍爾的快速分類算法、科德的關(guān)系數(shù)據(jù)庫，等等；但總覺得不夠全面、不夠完整，而且想知道得更多，這是業(yè)者熱愛自己學(xué)科很自然的情結(jié)，又苦于沒有時間到浩如煙海的文獻中去搜集。本書是一個絕好的濃縮本，它把59顆最明亮的珍珠串成光彩奪目的項鏈——濃縮的計算機科學(xué)史。這本書在介紹多位成功者業(yè)績時，穿插了許多故事、軼聞，給讀者很多啟迪。例如，并非所有成功者都是少年學(xué)習(xí)尖子、科班出生的天才。大名鼎鼎的巴克斯，20歲以前竟是從不用功的紈绔子弟，并被學(xué)校逐出大門。精通程序語言語法、歸納斷言創(chuàng)始人弗洛伊德竟是文學(xué)學(xué)士出身的程序員。關(guān)系數(shù)據(jù)庫之父科德年輕時參加反法西斯戰(zhàn)爭，是功勛卓著的空軍機長，42歲才取得計算機博士學(xué)位。磁盤存儲系統(tǒng)發(fā)明人約翰遜是學(xué)教育學(xué)的中學(xué)教師，28歲改行進入IBM公司，在長期實際工作中自學(xué)成才。學(xué)習(xí)本學(xué)科的歷史對培養(yǎng)學(xué)科人才是極其有意義的，因為它不僅使我們看到本學(xué)科發(fā)展的軌跡、巨人的腳步，有利于我們判明今后的方向，更重要的是有利于提高我們的科學(xué)素質(zhì)，也就是處理本學(xué)科問題時應(yīng)有的思維方式、表達方式和行為方式。學(xué)科素質(zhì)是出自第六感覺的自然流露，當我們遇到新問題時不會像外行一樣不靠譜地蠻干。當然學(xué)科素質(zhì)不是一本書就可以解決問題的，但這本書是很好的索引。讀了這本書，至少我們不會說蠢話，如“形式化方法對編制軟件一點用都沒有”。我們也能悟出有益的判斷，如“這個問題先驅(qū)們大概不會這么干”。另一方面，這本書通過介紹先驅(qū)們的發(fā)明和創(chuàng)新，以及許多具有前瞻性的設(shè)想和思路，對我們會有很大的啟迪作用，同時，對培養(yǎng)學(xué)生的創(chuàng)新意識、創(chuàng)新精神也是大有裨益的。今年6月23日是圖靈誕生100周年。世界各國的科學(xué)界都將舉行隆重的紀念活動。本書選擇在這個時候出版，就是為了緬懷圖靈的豐功偉績以紀念這位科學(xué)巨人百年誕辰。

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    圖靈和ACM圖靈獎 PDF格式下載

---