1、阿蘭麥席森圖靈阿蘭麥席森圖靈百科名片圖靈年輕時的照片圖靈是英國著名的數(shù)學家和邏輯學家，被稱為計算機科學之父、人工智能之父，是計算機邏輯的奠基者，提出了圖靈機和圖靈測試等重要概念。人們?yōu)榧o念其在計算機領域的卓越貢獻而設立圖靈獎。中文名：阿蘭麥席森圖靈外文名：Alan Mathison Turing國籍：英國民族：英格蘭出生地：英國倫敦出生日期：1912年6月23日逝世日期：1954年6月7日職業(yè)：數(shù)學家及計算機邏輯學家畢業(yè)院校：劍橋大學國王學院信仰：科學主要成就：提出圖靈機概念提出圖靈測試概念開創(chuàng)非線性力學破解德國密碼系統(tǒng)Enigma代表作品：論數(shù)字計算在決斷難題中的應用，機器能思考嗎?目錄隱藏

2、人物履歷人物生平人物大事年表圖靈獎圖靈機圖靈實驗人物履歷人物生平人物大事年表圖靈獎圖靈機圖靈實驗人物履歷阿蘭麥席森圖靈(Alan Mathison Turing，1912.6.23-1954.6.7)，英國數(shù)學家、邏輯學家，被稱為計算機科學之父、人工智能之父。1931年圖靈進入劍橋大學國王學院，畢業(yè)后到美國普林斯頓大學攻讀博士學位，二戰(zhàn)爆發(fā)后回到劍橋，后曾協(xié)助軍方破解德國的著名密碼系統(tǒng)Enigma，幫助盟軍取得了二戰(zhàn)的勝利。阿蘭麥席森圖靈，1912年生于英國倫敦，1954年死于英國的曼徹斯特，他是計算機邏輯的奠基者，許多人工智能的重要方法也源自于這位偉大的科學家。他對計算機的重要貢獻在于他提出

3、的有限狀態(tài)自動機也就是圖靈機的概念，對于人工智能，它提出了重要的衡量標準圖靈測試，如果有機器能夠通過圖靈測試，那他就是一個完全意義上的智能機，和人沒有區(qū)別了。他杰出的貢獻使他成為計算機界的第一人，現(xiàn)在人們?yōu)榱思o念這位偉大的科學家將計算機界的最高獎定名為圖靈獎。上中學時，他在科學方面的才能就已經(jīng)顯示出來，這種才能僅僅限于非文科的學科上，他的導師希望這位聰明的孩子也能夠在歷史和文學上有所成就，但是都沒有太大的建樹。少年圖靈感興趣的是數(shù)學等學科。在加拿大他開始了他的職業(yè)數(shù)學生涯，在大學期間這位學生似乎對前人現(xiàn)成的理論并不感興趣，什么東西都要自己來一次。大學畢業(yè)后，他前往美國普林斯頓大學也正是在那里，

4、他制造出了以后稱之為圖靈機的東西。圖靈機被公認為現(xiàn)代計算機的原型，這臺機器可以讀入一系列的零和一，這些數(shù)字代表了解決某一問題所需要的步驟，按這個步驟走下去，就可以解決某一特定的問題。這種觀念在當時是具有革命性意義的，因為即使在50年代的時候，大部分的計算機還只能解決某一特定問題，不是通用的，而圖靈機從理論上卻是通用機。在圖靈看來，這臺機器只用保留一些最簡單的指令，一個復雜的工作只用把它分解為這幾個最簡單的操作就可以實現(xiàn)了，在當時他能夠具有這樣的思想確實是很了不起的。他相信有一個算法可以解決大部分問題，而困難的部分則是如何確定最簡單的指令集，怎么樣的指令集才是最少的，而且又能頂用，還有一個難點是

