素有“計算機界諾貝獎”之稱的圖靈獎已經(jīng)走過了整整半個世紀。50年間，這項極富盛名的崇高榮譽，讓65位業(yè)內頂尖的計算機科學家、幾十項科技成就走進了公眾視野，勾勒出一副宏闊的計算機進化版圖。從智能辦公到5G網(wǎng)絡，從大數(shù)據(jù)到無人車……計算機從一個抽象的概念，化作公眾觸手可及的生活終端，深刻影響、變革著人類的生活方式。

從基礎架構到云計算，從操作系統(tǒng)到手機應用，也許沒有哪個領域像計算機一樣瞬息萬變。那么，我們?yōu)槭裁催€要紀念誕生于一百多年前的圖靈？

 

“艾倫·圖靈勇于提出了機器能否思考的疑問。而他對于這個問題的理解和回答，卻超出了已有認知體系的分類。”

——安德魯·霍奇斯 （《圖靈傳：謎團》的作者）

 

早在1936年，圖靈就憑借其令人震撼的天賦，對智能機器的“軀干”與“靈魂”做出了界定。81年來，整個計算機學界的發(fā)展，幾乎都沒有逃出他的“手掌心”。

圖靈不僅提出了計算機的概念，也是“人工智能（AI）之父”。1950年，他發(fā)表了題為《計算機與智能》（Computing Machinery and Intelligence）的論文，首次提出了機器具備思維的可能性。圖靈還預言，到20世紀末，一定會出現(xiàn)可以通過圖靈測試的計算機。1966年，美國計算機協(xié)會（ACM）以圖靈的名字設立了圖靈獎（A.M. Turing Award），專門獎勵那些對計算機事業(yè)作出重要貢獻的個人。

回顧圖靈獎50年的歷史，欣喜地發(fā)現(xiàn)人工智能亦是圖靈獎不斷鼓勵、不斷發(fā)現(xiàn)的重要話題。也許我們紀念圖靈——無論是以圖靈機、圖靈測試還是圖靈獎也好——正是因為他的思考是計算機的起點，而直到80年后炙手可熱的AI仍能從他的思考里找到啟迪。下面，就讓我們來介紹幾位獲得圖靈獎的人工智能科學家和他們的傲人成就。

馬文·明斯基（Marvin Minsky）

1969年，因“人工智能理論及軟件”被授予圖靈獎。

他是框架理論的創(chuàng)立者。1956年，馬文·明斯基（Marvin Minsky）和約翰·麥卡錫(John McCarthy)發(fā)起了“達特茅斯會議”。這個會議提出了“人工智能” 概念，直接催生了人工智能革命，明斯基也成為了“革命家”。不僅如此，他研發(fā)了第一個神經(jīng)網(wǎng)絡模擬器、設計了最早的模擬人類機器人，他還是虛擬現(xiàn)實的最早倡導者，也是世界上第一個人工智能實驗室——MIT人工智能實驗室的聯(lián)合創(chuàng)始人。1969年，明斯基被授予了圖靈獎，成為了第一位獲得圖靈獎的人工智能學者。

約翰·麥卡錫（John McCarthy）

1971 年，因提出“人工智能”這一術語并使之成為一個重要的學科領域獲得圖靈獎

麥卡錫是“人工智能”概念的提出者（1956年）和LISP語言的創(chuàng)造者，是過去半個多世紀以來最重要的計算機科學家之一。時至今日，LISP語言仍在人工智能領域被廣泛使用。特別值得一提的是，麥卡錫還和自己的兩位門徒拉吉·瑞迪（Raj Reddy）、芭芭拉·麗茲科（Barbara Liskov）一起，組成了圖靈獎評獎歷史上罕有的“一門三杰”，被傳為一段佳話。

艾倫·紐厄爾（Allen Newell）

1975年，因在人工智能、人類識別心理和表處理的基礎貢獻獲得圖靈獎。

紐厄爾是人工智能符號主義學派的創(chuàng)始人。這尊圖靈獎，由艾倫·紐厄爾（Allen Newell）和自己的老師赫伯特·西蒙（Herbert Alexander Simon）共享。紐厄爾對研究“人如何思維”非常感興趣，通過和西蒙合作，共同提出了“中間結分析法”，成功地開發(fā)了最早的啟發(fā)式程序“邏輯理論家”和“通用問題求解器”，為人工智能的基本原理打下了基礎。

阿倫·凱（Alan Kay）

2003年，因在面向對象語言方面的原創(chuàng)性思想，領導了Smalltalk的開發(fā)團隊，以及對PC的基礎性貢獻獲得圖靈獎。

阿倫·凱（Alan Kay）是Smalltalk面向對象編程環(huán)境語言的發(fā)明人之一，也是面向對象編程思想的創(chuàng)始人之一，是筆記本電腦最早的構想者和現(xiàn)代Windows GUI的最初嘗試者。今天我們使用的C/C++或Java語言都或多或少從Smalltalk汲取過養(yǎng)分。“預測未來的最好方法是創(chuàng)造它”（The best way to predict the future is to invent it!），就是出自天才大師阿倫·凱（Alan Kay）的至理名言。

