《奇思妙想》人物篇--圖靈獎得主概覽

turingbooks發表於2012-01-06
圖靈

編者按:

本書相當於一本人物傳記，介紹了15 位當代最偉大的電腦科學家，描述了他們的生活歷程以及工作成果。在書中，他們解釋了自己對科學產生興趣的緣由，回顧了其成長環境和其他科學家對他們的影響，闡述了各自進行基礎探索和發現的途徑，同時也分享了對未來的看法和主張。

全書189頁，圖靈社群已公佈了樣章。文中，可能最受矚目的當屬已逝的Lisp之父麥卡錫和現代電腦科學的鼻祖、《計算機程式設計的藝術》作者高德納。現在就帶您從圖靈獎開始，去了解本書的脈博。

圖靈獎介紹

圖靈獎（Turing Award，另譯'杜林獎'），是計算機協會（ACM）於1966年設立的，又叫“A.M. 圖靈獎”，專門獎勵那些對計算機事業作出重要貢獻的個人。其名稱取自世界電腦科學的先驅、英國科學家，英國曼徹斯特大學教授艾倫·圖靈 (Professor Alan Turing)，這個獎設立目的之一是紀念這位現代電腦、計算機奠基者。獲獎者必須是在計算機領域具有持久而重大的先進性的技術貢獻。大多數獲獎者是電腦科學家。

圖靈獎是計算機界最負盛名的獎項，有“計算機界諾貝爾獎”之稱。圖靈獎對獲獎者的要求極高，評獎程式也極嚴，一般每年只獎勵一名電腦科學家，只有極少數年度有兩名以上在同一方向上做出貢獻的科學家同時獲獎。

補充說明：2012年圖靈教育會推出《圖靈的祕密》一書

《奇思妙想》中圖靈獎得主介紹

enter image description here

我們不知道自己想要什麼，也不知道該怎樣去做。一切都是順其自然地發生。我們面臨的第一個挑戰就是不知道這種語言看上去應該是什麼樣子。然後就是怎樣解析表示式——這是個大問題，而且在今天來看，我們當時的做法非常笨拙……

　　　　　　　　　　　　　　　　　　　　　　　　——約翰•巴科斯談及Fortran的發明過程

約翰·巴克斯（John Warner Backus）（1924年12月3日－2007年3月17日），美國電腦科學家，是全世界第一套高階語言（High-level Language）FORTRAN的發明小組組長。他提出了BNF（用來定義形式語言語法的記號法），發明Function-level programming這個概念及實踐該概念的FP語言。

1977年10月17日在西雅圖舉行的ACM年會上獲得計算機界最高獎圖靈獎，會中他發表了“程式設計能從馮·伊曼形式中解脫出來嗎？函式式風格及其程式的代數”（Can Programming be Literated from the von Neumann Style? A Functional Style and Its Algebra of Programs）演說。1991年退休。1994年美國工程院授予他Charles Stark Draper獎。2007年3月17日在美國俄勒岡州的家中去世，享年82歲。

enter image description here

如果希望計算機具有一般的智慧，那麼其外在結構就必須基於一般的常識和推理。 　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　——約翰·麥卡錫

約翰·麥卡錫（John McCarthy，1927年9月4日－2011年10月23日1），生於美國馬薩諸塞州波士頓，電腦科學家。他因在人工智慧領域的貢獻而在1971年獲得圖靈獎。實際上，正是他在1955年的達特矛斯會議上提出了“人工智慧”這個概念。

麥卡錫發明了LISP並於1960年將其設計發表在《美國計算機學會通訊》（Communications of the ACM）上。他幫助推動了麻省理工學院的MAC專案（Project MAC）。然而，他在1962年了離開麻省理工學院，前往史丹佛大學並在那裡協助建立了史丹佛人工智慧實驗室（Stanford Artificial Intelligence Laboratory），成為MAC專案多年來的一個友好的競爭對手。

補充：Lisp讀者可參見圖靈教育出版的《實用Common Lisp程式設計》一書

enter image description here

我們應當放棄尋找絕對正確的結果和答案。 ——邁克爾·O.拉賓

邁克爾·O·拉賓（Michael Oser Rabin希伯來語：מִיכָאֵל אֹשֶׁר רַבִּין‎，1931年9月1日－ ）是一名以色列電腦科學家，1976年圖靈獎得主。

enter image description here

計算機程式設計是一種藝術形式，就如同人們譜寫詩歌和音樂。

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　——高德納

高德納（Donald Ervin Knuth，1938年1月10日－），出生於密爾沃基，美國著名電腦科學家，史丹佛大學計算機系榮譽退休教授。高德納教授被譽為現代電腦科學的鼻祖，在電腦科學及數學領域發表了多部具廣泛影響的論文和著作。

高德納最為人知的事蹟是，他是《計算機程式設計藝術》（The Art of Computer Programming）的作者。此書是電腦科學界最受高度敬重的參考書籍之一本書一共四卷，目前，卷一、卷二、卷三影印版都已在圖靈教育出版，卷四將至少出成4A、4B、4C三本，其中4A目前影印版在印製中（見下圖）。他創造了演算法分析的領域，在數個理論電腦科學的分支做出初步貢獻，此外還是排版軟體TeX和字型設計系統Metafont的發明人。

enter image description here

enter image description here

史提芬·A·古克（Stephen A. Cook，1939年－），電腦科學家，計算複雜性理論的重要研究者。

1971年，在他的論文《The Complexity of Theorem Proving Procedures》，他整理了NP完備性的目標，亦產生了古克定理——布林可滿足性問題是NP完備的證明。

1982年，古克得到圖靈獎。因為其論文開啟了NP完備性的研究，令這個領域於之後的十年成為電腦科學中最活躍和重要的研究。

古克現為多倫多大學的電腦科學和數學系教授。

enter image description here

最好是研究與他人提出的問題相關的問題，因為它們會讓你腳踏實地。

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　——弗雷德裡克·P.布魯克斯

弗雷德裡克·P.布魯克斯弗雷德裡克·布魯克斯（Frederick P. Brooks, Jr.，1931—）年僅29歲就主導了被稱為人類從原子能時代進入資訊時代標誌的IBM 360系列計算機的開發工作，取得輝煌成功。著有經典文集《人月神話》（The Mythical Man-Month: Essays on Software Engineering）。1985年獲得美國國家技術勳章，1999年獲得圖靈獎。

enter image description here

要構建一個基於知識庫的系統，有三件事非常重要：知識，知識，知識。要衡量一個系統的能力，主要得看它知道多少，而不是它的推理能力如何。 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　——愛德華·A.費根鮑姆

愛德華·A.費根鮑姆（Edward Albert Feigenbaum，1936—）是大規模人工智慧系統的設計和實現的先驅，被稱為“專家系統之父”。他和拉吉•瑞迪（Raj Reddy）共同獲得1994年圖靈獎。

enter image description here

有多少人一生中能有2%到10%的機會對這個世界產生重大的影響？如果真有這樣的機會，你應該抓住它。 ——道格拉斯·B.萊納特

道格拉斯·恩格爾巴特（Dr. Douglas C. Engelbart，1925年1月30日－），美國發明家，瑞典人和挪威人後裔。最廣為人知的是他發明了滑鼠，另外他的小組是人機互動的先鋒，開發了超文字系統、網路計算機，以及圖形使用者介面的先驅；並致力於倡導運用計算機和網路，來協同解決世界上日益增長的緊急而又複雜的問題。1997年獲得圖靈獎。

相關閱讀

相關文章