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

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

 

“艾倫·圖靈勇于提出了機(jī)器能否思考的疑問(wèn)。而他對(duì)于這個(gè)問(wèn)題的理解和回答，卻超出了已有認(rèn)知體系的分類(lèi)。”

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

 

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

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

回顧圖靈獎(jiǎng)50年的歷史，欣喜地發(fā)現(xiàn)人工智能亦是圖靈獎(jiǎng)不斷鼓勵(lì)、不斷發(fā)現(xiàn)的重要話題。也許我們紀(jì)念圖靈——無(wú)論是以圖靈機(jī)、圖靈測(cè)試還是圖靈獎(jiǎng)也好——正是因?yàn)樗乃伎际怯?jì)算機(jī)的起點(diǎn)，而直到80年后炙手可熱的AI仍能從他的思考里找到啟迪。下面，就讓我們來(lái)介紹幾位獲得圖靈獎(jiǎng)的人工智能科學(xué)家和他們的傲人成就。

馬文·明斯基（Marvin Minsky）

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

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

約翰·麥卡錫（John McCarthy）

1971 年，因提出“人工智能”這一術(shù)語(yǔ)并使之成為一個(gè)重要的學(xué)科領(lǐng)域獲得圖靈獎(jiǎng)

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

艾倫·紐厄爾（Allen Newell）

1975年，因在人工智能、人類(lèi)識(shí)別心理和表處理的基礎(chǔ)貢獻(xiàn)獲得圖靈獎(jiǎng)。

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

阿倫·凱（Alan Kay）

2003年，因在面向?qū)ο笳Z(yǔ)言方面的原創(chuàng)性思想，領(lǐng)導(dǎo)了Smalltalk的開(kāi)發(fā)團(tuán)隊(duì)，以及對(duì)PC的基礎(chǔ)性貢獻(xiàn)獲得圖靈獎(jiǎng)。

阿倫·凱（Alan Kay）是Smalltalk面向?qū)ο缶幊汰h(huán)境語(yǔ)言的發(fā)明人之一，也是面向?qū)ο缶幊趟枷氲膭?chuàng)始人之一，是筆記本電腦最早的構(gòu)想者和現(xiàn)代Windows GUI的最初嘗試者。今天我們使用的C/C++或Java語(yǔ)言都或多或少?gòu)腟malltalk汲取過(guò)養(yǎng)分。“預(yù)測(cè)未來(lái)的最好方法是創(chuàng)造它”（The best way to predict the future is to invent it!），就是出自天才大師阿倫·凱（Alan Kay）的至理名言。

從馬文·明斯基（Marvin Minsky）到艾倫·紐厄爾（Allen Newell），從約翰·麥卡錫（John MaCarthy）到阿倫·凱（Alan Kay），半個(gè)世紀(jì)以來(lái)，人工智能一步一步踏實(shí)向前，在圖靈獎(jiǎng)的歷史上留下了一串腳印。我們真切地感受到，這其中的每一步跨越、每一份成績(jī)，無(wú)不是站在巨人的肩膀上、前人的成就上完成的。可以說(shuō)，高水平的學(xué)術(shù)交流、切磋琢磨，對(duì)于促進(jìn)人工智能領(lǐng)域的不斷發(fā)展，功不可沒(méi)。

“二十一世紀(jì)的計(jì)算”與圖靈獎(jiǎng)

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

巴特勒·蘭普森（Butler Lampson）

1992年獲得圖靈獎(jiǎng)

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

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

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

1986年獲得圖靈獎(jiǎng)

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

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

拉吉·瑞迪（Raj Reddy）

1994年獲得圖靈獎(jiǎng)

Raj Reddy （曾于1999年、2003年、2008年出席大會(huì)）

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

姚期智（Andrew Chi-Chih Yao）

2000年獲得圖靈獎(jiǎng)

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

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

萊斯利·蘭伯特（Leslie Lamport）

2013年獲得圖靈獎(jiǎng)

Leslie Lamport（曾于2015年出席大會(huì)）

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

近20年來(lái)，“二十一世紀(jì)的計(jì)算”學(xué)術(shù)研討會(huì)上一直活躍著圖靈獎(jiǎng)大師們的身影，激蕩著關(guān)于計(jì)算機(jī)前沿課題的探討與思索。 “二十一世紀(jì)的計(jì)算”大會(huì)以其前瞻性、開(kāi)放性、包容性、創(chuàng)新性，打開(kāi)了一扇扇國(guó)內(nèi)外學(xué)術(shù)交流的窗口，推動(dòng)著計(jì)算機(jī)基礎(chǔ)科學(xué)的研究和發(fā)展。

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