補(bǔ)充圖靈和圖靈獎(jiǎng)

1、圖靈和圖靈獎(jiǎng)1席森圖靈（Alan Mathison Turing，1912.6.231954.6.7）英國數(shù)學(xué)家、邏輯學(xué)家，被稱為人工智能之父。 1931年圖靈進(jìn)入劍橋大學(xué)國王學(xué)院，畢業(yè)后到美國普林斯頓大學(xué)攻讀博士學(xué)位，二戰(zhàn)爆發(fā)后回到劍橋，后曾協(xié)助軍方破解德國的著名密碼系統(tǒng)Enigma，幫助盟軍取得了二戰(zhàn)的勝利。2022/8/142人物小記阿蘭麥阿蘭麥席森圖靈，1912年生于英國倫敦，1954年死于英國的曼徹斯特，他是計(jì)算機(jī)邏輯的奠基者，許多人工智能的重要方法也源自于這位偉大的科學(xué)家。他對計(jì)算機(jī)的重要貢獻(xiàn)在于他提出的有限狀態(tài)自動(dòng)機(jī)也就是圖靈機(jī)的概念對于人工智能，它提出了重要的衡量標(biāo)準(zhǔn)“圖靈測試

2、”，如果有機(jī)器能夠通過圖靈測試，那他就是一個(gè)完全意義上的智能機(jī)，和人沒有區(qū)別了。他杰出的貢獻(xiàn)使他成為計(jì)算機(jī)界的第一人，現(xiàn)在人們?yōu)榱思o(jì)念這位偉大的科學(xué)家將計(jì)算機(jī)界的最高獎(jiǎng)定名為“圖靈獎(jiǎng)”。2022/8/143人物小記（續(xù)）圖靈機(jī)被公認(rèn)為現(xiàn)代計(jì)算機(jī)的原型，這臺(tái)機(jī)器可以讀入一系列的零和一，這些數(shù)字代表了解決某一問題所需要的步驟，按這個(gè)步驟走下去，就可以解決某一特定的問題。這種觀念在當(dāng)時(shí)是具有革命性意義的，因?yàn)榧词乖?0年代的時(shí)候，大部分的計(jì)算機(jī)還只能解決某一特定問題，不是通用的，而圖靈機(jī)從理論上卻是通用機(jī)。在圖靈看來，這臺(tái)機(jī)器只用保留一些最簡單的指令，一個(gè)復(fù)雜的工作只用把它分解為這幾個(gè)最簡單的操作就

3、可以實(shí)現(xiàn)了，在當(dāng)時(shí)他能夠具有這樣的思想確實(shí)是很了不起的。他相信有一個(gè)算法可以解決大部分問題，而困難的部分則是如何確定最簡單的指令集，怎么樣的指令集才是最少的，而且又能頂用，還有一個(gè)難點(diǎn)是如何將復(fù)雜問題分解為這些指令的問題。2022/8/144人物小記（續(xù)）1936年，圖靈向倫敦權(quán)威的數(shù)學(xué)雜志投了一篇論文，題為“論數(shù)字計(jì)算在決斷難題中的應(yīng)用”。在這篇開創(chuàng)性的論文中，圖靈給“可計(jì)算性”下了一個(gè)嚴(yán)格的數(shù)學(xué)定義，并提出著名的“圖靈機(jī)”(Turing Machine)的設(shè)想。“圖靈機(jī)”不是一種具體的機(jī)器，而是一種思想模型，可制造一種十分簡單但運(yùn)算能力極強(qiáng)的計(jì)算裝置，用來計(jì)算所有能想象得到的可計(jì)算函數(shù)。“

4、圖靈機(jī)”與“馮諾伊曼機(jī)”齊名，被永遠(yuǎn)載入計(jì)算機(jī)的發(fā)展史中。1950年10月，圖靈又發(fā)表了另一篇題為“機(jī)器能思考嗎”的論文，成為劃時(shí)代之作。也正是這篇文章，為圖靈贏得了“人工智能之父”的桂冠。2022/8/145圖靈生平英國現(xiàn)代計(jì)算機(jī)的起步是從德國的密碼電報(bào)機(jī)Enigma(謎)開始的，而解開這個(gè)謎正是阿蘭圖靈在短暫的生涯中，圖靈在量子力學(xué)、數(shù)理邏輯、生物學(xué)、化學(xué)方面都有深入的研究，在晚年還開創(chuàng)了一門新學(xué)科 非線性力學(xué)。 2022/8/146圖靈生平故事從謎開始 圖靈英年早逝。在他42年的人生歷程中，他的創(chuàng)造力是豐富多彩的，他是天才的數(shù)學(xué)家和計(jì)算機(jī)理論專家。24歲提出圖靈機(jī)理論31歲參與COLOS