5、如何將復雜問題分解為這些指令的問題。1936年，圖靈向倫敦權威的數(shù)學雜志投了一篇論文，題為論數(shù)字計算在決斷難題中的應用。在這篇開創(chuàng)性的論文中，圖靈給可計算性下了一個嚴格的數(shù)學定義，并提出著名的圖靈機(Turing Machine)的設想。圖靈機不是一種具體的機器，而是一種思想模型，可制造一種十分簡單但運算能力極強的計算裝置，用來計算所有能想象得到的可計算函數(shù)。圖靈機與馮諾伊曼機齊名，被永遠載入計算機的發(fā)展史中。1950年10月，圖靈又發(fā)表了另一篇題為機器能思考嗎的論文，成為劃時代之作。也正是這篇文章，為圖靈贏得了人工智能之父的桂冠。人物生平故事從謎開始英國現(xiàn)代計算機的起步是從德國的密碼電報機-

6、Enigma(謎)開始的，而解開這個謎的不是別人，正是阿蘭圖靈，一個在計算機界響當當?shù)娜宋?，可與美國的馮諾依曼相媲美的電腦天才。在他短暫的生涯中，圖靈在量子力學、數(shù)理邏輯、生物學、化學方面都有深入的研究，在晚年還開創(chuàng)了一門新學科-非線性力學。圖靈英年早逝。在他42年的人生歷程中，他的創(chuàng)造力是豐富多彩的，他是天才的數(shù)學家和計算機理論專家。24歲提出圖靈機理論，31歲參與COLOSSUS的研制，33歲設想仿真系統(tǒng)，35歲提出自動程序設計概念，38歲設計圖靈測驗。這一朵朵靈感浪花無不閃耀著他在計算機發(fā)展史上的預見性。特別是在60年代后當然，圖靈最高的成就還是在電腦和人工智能方面，他是這一領域開天辟地

7、的大師。為表彰他的貢獻，專門設有一個一年一度的圖靈獎，頒發(fā)給最優(yōu)秀的電腦科學家。這枚獎章就像諾貝爾獎一樣，為計算機界的獲獎者帶來至高無上的榮譽。而阿蘭圖靈本人，更被人們推崇為人工智能之父，在計算機業(yè)十倍速變化的歷史畫卷中永遠占有一席之地。他的驚世才華和盛年夭折，也給他的個人生活涂上了謎一樣的傳奇色彩。神童圖靈圖靈1912年6月23日出生于英國倫敦。其祖父曾獲得劍橋大學數(shù)學榮譽學位，但他父親的數(shù)學才能平平。因此，圖靈的家庭教育，對他以后在數(shù)學及計算機方面的成就并沒有多少幫助。小時候的圖靈生性活潑好動，很早就表現(xiàn)出對科學的探索精神。據(jù)他母親回憶，3歲時，小圖靈就進行了他的首次實驗，嘗試把一個玩具木

8、頭人的小胳膊、小腿掰下來栽到花園里，等待長出更多的木頭人。到了8歲，他更開始嘗試寫一部科學著作，題目為關于一種顯微鏡。在這部很短的書中，天才兒童圖靈拼錯了很多單詞，句法也有些問題，但寫得還能讓人看懂，很像那么一回事兒。在書的開頭和結尾，他都用同一句話首先你必須知道光是直的作前后呼應，但中間的內(nèi)容卻很短，短得破了科學著作的記錄。圖靈曾說：我似乎總想從最普通的東西中弄出些名堂。就連和小朋友們玩足球，他也能放棄當前鋒進球這樣出風頭的事，只喜歡在場外巡邊，因為這樣能有機會去計算球飛出邊界的角度。他的老師認為：圖靈的頭腦思維可以像袋鼠一樣進行跳躍。圖靈是個天才。他16歲就開始研究愛因斯坦的相對論。193

9、1年，圖靈考入劍橋大學國王學院，開始他的數(shù)學生涯，研究量子力學、概率論和邏輯學。在校期間，圖靈還是現(xiàn)代語言哲學大師維特根斯坦班上最出色的學生。他對由劍橋大學的羅素和懷特海創(chuàng)立的數(shù)理邏輯很感興趣。數(shù)理邏輯的創(chuàng)建，主要源于古希臘克里特島上有個叫愛皮梅尼特的智者，他說：所有的克里特島人都說謊。我們可以把它簡化為：我說的這句話是假話。這就出現(xiàn)一種兩面都無法自圓的怪圈：如果他沒有說謊，那他這句話是錯的，他是在說謊；如果他真的在說謊，那他說自己在說謊是對的，所以他又沒有說謊。羅素和懷特海把它從邏輯、集合論以及數(shù)論中驅逐出去，最后又想盡辦法歸入數(shù)學原理之中。圖靈一上大學，就迷上了數(shù)學原理。在1931年，著名

