致敬圖靈獎(jiǎng)：風(fēng)云五十載（一）

魏寧

北京市東城區(qū)教育研修學(xué)院

wn828@126.com

今年3月，美國(guó)計(jì)算機(jī)學(xué)會(huì)（ACM）正式公布了2015年圖靈獎(jiǎng)的得主——來(lái)自美國(guó)的兩位密碼學(xué)家分享了這一殊榮。ACM將在6月舉行盛大的頒獎(jiǎng)典禮，屆時(shí)，獲獎(jiǎng)?wù)邔⒌桥_(tái)領(lǐng)獎(jiǎng)并發(fā)表演講。屈指算來(lái)，自1966年創(chuàng)設(shè)以來(lái)，圖靈獎(jiǎng)已走過了半個(gè)世紀(jì)。雖然在很長(zhǎng)時(shí)間里，這個(gè)以“計(jì)算機(jī)之父”圖靈的名字命名的獎(jiǎng)項(xiàng)只有區(qū)區(qū)2.5萬(wàn)美元獎(jiǎng)金。直到2014年，由于谷歌的贊助，圖靈獎(jiǎng)的獎(jiǎng)金才達(dá)到100萬(wàn)美元，從而接近諾貝爾獎(jiǎng)獎(jiǎng)金的水平。但是，由于諾貝爾獎(jiǎng)中沒有涉及計(jì)算機(jī)領(lǐng)域的獎(jiǎng)項(xiàng)，因此圖靈獎(jiǎng)一直被看作計(jì)算機(jī)科學(xué)領(lǐng)域的最高獎(jiǎng)，有著“計(jì)算機(jī)界諾貝爾獎(jiǎng)”之稱。

圖靈獎(jiǎng)的評(píng)選極為嚴(yán)格，通常每年只有一位獲獎(jiǎng)?wù)?，只有少?shù)年份頒給兩名以上同領(lǐng)域的科學(xué)家。半個(gè)世紀(jì)以來(lái)，只有64位獲獎(jiǎng)?wù)哒驹趫D靈獎(jiǎng)的領(lǐng)獎(jiǎng)臺(tái)上。值得一提的是，2000年，現(xiàn)任教于清華大學(xué)的姚期智以美籍華人的身份獲獎(jiǎng)，是獲此殊榮的唯一一位華人。

圖靈獎(jiǎng)不但代表了計(jì)算機(jī)科學(xué)和信息科學(xué)的前沿?zé)狳c(diǎn)，也是中小學(xué)信息技術(shù)教育的重要資源。在科學(xué)史教育越來(lái)越受到重視的今天，科學(xué)家已經(jīng)成為理科課程的寶貴財(cái)富。他們向?qū)W生講述著科學(xué)思想是如何建立的故事，他們?yōu)閷W(xué)生樹立了科學(xué)家的高大形象，他們引導(dǎo)學(xué)生對(duì)神奇的科學(xué)世界產(chǎn)生向往，他們甚至在枯燥的知識(shí)以外給學(xué)生帶來(lái)趣味。伽利略、牛頓、愛因斯坦等大科學(xué)家的名字早已人盡皆知并且成為所在學(xué)科的“代言人”。

但是，如果你讓學(xué)生說(shuō)出幾位計(jì)算機(jī)科學(xué)家的名字，得到的答案多半會(huì)是比爾·蓋茨、喬布斯或者扎克伯格。當(dāng)其他理科課程越來(lái)越重視本學(xué)科的科學(xué)家時(shí)，計(jì)算機(jī)科學(xué)和信息科學(xué)領(lǐng)域這些頂級(jí)科學(xué)家的面孔對(duì)學(xué)生甚至一些教師而言依然陌生，這不能不說(shuō)是個(gè)遺憾。

其實(shí)，圖靈獎(jiǎng)并沒有那么高深莫測(cè)，很多獲獎(jiǎng)?wù)叩难芯慷己椭行W(xué)信息技術(shù)課程甚至我們的生活密切相關(guān)。我們不妨舉幾個(gè)例子：莫里斯·威爾克斯是世界上第一臺(tái)存儲(chǔ)程序式計(jì)算機(jī)的研制者，艾倫·凱最早提出了“面向?qū)ο蟆钡母拍睿栏窭埂ざ鞲駹柊吞貏t是我們更加熟悉的鼠標(biāo)器和超文本的發(fā)明人。如果我們足夠細(xì)心，還會(huì)發(fā)現(xiàn)有幾個(gè)圖靈獎(jiǎng)特別青睞的領(lǐng)域，毫無(wú)疑問，這些領(lǐng)域就是計(jì)算機(jī)科學(xué)和信息科學(xué)研究的熱點(diǎn)所在：算法和程序設(shè)計(jì)語(yǔ)言領(lǐng)域是軟件的基礎(chǔ)，唐納德·克努特就是算法概念的提出者，埃德斯加·狄克斯特拉是結(jié)構(gòu)化程序設(shè)計(jì)最早的創(chuàng)立者，并且第一個(gè)提出了“goto”有害的概念。此外，史上一些重要語(yǔ)言的發(fā)明人——FORTRAN語(yǔ)言的發(fā)明人約翰·巴克斯、PASCAL語(yǔ)言的發(fā)明人尼克勞斯·沃思、C語(yǔ)言和UNIX語(yǔ)言的發(fā)明人肯尼斯·湯普森和丹尼斯·里奇都先后獲得了圖靈獎(jiǎng)。人工智能領(lǐng)域一直是計(jì)算機(jī)科學(xué)的前沿，它的幾位理論大神——馬文·明斯基、約翰·麥卡錫、赫伯特·西蒙、艾倫·紐厄爾也先后分享了圖靈獎(jiǎng)。在數(shù)據(jù)庫(kù)領(lǐng)域的獲獎(jiǎng)?wù)呃锩?，埃德加·科德是“關(guān)系數(shù)據(jù)庫(kù)之父”，查爾斯·巴赫曼則是“網(wǎng)狀數(shù)據(jù)庫(kù)之父”?；ヂ?lián)網(wǎng)在今天的重要性已經(jīng)不言而喻，作為其最基礎(chǔ)的協(xié)議——TCP/IP協(xié)議的兩位創(chuàng)始人文頓·瑟夫、羅伯特·卡恩也同時(shí)獲獎(jiǎng)。

圖靈獎(jiǎng)五十年，我們除了要向那些推動(dòng)計(jì)算機(jī)科學(xué)發(fā)展做出重大貢獻(xiàn)的科學(xué)家們致敬以外，恐怕還需要更多的思考……