5、SUS的研制33歲設(shè)想仿真系統(tǒng)35歲提出自動(dòng)程序設(shè)計(jì)概念38歲設(shè)計(jì)“圖靈測驗(yàn)”。2022/8/147圖靈生平怪才圖靈圖靈機(jī)理論上證明了研制通用數(shù)字計(jì)算機(jī)的可行性。雖然早在100年前的1834年，巴貝奇(Chark Babbage，17921871)就設(shè)計(jì)制造了“分析機(jī)”以說明具體的數(shù)字計(jì)算，但他的失敗之處是沒能證明“必然可行”。圖靈機(jī)理論不僅證明了研制“通用機(jī)”的可行性，而且比世界上第一臺(tái)由德國人朱斯(KZuze)于1941年制造的通用程序控制計(jì)算機(jī)Z-3整整早5年。2022/8/148圖靈生平謎語圖靈正當(dāng)圖靈的理論研究工作進(jìn)一步深入時(shí)，戰(zhàn)爭爆發(fā)了。他被派往布雷契萊莊園承擔(dān)“超級(jí)機(jī)密”研究。當(dāng)

6、時(shí)德國有一個(gè)名為“Enigma”（謎）的通信密碼機(jī)，破譯高手們絞盡腦汁也難以破解。這個(gè)難題交到了圖靈手中，他率領(lǐng)著大約200多名精干人員進(jìn)行密碼分析，其中甚至還包括象棋冠軍亞歷山大。圖靈憑借著他的天才設(shè)想設(shè)計(jì)出一種破譯機(jī)。這臺(tái)機(jī)器主要由繼電器構(gòu)成，還用了80個(gè)電子管，由光電閱讀器直接讀入密碼，每秒可讀字符2000個(gè)。至今沒人搞懂圖靈究竟如何指揮它工作。但羅賓遜的確神通廣大，在它的密報(bào)下，德國飛機(jī)一再落入圈套2022/8/149圖靈生平謎語圖靈1945年，圖靈帶著大英帝國授予的榮譽(yù)勛章，來到英國國家物理研究所擔(dān)任高級(jí)研究員。兩年后，圖靈寫了一份內(nèi)部報(bào)告，提出了“自動(dòng)程序”的概念，但由于英國政府嚴(yán)

7、密、死板的保密法令，這份報(bào)告一直不見天日。1969年，美國的瓦丁格(Woldingger)發(fā)表了同樣成果，英國才連忙亮出壓在箱底的寶貝，終于在1970年給圖靈的報(bào)告“解密”。圖靈的這份報(bào)告后來收入愛丁堡大學(xué)編的機(jī)器智能論文集中。由于有了布雷契萊的經(jīng)驗(yàn)，圖靈提交了一份“自動(dòng)計(jì)算機(jī)”的設(shè)計(jì)方案，領(lǐng)導(dǎo)一批優(yōu)秀的電子工程師，著手制造一種名叫ACE的新型電腦。它大約用了800 個(gè)電子管，成本約為4萬英鎊。1950年，圖靈在介紹ACE的內(nèi)存裝置時(shí)說：“它可以很容易把一本書的10頁內(nèi)容記住。”顯然，ACE是當(dāng)時(shí)世界上最快、最強(qiáng)勁的電子計(jì)算機(jī)之一。2022/8/1410圖靈生平謎語圖靈1946年，在紐曼博士的