10、的哥德爾定理出現(xiàn)后(該定理認為沒有一種公理系統(tǒng)可以導出數(shù)論中所有的真實命題，除非這種系統(tǒng)本身就有悖論)，天才的圖靈在數(shù)理邏輯大本營的劍橋大學提出一個設想：能否有這樣一臺機器，通過某種一般的機械步驟，能在原則上一個接一個地解決所有的數(shù)學問題。大學畢業(yè)后，圖靈去美國普林斯頓大學攻讀博士學位，還順手發(fā)明過一個解碼器。在那里，他遇見了馮諾依曼，后者對他的論文擊節(jié)贊賞，并隨后由此提出了存儲程序概念。圖靈學成后又回到他的母校任教。在短短的時間里，圖靈就發(fā)表了幾篇很有份量的數(shù)學論文，為他贏得了很大的聲譽。怪才圖靈在劍橋，圖靈可稱得上是一個怪才，一舉一動常常出人意料。他是個單身漢和長跑運動員。在他的同事和學生

11、中間，這位衣著隨便、不打領帶的著名教授，不善言辭，有些木訥、害羞，常咬指甲，但他更多地以自己杰出的才智贏得了人們的敬意。圖靈每天騎自行車上班，因為患過敏性鼻炎，一遇到花粉，就會鼻涕不止，大打噴嚏。于是，他就常常在上班途中戴防毒面具，招搖過市，這早已成為劍橋的一大奇觀。圖靈的自行車經(jīng)常半路掉鏈子，但他就是不肯去車鋪修理。每次騎車時，他總是嘴里念念有詞，在心里細細計算，這鏈條也怪，總是轉到一定的圈數(shù)就滑落了，而圖靈竟然能夠做到在鏈條下滑前一剎那停車，讓旁觀者佩服不已，以為圖靈在玩雜技。后來圖靈又居然在腳踏車旁裝了一個小巧的機械記數(shù)器，到圈數(shù)時就停，歇口氣換換腦子，再重新運動起來。1936年，圖靈向

12、倫敦權威的數(shù)學雜志投了一篇論文，題為論數(shù)字計算在決斷難題中的應用。在這篇開創(chuàng)性的論文中，圖靈給可計算性下了一個嚴格的數(shù)學定義，并提出著名的圖靈機(Turing Machine)的設想。圖靈機不是一種具體的機器，而是一種思想模型，可制造一種十分簡單但運算能力極強的計算機裝置，用來計算所有能想像得到的可計算函數(shù)。裝置由一個控制器和一根假設兩端無界的工作帶(起存儲器的作用)組成。工作帶被劃分為大小相同的方格，每一格上可書寫一個給定字母表上的符號。控制器可以在帶上左右移動，它帶有一個讀寫出一個你期待的結果。外行人看了會墜入云里霧里，而內(nèi)行人則稱它是闡明現(xiàn)代電腦原理的開山之作，并冠以理想計算機的名稱。這

13、篇論文在紙上談了一把兵，創(chuàng)造出一個圖靈機來。但現(xiàn)代通用電腦確實是用相應的程序來完成任何設定好的任務。這一理論奠定了整個現(xiàn)代計算機的理論基礎。圖靈機更在電腦史上與馮諾依曼機齊名，被永遠載入計算機的發(fā)展史中。圖靈機理論不僅解決了純數(shù)學基礎理論問題，一個巨大的意外收獲則是，理論上證明了研制通用數(shù)字計算機的可行性。雖然早在100年前的1834年，巴貝奇(Chark Babbage，17921871)就設計制造了分析機以說明具體的數(shù)字計算，但他的失敗之處是沒能證明必然可行。圖靈機理論不僅證明了研制通用機的可行性，而且比世界上第一臺由德國人朱斯(KZuze)于1941年制造的通用程序控制計算機Z-3整整早

