魏寧

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

wn828@126.com

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

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

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

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

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

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