8、動(dòng)議下，皇家學(xué)會(huì)成立電腦實(shí)驗(yàn)室。紐曼博士是皇家學(xué)會(huì)會(huì)員，又是當(dāng)年破譯小組的成員?；始覍W(xué)會(huì)的這一新實(shí)驗(yàn)室不在倫敦，而是設(shè)在曼徹斯特大學(xué)，由紐曼博士牽頭負(fù)責(zé)。1946年7月，研制基金到位，紐曼博士開始招募人選。阿蘭圖靈也在次年9月加盟電腦實(shí)驗(yàn)室。在1948年6月，實(shí)驗(yàn)室造出了一臺(tái)小的模型機(jī)“嬰兒”(Baby)。這是第一臺(tái)能完全執(zhí)行存儲(chǔ)程序的電子計(jì)算機(jī)的模型。2022/8/1411圖靈生平大師圖靈與馮諾依曼同時(shí)代的富蘭克爾(Frankel，馮氏同事)在回憶中說：馮諾依曼沒有說過“存儲(chǔ)程序”型計(jì)算機(jī)的概念是他的發(fā)明，卻不止一次地說過，圖靈是現(xiàn)代計(jì)算機(jī)設(shè)計(jì)思想的創(chuàng)始人。當(dāng)有人將“電子計(jì)算機(jī)之父”的頭銜戴

9、在馮諾依曼頭上時(shí)，他謙遜地說，真正的計(jì)算機(jī)之父應(yīng)該是圖靈。當(dāng)然，馮諾依曼問之無愧，而圖靈也有“人工智能之父”的桂冠。2022/8/1412圖靈生平大師圖靈早在1945年，圖靈就提出“仿真系統(tǒng)”的思想，并有一份詳細(xì)的報(bào)告，想建造一臺(tái)沒有固定指令系統(tǒng)的電腦。它能夠模擬其他不同指令系統(tǒng)的電腦的功能， 但這份報(bào)告直到1972年才公布。這說明圖靈在二戰(zhàn)結(jié)束后就開始了后來被稱 為“人工智能”領(lǐng)域的探索，他開始關(guān)注人的神經(jīng)網(wǎng)絡(luò)和電腦計(jì)算之間的關(guān)聯(lián)。2022/8/1413圖靈生平大師圖靈1950年，圖靈又來到曼徹斯特大學(xué)任教，同時(shí)還擔(dān)任該大學(xué)自動(dòng)計(jì)算機(jī)項(xiàng)目的負(fù)責(zé)人。就在這一年的十月，他又發(fā)表了另一篇題為機(jī)器能

10、思考嗎？的論文，成為劃時(shí)代之作。也正是這篇文章，為圖靈贏得了一頂桂冠“人工智能之父”。在這篇論文里，圖靈第一次提出“機(jī)器思維”的概念。圖靈預(yù)言，在本世紀(jì)末，一定會(huì)有電腦通過“圖靈測試”。終于他的預(yù)言在IBM的“深藍(lán)”身上得到徹底實(shí)現(xiàn)。2022/8/1414圖靈生平故事以謎結(jié)束 1951年，圖靈以他杰出的貢獻(xiàn)被當(dāng)選為英國皇家學(xué)會(huì)會(huì)員。1952年，圖靈遭到警方拘捕，原因是他是一個(gè)同性戀者。與其他一些智慧超群的人物一樣，圖靈在個(gè)人生活方式上也“與眾不同”。事情的敗露是這樣的，當(dāng)時(shí)有一位叫瓊克拉克(Joan Clarke)的姑娘愛上了圖靈，圖靈也對對方很有好感，并向?qū)Ψ角蠡椋傂廊唤邮?。但不久，圖靈自

11、己退縮了，告訴瓊，他是同性戀者。在1948年，圖靈就由于同性戀傾向，離開了當(dāng)時(shí)屬于高度保密的英國國家物理實(shí)驗(yàn)室(NPL)。但也有人說，圖靈是被英國軍事情報(bào)部門“開除”出去的。2022/8/1415圖靈生平故事以謎結(jié)束1952年3月，圖靈更因?yàn)楹吐鼜厮固禺?dāng)?shù)匾晃磺嗄暧腥?，被警方逮捕。在入獄和治療兩者中間，圖靈選擇了注射激素此后圖靈開始研究生物學(xué)、化學(xué)2022/8/1416圖靈生平故事以謎結(jié)束1954年6月8日，圖靈42歲。一天早晨，女管家走進(jìn)他的臥室，發(fā)現(xiàn)臺(tái)燈還亮著，床頭上還有個(gè)蘋果，只咬了一小半，圖靈沉睡在床上，一切都和往常一樣。經(jīng)過解剖，法醫(yī)斷定是劇毒氰化物致死，那個(gè)蘋果是在氰化物溶液中浸泡