14、5年。這不得不使人驚嘆這一理論的深刻意義。謎語圖靈正當圖靈的理論研究工作進一步深入時，戰(zhàn)爭爆發(fā)了。他被派往布雷契萊莊園承擔超級機密研究。當時的布雷契萊莊園是一所政府密碼學校，即戰(zhàn)時的英國情報破譯中心。在這座幽靜的維多利亞式建筑里，表面上鳥語花香、人跡罕見，其實每天都有12000多名志愿者在這里夜以繼日地工作，截獲、整理、破譯德國的軍事情報，有些結果甚至直達丘吉爾首相本人手中。在這里，圖靈被人們稱為教授，沒有人知道他的真名。當時德國有一個名為Enigma(謎)的通信密碼機，破譯高手們絞盡腦汁也難以破解。這個難題交到了圖靈手中，他率領著大約200多名精干人員進行密碼分析，其中甚至還包括象棋冠軍亞歷

15、山大。分析和計算工作非常復雜，26個字母在Enigma機中能替代8萬億個謎文字母。如果改動接線，變化會超過2.5千萬億億。最后多虧波蘭同行們提供了一臺真正的Enigma，圖靈才憑借著他的天才設想設計出一種破譯機。這臺機器主要由繼電器構成，還用了80個電子管，由光電閱讀器直接讀入密碼，每秒可讀字符2000個，運行起來咔嚓咔嚓直響。它被圖靈戲稱為羅賓遜，至今沒人能搞懂圖靈究竟如何指揮它工作。但羅賓遜的確神通廣大，在它的密報下，德國飛機一再落入圈套，死無葬身之地。1945年，圖靈帶著大英帝國授予的榮譽勛章，來到英國國家物理研究所擔任高級研究員。兩年后，圖靈寫了一份內(nèi)部報告，提出了自動程序的概念，但由

16、于英國政府嚴密、死板的保密法令，這份報告一直不見天日。1969年，美國的瓦丁格(Woldingger)發(fā)表了同樣成果，英國才連忙亮出壓在箱底的寶貝，終于在1970年給圖靈的報告解密。圖靈的這份報告后來收入愛丁堡大學編的機器智能論文集中。由于有了布雷契萊的經(jīng)驗，圖靈提交了一份自動計算機的設計方案，領導一批優(yōu)秀的電子工程師，著手制造一種名叫ACE的新型電腦。它大約用了800個電子管，成本約為4萬英鎊。1950年，ACE電腦就橫空出世，開始公開露面，為感興趣的人們玩一些小把戲，贏得陣陣喝彩。圖靈在介紹ACE的內(nèi)存裝置時說：它可以很容易把一本書的10頁內(nèi)容記住。顯然，ACE是當時世界上最快、最強勁的電

17、子計算機之一。1946年，在紐曼博士的動議下，皇家學會成立電腦實驗室。紐曼博士是皇家學會會員，又是當年破譯小組的成員，正是他對赫斯魯賓遜的制造起了關鍵作用。皇家學會的這一新實驗室不在倫敦，而是設在曼徹斯特大學，由紐曼博士牽頭負責。1946年7月，研制基金到位，紐曼博士開始招募人選。阿蘭圖靈也在次年9月加盟電腦實驗室。一時間，曼徹斯特大學群英會萃。實驗室設在一幢維多利亞時代的老房子里，條件十分簡陋，但因圖靈他們的到來，也算是蓬蓽生輝了。在1948年6月，這里造出了一臺小的模型機，大家都愛叫它嬰兒(Baby)。這臺模型機用陰極射線管來解決存儲問題，能存儲32個字，每一字有32位字長。這是第一臺能完

18、全執(zhí)行存儲程序的電子計算機的模型。大師圖靈到了1949年10月，各項改進工作都已展開，夾在兩層存儲器之間的自動控制系統(tǒng)已正常運轉，并能在程序的控制下，實現(xiàn)磁鼓和陰極射線管存儲單元間信息交互。圖靈設計出一些協(xié)同電路來做輸入和輸出的外設。有關電動打字設備也是圖靈通過老關系從他戰(zhàn)時供職的外交部通信部門弄過來的，其中甚至包括一個戰(zhàn)后從德國人那里收繳來的穿孔紙帶鍵盤。這樣，整個模型機已大功告成。在整個試驗階段，大家忙上忙下。1949年底，模型機交付給曼徹斯特當?shù)氐囊患医懈ヌm尼蒂(Ferranti)的電子公司，開始正式建造。1951年2月完工，通稱邁可1型。它有4000個電子管，72000個電阻器，250