從馬文·明斯基（Marvin Minsky）到艾倫·紐厄爾（Allen Newell），從約翰·麥卡錫（John MaCarthy）到阿倫·凱（Alan Kay），半個世紀以來，人工智能一步一步踏實向前，在圖靈獎的歷史上留下了一串腳印。我們真切地感受到，這其中的每一步跨越、每一份成績，無不是站在巨人的肩膀上、前人的成就上完成的?？梢哉f，高水平的學術交流、切磋琢磨，對于促進人工智能領域的不斷發(fā)展，功不可沒。

“二十一世紀的計算”與圖靈獎

作為引領計算機科學創(chuàng)新的機構，微軟亞洲研究院從1999年起，每年都會在亞太地區(qū)舉辦“二十一世紀的計算”學術大會，邀請行業(yè)巨擘共聚一堂，分享學術方法、心得感悟。該會的一大亮點是專門面向學生和教師群體，迄今為止已在多所高校成功舉辦了十八屆，累計參會人數(shù)超過40,000人。另一個亮點則是每屆大會都會邀請圖靈獎得主，與高校師生面對面，分享他們在各自領域取得的研究成果。迄今為止參加過“二十一世紀的計算“大會的圖靈獎獲得者已達32人次。下面讓我們回顧幾位曾多次參加“二十一世紀的計算”大會的圖靈獎大師以及他們的精彩演講。

巴特勒·蘭普森（Butler Lampson）

1992年獲得圖靈獎

Butler Lampson （曾于1999年、2003年、2008年、2014年出席大會）

1992年獲得圖靈獎的巴特勒·蘭普森（Butler Lampson），因在分布式計算環(huán)境、個人計算環(huán)境的發(fā)展和實現(xiàn)技術上的貢獻而獲獎，其中包括：工作站，網(wǎng)絡，操作系統(tǒng)，程序語言，顯示，安全和文檔排版處理等。同時他也是一個興趣廣泛、多才多藝的計算機專家，事實上他的第一個學位是哈佛大學文學學士。

約翰·霍普克羅夫特（John Hopcroft）

1986年獲得圖靈獎

John Hopcroft （曾于2001年、2007年、2010年、2012年出席大會）

因在算法和數(shù)據(jù)結構設計與分析方面取得突破，在1986年獲得圖靈獎的約翰·霍普克羅夫特（John Hopcroft），其研究集中于計算的理論方面，特別是算法分析、自動機理論、以及圖論算法等。他提出的“最壞情況漸近分析法”成為衡量算法的效率和優(yōu)劣的數(shù)學準則，被學界所廣泛認同和接受。2017年，他還應上海交通大學之邀，領銜建立了一個以他名字命名的計算機科學中心。

拉吉·瑞迪（Raj Reddy）

1994年獲得圖靈獎

Raj Reddy （曾于1999年、2003年、2008年出席大會）

1994年獲得圖靈獎的拉吉·瑞迪（Raj Reddy），因在“大規(guī)模人工智能系統(tǒng)”方面取得突破而獲獎。他研究的語音識別課題為當今的高科技領域普遍的應用，他關注的是社會金字塔底層人物的生活和命運，提出旨在用計算技術來服務于這些文化程度和社會地位不高的人的生活，尤其是在教育、健康等方面。而他也是微軟亞洲研究院院長洪小文的老師。

姚期智（Andrew Chi-Chih Yao）

2000年獲得圖靈獎

姚期智（曾于2002年、2006年、2011年出席大會）

因在計算理論方面做出獨特貢獻，2000年獲得圖靈獎的“華人之光”姚期智博士，是迄今為止65位圖靈獎獲得者中唯一的亞裔學者，也是世界現(xiàn)代密碼學基礎的奠基人之一，他的研究涵蓋了基于復雜性的偽隨機數(shù)生成理論、密碼學、通信復雜性等領域。13年前，他毅然放棄了美國名校的終身教職，回到祖國，傾注所有精力，為中國創(chuàng)建世界一流計算機學科，培養(yǎng)拔尖創(chuàng)新人才。

萊斯利·蘭伯特（Leslie Lamport）

2013年獲得圖靈獎

Leslie Lamport（曾于2015年出席大會）

2013年，微軟研究院首席研究員萊斯利·蘭伯特（Leslie Lamport），因在提升計算機系統(tǒng)的可靠性及穩(wěn)定性領域的杰出貢獻榮獲圖靈獎。他的分布式計算理論奠定了這門學科的基礎，并被稱為“分布式計算原理之父”，他在1978年發(fā)表的論文《分布式系統(tǒng)內的時間、時鐘事件順序》成為計算機科學史上被引用最多的文獻。

近20年來，“二十一世紀的計算”學術研討會上一直活躍著圖靈獎大師們的身影，激蕩著關于計算機前沿課題的探討與思索。 “二十一世紀的計算”大會以其前瞻性、開放性、包容性、創(chuàng)新性，打開了一扇扇國內外學術交流的窗口，推動著計算機基礎科學的研究和發(fā)展。

● 注：以上圖片來自圖靈獎官方網(wǎng)站http://awards.acm.org/