12、過的。圖靈的母親則說他是在做化學(xué)實(shí)驗(yàn)時(shí)，不小心沾上的但外界的說法是服毒自殺，一代天才就這樣走完了人生。2022/8/1417人物大事年表1912年6月23日，出生于英國倫敦。 1931年-1934年，在英國劍橋大學(xué)國王學(xué)院（Kings College）學(xué)習(xí)。 1932年-1935年，主要研究量子力學(xué)、概率論和邏輯學(xué)。 1935年，年僅23歲的圖靈，被選為劍橋大學(xué)國王學(xué)院院士。 1936年，主要研究可計(jì)算理論，并提出“圖靈機(jī)”的構(gòu)想。 1936年-1938年，主要在美國普林斯頓大學(xué)做博士研究，涉及邏輯學(xué)、代數(shù)和數(shù)論等領(lǐng)域。 1938-1939年，返回劍橋從事研究工作，并應(yīng)邀加入英國政府破譯二戰(zhàn)德

13、軍密碼的工作。 1940年-1942年，作為主要參與者和貢獻(xiàn)者之一，在破譯納粹德國通訊密碼的工作上成就杰出，并成功破譯了德軍U-潛艇密碼，為扭轉(zhuǎn)二戰(zhàn)盟軍的大西洋戰(zhàn)場戰(zhàn)局立下汗馬功勞。2022/8/1418人物大事年表（續(xù)）1943年-1945年，擔(dān)任英美密碼破譯部門的總顧問。 1945年，應(yīng)邀在英國國家物理實(shí)驗(yàn)室從事計(jì)算機(jī)理論研究工作。 1946年，這個(gè)時(shí)候，圖靈在計(jì)算機(jī)和程序設(shè)計(jì)原始理論上的構(gòu)思和成果，已經(jīng)確定了他的理論開創(chuàng)者的地位。由于圖靈的杰出貢獻(xiàn)，年輕的他被英國皇室授予OBE爵士勛銜。 1947年-1948年，主要從事計(jì)算機(jī)程序理論的研究，并同時(shí)在神經(jīng)網(wǎng)絡(luò)和人工智能領(lǐng)域做出開創(chuàng)性的理論

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

15、獄，圖靈被迫選擇了為期一年的雌性激素注射的所謂“治療”，才得以重新返回研究工作。 1953年-1954年，繼續(xù)在生物和物理學(xué)等方面的研究。被迫承受的對同性戀傾向的“治療”，致使原本熱愛體育運(yùn)動(dòng)的圖靈在身心上受到極大的傷害。 1954年6月7日，圖靈被發(fā)現(xiàn)死于家中的床上。死因是氰化物中毒，警方調(diào)查結(jié)論是自殺。一代英靈，就此過早離去，成為人類科學(xué)史上的一大遺憾。2022/8/1420圖靈獎(jiǎng)圖靈去世后12年開始設(shè)立的圖靈獎(jiǎng)是美國計(jì)算機(jī)協(xié)會(huì)ACM（Association for Computing Machinery） 設(shè)立的第一個(gè)獎(jiǎng)項(xiàng)。ACM成立于1947年，也就是世界上第一臺(tái)電子計(jì)算機(jī)ENIAC誕

16、生以后的第二年，美國一些有遠(yuǎn)見的科學(xué)家意識(shí)到它對于社會(huì)進(jìn)步和人類文明的巨大意義，因此發(fā)起成立了這個(gè)協(xié)會(huì)，以推動(dòng)計(jì)算機(jī)科學(xué)技術(shù)的發(fā)展和學(xué)術(shù)交流。2022/8/1421圖靈獎(jiǎng)（續(xù)）ACM于1947年9月15日在紐約的哥倫比亞大學(xué)成立之初的名稱是“東部計(jì)算機(jī)協(xié)會(huì)”(Eastern Association for Computing Machinery),后來才把Eastern這個(gè)詞去掉而成為ACM。它的章程和附則是兩年后才通過的，章程規(guī)定協(xié)會(huì)的目的有三：1推進(jìn)信息處理科學(xué)和技術(shù)，包括計(jì)算機(jī)、計(jì)算技術(shù)和程序設(shè)計(jì)語言的研究、設(shè)計(jì)、開發(fā)和應(yīng)用，也包括過程中的自動(dòng)控制和模擬。2促進(jìn)信息處理科學(xué)和技術(shù)在專業(yè)人