19、0個電容器，能在0.1秒內(nèi)開平方根、求對數(shù)和三角函數(shù)的運算。比起先前的模型機，邁可1型功能更為齊全，靜電存儲器的內(nèi)存容量已翻倍，能存256個40位字長字，分別存在8個陰極射線管中，而磁鼓的容量能擴容到16384個字，真是一項了不起的工程。與馮諾依曼同時代的富蘭克爾(Frankel，馮氏同事)在回憶中說：馮諾依曼沒有說過存儲程序型計算機的概念是他的發(fā)明，卻不止一次地說過，圖靈是現(xiàn)代計算機設計思想的創(chuàng)始人。當有人將電子計算機之父的頭銜戴在馮諾依曼頭上時，他謙遜地說，真正的計算機之父應該是圖靈。當然，馮諾依曼問之無愧，而圖靈也有人工智能之父的桂冠。他倆是計算機歷史浩瀚星空中相互映照的兩顆巨星。早在1

20、945年，圖靈就提出仿真系統(tǒng)的思想，并有一份詳細的報告，想建造一臺沒有固定指令系統(tǒng)的電腦。它能夠模擬其他不同指令系統(tǒng)的電腦的功能，但這份報告直到1972年才公布。這說明圖靈在二戰(zhàn)結束后就開始了后來被稱為人工智能領域的探索，他開始關注人的神經(jīng)網(wǎng)絡和電腦計算之間的關聯(lián)。1950年，圖靈又來到曼徹斯特大學任教，同時還擔任該大學自動計算機項目的負責人。就在這一年的十月，他又發(fā)表了另一篇題為機器能思考嗎?的論文，成為劃時代之作。也正是這篇文章，為圖靈贏得了一頂桂冠-人工智能之父。在這篇論文里，圖靈第一次提出機器思維的概念。他逐條反駁了機器不能思維的論調(diào)，做出了肯定的回答。他還對智能問題從行為主義的角度給

21、出了定義，由此提出一假想：即一個人在不接觸對方的情況下，通過一種特殊的方式，和對方進行一系列的問答，如果在相當長時間內(nèi)，他無法根據(jù)這些問題判斷對方是人還是計算機，那么，就可以認為這個計算機具有同人相當?shù)闹橇?，即這臺計算機是能思維的。這就是著名的圖靈測試(Turing Testing)。當時全世界只有幾臺電腦，根本無法通過這一測試。但圖靈預言，在本世紀末，一定會有電腦通過圖靈測試。終于他的預言在IBM的深藍身上得到徹底實現(xiàn)。當然，卡斯帕羅夫和深藍之間不是猜謎式的泛泛而談，而是你輸我贏的彼此較量。故事以謎結束1951年，圖靈以他杰出的貢獻被當選為英國皇家學會會員。就在他事業(yè)步入輝煌之際，災難降臨了

22、。1952年，圖靈遭到警方拘捕，原因是他是一個同性戀者。與其他一些智慧超群的人物一樣，圖靈在個人生活方式上也與眾不同。當時，人們對同性戀還沒有像現(xiàn)在這樣寬容，而是把這種行為當作一樁傷風敗俗的罪孽。事情的敗露是這樣的，當時有一位叫瓊克拉克(Joan Clarke)的姑娘愛上了圖靈，圖靈也對對方很有好感，并向對方求婚，瓊欣然接受。但不久，圖靈自己退縮了，告訴瓊，他是同性戀者。在1948年，圖靈就由于同性戀傾向，離開了當時屬于高度保密的英國國家物理實驗室(NPL)。但也有人說，圖靈是被英國軍事情報部門開除出去的，對于這位天才的離去，許多人悵惜不已。1952年3月31日，圖靈更因為和曼徹斯特當?shù)匾晃磺?/p>

23、年有染，被警方逮捕。在法庭上，圖靈既不否認，也不為自己辨解。在莊嚴的法庭上，他鄭重其事地告訴人們：他的行為沒有錯，結果被判有罪。在入獄和治療兩者中間，圖靈選擇了注射激素，來治療所謂的性欲倒錯。此后圖靈開始研究生物學、化學，還和一位心理醫(yī)生有很深的交往。那時，他的脾氣已變得躁怒不安，性格更為陰沉怪僻。1953年3月，他因為接待過一位被英國警方注意的挪威客人，成為警方的目標，甚至去希臘度假時也被跟蹤。1954年6月8日，圖靈42歲，正逢進入他生命中最輝煌的創(chuàng)造頂峰。一天早晨，女管家走進他的臥室，發(fā)現(xiàn)臺燈還亮著，床頭上還有個蘋果，只咬了一小半，圖靈沉睡在床上，一切都和往常一樣。但這一次，圖靈是永遠地

24、睡著了，不會再醒來經(jīng)過解剖，法醫(yī)斷定是劇毒氰化物致死，那個蘋果是在氰化物溶液中浸泡過的。圖靈的母親則說他是在做化學實驗時，不小心沾上的，她的艾倫從小就有咬指甲的習慣。但外界的說法是服毒自殺，一代天才就這樣走完了人生。人物大事年表1912年6月23日，出生于英國倫敦。1931年-1934年，在英國劍橋大學國王學院(Kings College)學習。1932年-1935年，主要研究量子力學、概率論和邏輯學。1935年，年僅23歲的圖靈，被選為劍橋大學國王學院院士。1936年，主要研究可計算理論，并提出圖靈機的構想。1936年-1938年，主要在美國普林斯頓大學做博士研究，涉及邏輯學、代數(shù)和數(shù)論等領

25、域。1938-1939年，返回劍橋從事研究工作，并應邀加入英國政府破譯二戰(zhàn)德軍密碼的工作。1940年-1942年，作為主要參與者和貢獻者之一，在破譯納粹德國通訊密碼的工作上成就杰出，并成功破譯了德軍U-潛艇密碼，為扭轉二戰(zhàn)盟軍的大西洋戰(zhàn)場戰(zhàn)局立下汗馬功勞。1943年-1945年，擔任英美密碼破譯部門的總顧問。1945年，應邀在英國國家物理實驗室從事計算機理論研究工作。1946年，這個時候，圖靈在計算機和程序設計原始理論上的構思和成果，已經(jīng)確定了他的理論開創(chuàng)者的地位。由于圖靈的杰出貢獻，年輕的他被英國皇室授予OBE爵士勛銜。1947年-1948年，主要從事計算機程序理論的研究，并同時在神經(jīng)網(wǎng)絡和

26、人工智能領域做出開創(chuàng)性的理論研究。1948年，應邀加入英國曼徹斯特大學從事研究工作，擔任曼徹斯特大學計算實驗室副主任。1949年，成為世界上第一位把計算機實際用于數(shù)學研究的科學家。1950年，發(fā)表論文計算機器與智能，為后來的人工智能科學提供了開創(chuàng)性的構思。提出著名的圖靈測試理論。1951年，從事生物的非線性理論研究。年僅39歲的圖靈，被選為英國皇家學會會員。1952年，在當年保守愚昧和冷戰(zhàn)的時代，當警察得知圖靈與同性朋友密切交往的消息之后，同性戀傾向的圖靈被逮捕入獄。在法庭審判過程中，圖靈明確告知人們，他認為自己沒有做錯什么事。在那個觀念落后的年代，為了避免被判刑入獄，圖靈被迫選擇了為期一年的

27、雌性激素注射的所謂治療，才得以重新返回研究工作。1953年-1954年，繼續(xù)在生物和物理學等方面的研究。被迫承受的對同性戀傾向的治療，致使原本熱愛體育運動的圖靈在身心上受到極大的傷害。1954年6月7日，圖靈被發(fā)現(xiàn)死于家中的床上。死因是氰化物中毒，警方調(diào)查結論是自殺。一代英靈，就此過早離去，成為人類科學史上的一大遺憾。圖靈獎圖靈獎是美國計算機協(xié)會(ACM，Association for Computer Machinery)于1966年設立的，專門獎勵那些對計算機科學研究與推動計算機技術發(fā)展有卓越貢獻的杰出科學家。設立的初衷是因為計算機技術的飛速發(fā)展，尤其到20世紀60年代，其已成為一個獨立的