17、員和大眾中的自由交流。3維護(hù)信息處理科學(xué)和技術(shù)從業(yè)人員的權(quán)益。2022/8/1422圖靈獎(jiǎng)（續(xù)）ACM建立以來，積極地開展了活動(dòng)，目前已成為計(jì)算機(jī)界最有影響的兩大國際性學(xué)術(shù)組織之一（另一為IEEE的計(jì)算機(jī)協(xié)會(huì)，即IEEE Computer Society）。一些知名的計(jì)算機(jī)科學(xué)家，包括圖靈獎(jiǎng)獲得者佩利、哈明和ENIAC的主要設(shè)計(jì)者之一莫奇利等都擔(dān)任過ACM的主席。它下面又建立了幾十個(gè)專業(yè)委員會(huì)（正式名稱是所謂SIGSpecial Interest Group）,幾乎每個(gè)SIG都有自己的雜志。據(jù)筆者不完全統(tǒng)計(jì)，由ACM出版社出版的定期、不定期刊物有40多種，覆蓋了計(jì)算機(jī)科學(xué)技術(shù)的幾乎所有領(lǐng)域。2

18、022/8/1423圖靈獎(jiǎng)（續(xù)）圖靈獎(jiǎng)雖然沒有明確規(guī)定，但從實(shí)際執(zhí)行過程來看，偏于在計(jì)算機(jī)科學(xué)理論和軟件方面作出貢獻(xiàn)的科學(xué)家。獎(jiǎng)金金額不算太高，設(shè)獎(jiǎng)初期為2萬美元，1989年起增到2萬5千美元，獎(jiǎng)金通常由計(jì)算機(jī)界的一些大企業(yè)提供（通過與ACM簽訂協(xié)議）。由于圖靈獎(jiǎng)對獲獎(jiǎng)條件要求極高，評獎(jiǎng)程序又是極嚴(yán)，一般每年只獎(jiǎng)勵(lì)一名計(jì)算機(jī)科學(xué)家，只有極少數(shù)年度有兩名合作者或在同一方向作出貢獻(xiàn)的科學(xué)家共享此獎(jiǎng)。因此它是計(jì)算機(jī)界最負(fù)盛名、最崇高的一個(gè)獎(jiǎng)項(xiàng)，有“計(jì)算機(jī)界的諾貝爾獎(jiǎng)”之稱。從1966年到1999年的34屆圖靈獎(jiǎng)，共計(jì)有40名科學(xué)家獲此殊榮，其中美國學(xué)者最多，此外還有英國、瑞士、荷蘭、以色列等國少數(shù)學(xué)

19、者。就計(jì)算機(jī)科學(xué)技術(shù)而言，確實(shí)也是美國水平最高，貢獻(xiàn)最突出。我們只能這樣評論：每個(gè)圖靈獎(jiǎng)獲得者確實(shí)都是出類拔萃的；但出類拔萃的計(jì)算機(jī)科學(xué)家還有很多由于種種原因而沒有獲得圖靈獎(jiǎng)。截止至2005年，獲此殊榮的華人僅有一位，他是2000年圖靈獎(jiǎng)得主姚期智。2022/8/1424圖靈獎(jiǎng)獲得者2022/8/1425圖靈獎(jiǎng)獲得者（續(xù)）2022/8/1426圖靈獎(jiǎng)獲得者（續(xù)）2022/8/1427圖靈獎(jiǎng)獲得者（續(xù)）2022/8/1428圖靈獎(jiǎng)獲得者（續(xù)）2022/8/1429圖靈獎(jiǎng)獲得者分類(1966-2005)總共獲獎(jiǎng)人數(shù)(1966-2005)：40屆，50人。獲獎(jiǎng)科學(xué)家國籍分布：美國: 36 英國: 5