28、有影響的學科，信息產(chǎn)業(yè)亦逐步形成，但在這一產(chǎn)業(yè)中卻一直沒有一項類似諾貝爾、普利策等的獎項來促進該學科的進一步發(fā)展，為了彌補這一缺陷，于是圖靈獎便應運而生，它被公認為計算機界的諾貝爾獎。圖靈獎是計算機界最負盛名的獎項，有計算機界諾貝爾獎之稱。圖靈獎對獲獎者的要求極高，評獎程序也極嚴，一般每年只獎勵一名計算機科學家，只有極少數(shù)年度有兩名以上在同一方向上做出貢獻的科學家同時獲獎。目前圖靈獎由Google公司贊助，獎金為100,000美元。每年，美國計算機協(xié)會將要求提名人推薦本年度的圖靈獎候選人，并附加一份200到500字的文章，說明被提名者為什么應獲此獎。任何人都可成為提名人。美國計算機協(xié)會將組成評

29、選委員會對被提名者進行嚴格的評審，并最終確定當年的獲獎者。截止至2005年，獲此殊榮的華人僅有一位，他是2000年圖靈獎得主姚期智。圖靈獎獲得者1966年，Alan J.Perlis 1967年，Maurice V.Wilkes 1968年，Richard Hamming 1969年，Marvin Minsky 1970年，James H.Wilkinson 1971年，John McCarthy(computer scientist)1972年，Edsger Dijkstra 1973年，Charles W.Bachman 1974年，高德納1975年，Allen Newell和Herber

30、t A.Simon 1976年，Michael O.Rabin和Dana S.Scott 1977年，John Backus 1978年，Robert W.Floyd 1979年，Kenneth E.Iverson 1980年，C.Antony R.Hoare 1981年，埃德加科德1982年，Stephen A.Cook 1983年，Ken Thompson和Dennis M.Ritchie 1984年，Niklaus Wirth 1985年，Richard M.Karp 1986年，John Hopcroft和Robert Tarjan 1987年，John Cocke 1988年，Iva

31、n Sutherland 1989年，William(Velvel)Kahan 1990年，F(xiàn)ernando J.Corbat1991年，Robin Milner 1992年，Butler W.Lampson 1993年，Juris Hartmanis和Richard E.Stearns 1994年，Edward Feigenbaum和Raj Reddy 1995年，Manuel Blum 1996年，Amir Pnueli 1997年，Douglas Engelbart 1998年，James Gray 1999年，F(xiàn)rederick P.Brooks Jr.2000年，姚期智(Andrew

32、 Chi-Chih Yao)2001年，Ole-Johan Dahl 2001年，Kr isten Nygaard 2002年，Ronald Rivest，Adi Shamir，Lenard M.Adleman 2003年，Alan Kay 2004年，Vinton G.Cerf 2004年，Robert E.Kahn 2005年，Peter Naur 2006年，F(xiàn)rances E.Allen(女)2007年，Edmund M.Clarke、Allen Emerson和Joseph Sifakis 2008年，Barbara Liskov 2009年，Charles Thacker圖靈機19

33、36年，阿蘭圖靈提出了一種抽象的計算模型圖靈機(Turing Machine)。圖靈的基本思想是用機器來模擬人們用紙筆進行數(shù)學運算的過程，他把這樣的過程看作下列兩種簡單的動作：在紙上寫上或擦除某個符號；把注意力從紙的一個位置移動到另一個位置；而在每個階段，人要決定下一步的動作，依賴于(a)此人當前所關注的紙上某個位置的符號和(b)此人當前思維的狀態(tài)。為了模擬人的這種運算過程，圖靈構造出一臺假想的機器，該機器由以下幾個部分組成：一條無限長的紙帶。紙帶被劃分為一個接一個的小格子，每個格子上包含一個來自有限字母表的符號，字母表中有一個特殊的符號表示空白。紙帶上的格子從左到右依次被編號為0,1,2,.，紙帶的右端可以無限伸展。一個讀寫頭。該讀寫頭可以在紙帶上左右移動，它能讀出當前所指的格子上的符號，并能改變當前格子上的符號。一個狀態(tài)寄存器。它用來保存圖靈機當前所處的狀態(tài)。圖靈機的所有可能狀態(tài)的數(shù)目是有限的，并且有一個特殊的