20、以色列: 3加拿大: 2挪威: 2荷蘭: 1瑞士: 1丹麥: 12022/8/1430圖靈獎(jiǎng)獲得者分類(1966-2005)圖靈獎(jiǎng)獲得者最高學(xué)位分布：博士學(xué)位：39碩士學(xué)位：4學(xué)士學(xué)位：5無法了解: 32022/8/1431圖靈獎(jiǎng)獲得者分類(1966-2005)圖靈獎(jiǎng)獲得者獲獎(jiǎng)時(shí)年齡分布：70-79(4): 70(Ole-Johan Dahl), 72(Douglas Engelbart), 75(Kristen Nygaard), 77(Peter Naur)60-69(7)：61(Vinton Cerf), 62(John Cocke), 63(Alan Kay), 64(Fernando

21、 Corbato), 65(Juris Hartmanis), 68(Frederick P. Brooks), 68(Robert Kahn)50-59(19)：50, 50, 50, 50, 51, 53, 53, 54, 54 (姚期智), 55, 55, 55, 56, 57, 57, 57, 58, 59, 5940-49(15)：40, 42, 42, 42, 42, 43, 44, 44, 44, 45, 46, 47, 48, 49, 4930-39(2)：36(Donald Knuth), 38(Robert E. Tarjan)Unknown(2): Richard E.

22、Stearns, James N. Gray, Frances Allen2022/8/1432圖靈獎(jiǎng)獲得者分類(1966-2005)圖靈獎(jiǎng)獲得者去世人數(shù) (As of 5/19/2006)統(tǒng)計(jì)：122022/8/1433圖靈獎(jiǎng)獲得者分類(1966-2005)獲獎(jiǎng)科學(xué)家研究方向分布：硬件，體系結(jié)構(gòu) (2)Maurice V. Wilkes (1967) - 第一臺(tái)具有內(nèi)部存儲(chǔ)程序的計(jì)算機(jī)EDSAC John Cocke (1987) - RISC & 編譯優(yōu)化 程序設(shè)計(jì)語言(10)Alan J. Perlis (1966) - ALGOL Edsger Wybe Dijkstra (1972)

23、 - ALGOL John W. Backus (1977) - FORTRAN Kenneth Eugene Iverson (1979) - APL程序語言 Niklaus Wirth (1984) - PASCAL John Cocke (1987) - RISC & 編譯優(yōu)化 Ole-Johan Dahl，Kristen Nygaard (2001) - Simula語言和面向?qū)ο蟾拍?Alan Kay(2003) - SmallTalk語言和面向?qū)ο蟪绦蛟O(shè)計(jì) Peter Naur(2005) - ALGOL60以及編譯設(shè)計(jì) Frances Allen(2006) - 編譯優(yōu)化2022

24、/8/1434圖靈獎(jiǎng)獲得者分類(1966-2005)形式語言, 程序語言語義 (4)Robert W. Floyd (1978) - 編程語言語義，自動(dòng)程序驗(yàn)證 C. Antony R. Hoare (1980) - Hoare Logic, CSP Robin Milner (1991) - LCF，ML，CCS，PI-calculus Amir Pnueli (1996) - 時(shí)序邏輯和系統(tǒng)驗(yàn)證2022/8/1435圖靈獎(jiǎng)獲得者分類(1966-2005)算法設(shè)計(jì) (10)Richard Hamming (1968) - 漢明碼 James Hardy Wilkinson (1970) -

25、數(shù)值分析 Donald E. Knuth - Art of Computer Programming John E. Hopcroft，Robert Endre. Tarjan (1986) - 數(shù)據(jù)結(jié)構(gòu)和算法設(shè)計(jì) William (Velvel) Morton Kahan (1989) - 浮點(diǎn)運(yùn)算姚期智(Andrew Chi-Chih Yao) (2000) - 偽隨機(jī)數(shù)復(fù)雜性，密碼系統(tǒng)和通訊復(fù)雜 性 Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) - 公鑰密碼技術(shù) -RSA2022/8/1436圖靈獎(jiǎng)獲得者分類(1966-20

26、05)計(jì)算理論，自動(dòng)機(jī)，計(jì)算復(fù)雜性 (7)Dana Stewart Scott (1976) - 自動(dòng)機(jī) Michael Oser Rabin (1976) - 自動(dòng)機(jī) Stephen Arthur Cook (1982) - NP完全性 Richard Manning Karp (1985) - 證明一個(gè)問題是否是屬于NP完全 Juris Hartmanis，Richard Edwin Stearns (1993) - 計(jì)算復(fù)雜性 Manuel Blum (1995) - 計(jì)算復(fù)雜性，密碼系統(tǒng)和程序檢查驗(yàn)證 2022/8/1437圖靈獎(jiǎng)獲得者分類(1966-2005)人工智能 (6)Marv

27、in Lee Minsky (1969) - 神經(jīng)元網(wǎng)絡(luò) John McCarthy (1971) - LISP Allen Newell，Herbert Simon (1975) - Logic Theory Machine Raj Reddy，Edward Feigenbaum(1994) - 專家系統(tǒng) 2022/8/1438圖靈獎(jiǎng)獲得者分類(1966-2005)操作系統(tǒng) (4)Dennis MacAlistair Ritchie，Ken Thompson (1983) - UNIX Fernando Jose Corbato (1990) - 分時(shí)系統(tǒng) Frederick P. Broo

28、ks(1999) - IBM System360 操作系統(tǒng) 2022/8/1439圖靈獎(jiǎng)獲得者分類(1966-2005)數(shù)據(jù)庫 (3)Charles W. Bachman (1973) - 數(shù)據(jù)庫 Edgar Frank Codd (1981) - 關(guān)系數(shù)據(jù)模型 James Gray(1998) - 數(shù)據(jù)庫和事務(wù)處理 2022/8/1440圖靈獎(jiǎng)獲得者分類(1966-2005)圖形技術(shù)和交互式系統(tǒng) (2)Ivan Edward Sutherland (1988) - 圖形技術(shù)，CAD Douglas Engelbart(1998) - 交互式系統(tǒng)，鼠標(biāo)發(fā)明人 網(wǎng)絡(luò)通訊(2)Vinton Gra

29、y Cerf (2004) - Internet TCP/IP協(xié)議Robert Kahn(2004) - Internet TCP/IP協(xié)議2022/8/14412004年 TCP/IP 的發(fā)明者 文特-瑟夫和羅伯特-卡恩被認(rèn)為是TCP/IP技術(shù)發(fā)明人)發(fā)明了基本的通信協(xié)議TCP/IP技術(shù)，使得全球互聯(lián)網(wǎng)用戶可以發(fā)送電子郵件、收聽在線音樂、發(fā)送即時(shí)信息，WWW技術(shù)和可視會(huì)議技術(shù)也都是在TCP/IP技術(shù)的基礎(chǔ)上研究成功，兩人也因此獲得了2004年度的“圖靈獎(jiǎng)”。 422009年圖靈獎(jiǎng)授予了現(xiàn)代PC之父Charles ThackerCharles P. Thacker（昵稱泰克）是計(jì)算機(jī)先驅(qū)之一。

30、美國工程院院士，美國藝術(shù)與科學(xué)院院士，ACM會(huì)士。目前在微軟工作，是微軟全球十幾位技術(shù)院士之一。除了是一位出色的計(jì)算機(jī)系統(tǒng)設(shè)計(jì)師之外，他也是杰出的研發(fā)管理者。1943年2月26日，他出生于美國加州帕薩迪納。1968年在加州大學(xué)伯克利分校物理系讀書時(shí)，他加入了Genie 項(xiàng)目。這個(gè)項(xiàng)目不久發(fā)展為伯克利計(jì)算機(jī)公司（簡稱BCC），開發(fā)了BCC 500分時(shí)系統(tǒng)。Thacker領(lǐng)導(dǎo)了中心存儲(chǔ)器和微處理器的設(shè)計(jì)。但公司商業(yè)上并不成功。1970年，他和BCC的許多其他核心技術(shù)人員一起，加盟了施樂公司Palo Alto研究中心。在這里，Thacker先后擔(dān)任MAXC時(shí)分操作系統(tǒng)的項(xiàng)目負(fù)責(zé)人，Alto個(gè)人計(jì)算系統(tǒng)的首席設(shè)計(jì)師等職務(wù)。主持或者參與了Alto、以太網(wǎng)、激光打印機(jī)等的設(shè)計(jì)與開發(fā)。以表彰他對第一臺(tái)現(xiàn)代個(gè)人計(jì)算機(jī)Xerox PARC Alto的先驅(qū)性設(shè)計(jì)與實(shí)現(xiàn)，還有在局域網(wǎng)（包括以太網(wǎng)）、多處理器工作站、窺探高速緩存一致性協(xié)議和平板PC等方面的重大發(fā)明和貢獻(xiàn)432002年：Ronald L. Rivest/ Adi Sha