人工智慧的基礎由誰奠定
1. 人工智慧的奠基人有哪幾個
圖靈獎,是美國計算機協會（ACM）於1966年設立的,又叫「A.M. 圖靈獎」,專門獎勵那些對計算機事業作出重要貢獻的個人.其名稱取自計算機科學的先驅、英國科學家阿蘭·圖靈,這個獎設立目的之一是紀念這位科學家.獲獎者的貢獻必須是在計算機領域具有持久而重大的技術先進性的.大多數獲獎者是計算機科學家.
圖靈獎是計算機界最負盛名的獎項,有「計算機界諾貝爾獎」之稱.圖靈獎對獲獎者的要求極高,評獎程序也極嚴,一般每年只獎勵一名計算機科學家,只有極少數年度有兩名以上在同一方向上做出貢獻的科學家同時獲獎.目前圖靈獎由英特爾公司贊助,獎金為100,000美元.
每年,美國計算機協會將要求提名人推薦本年度的圖靈獎候選人,並附加一份200到500字的文章,說明被提名者為什麼應獲此獎.任何人都可成為提名人.美國計算機協會將組成評選委員會對被提名者進行嚴格的評審,並最終確定當年的獲獎者.
截止至2005年,獲此殊榮的華人僅有一位,他是2000年圖靈獎得主姚期智.
編輯本段歷年圖靈獎獲得者
2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis
獲獎原因：在將模型檢查發展為被硬體和軟體業中所廣泛點贊的高效驗證技術上的貢獻.而DDJ則將三人的貢獻稱為「在發現計算機硬體和軟體中設計錯誤的自動化方法方面的工作」.
2006 Fran Allen
獲獎原因：對於優化編譯器技術的理論和實踐做出的先驅性貢獻,這些技術為現代優化編譯器和自動並行執行打下了基礎.
2005 Peter Naur
獲獎原因：由於在設計Algol60程序設計語言上的貢獻.Algol60語言定義清晰,是許多現代程序設計語言的原型.
2004 Vinton G. Cerf、Robert E. Kahn
獲獎原因：由於在互聯網方面開創性的工作,這包括設計和實現了互聯網的基礎通訊協議,TCP/IP,以及在網路方面卓越的領導.
2003 Alan Kay
獲獎原因：由於在面向對象語言方面原創性思想,領導了Smalltalk的開發團隊,以及對PC的基礎性貢獻.
至理名言：預測未來的最好方法是創造它.
2002 Ronald L. Rivest、Adi Shamir、Leonard M. Adleman
獲獎原因：由於在公共密鑰理論和實踐方面的基礎性工作.
2001 Ole-Johan Dahl、Kristen Nygaard
獲獎原因：由於面向對象編程始發於他們基礎性的構想,這些構想集中體現在他們所設計的編程語言SIMULA I 和SIMULA 67中.
2000 Andrew Chi-Chih Yao(姚期智)
獲獎原因：由於在計算理論方面的貢獻而獲獎,包括偽隨機數的生成演算法、加密演算法和通訊復雜性.
1999 Frederick P. Brooks, Jr.
獲獎原因：由於在計算機體系架構、操作系統以及軟體工程方面所做出的具有里程碑式意義的貢獻.人月神話的作者.
1998 James Gray
獲獎原因：由於在資料庫、事務處理研究和相關系統實現的技術領導工作.
1997 Douglas Engelbart
獲獎原因：由於提出了激動人心的互動式計算機未來構想,以及發明了實現這一構想的關鍵技術.
1996 Amir Pnueli
獲獎原因：由於在計算科學中引入temporal邏輯以及對編程和系統認證方面的傑出貢獻.
1995 Manuel Blum
獲獎原因：由於在計算復雜性理論、密碼學以及程序校驗方面的基礎性貢獻.
1994 Edward Feigenbaum、Raj Reddy
獲獎原因：由於他們所設計和建造的大規模人工智慧系統,證明了人工智慧技術的重要性和其潛在的商業價值.
1993 Juris Hartmanis、Richard E. Stearns
獲獎原因：由於他們的論文奠定了計算復雜性理論的基礎.
1992 Butler W. Lampson
獲獎原因：由於在個人分布式計算機系統及其實現技術上的貢獻,這包括：工作站、網路、操作系統、編程系統、顯示、安全和文檔發布.
1991 Robin Milner
獲獎原因：由於在可計算函數邏輯(LCF)、ML和並行理論(CCS)這三個方面突出和完美的貢獻.
1990 Fernando J. Corbato'
獲獎原因：由於組織和領導了多功能、大規模、時間和資源共享的計算機系統的開發.
1989 William (Velvel) Kahan
獲獎原因：由於在數值分析方面的基礎性貢獻.
1988 Ivan Sutherland
獲獎原因：由於在計算機圖形學方面開創性和遠見性的貢獻,其所建立的技術歷經二、三十年依然有效.
1987 John Cocke
獲獎原因：由於在編譯器設計和理論、大規模系統架構以及開發RISC等方面的重要貢獻.
1986 John Hopcroft、Robert Tarjan
獲獎原因：由於在演算法及數據結構設計和分析方面的基礎性成就.
1985 Richard M. Karp
獲獎原因：由於在演算法理論方面,特別是NP-completeness理論方面,連續不斷的貢獻.
1984 Niklaus Wirth
獲獎原因：由於開發了EULER、 ALGOL-W、 MODULA和PASCAL一系列嶄新的計算語言.
1983 Ken Thompson、Dennis M. Ritchie
獲獎原因：由於在通用操作系統理論研究,特別是UNIX操作系統的實現上的貢獻.
1982 Stephen A. Cook
獲獎原因：由於其於1971年發表的論文,奠定了NP-Completeness理論的基礎.
1981 Edgar F. Codd
獲獎原因：由於在數椐庫管理系統的理論和實踐方面基礎性和連續不斷的貢獻,關系資料庫之父.
1980 C. Antony R. Hoare
獲獎原因：由於在編程語言的定義和設計方面的基礎性貢獻.
1979 Kenneth E. Iverson
獲獎原因：由於在編程語言的理論和實踐方面,特別是APL,所進行的開創性的工作.
1978 Robert W. Floyd
獲獎原因：由於在如何開發高效、可靠的軟體方法論方面的貢獻,這包括：建立分析理論、編程語言的語義學、自動程序檢驗、自動程序綜合和演算法分析在內的多項
計算機子學科.
1977 John Backus
獲獎原因：由於在高級語言方面所做出的具有廣泛和深遠意義的貢獻,特別是其在Fortran語言方面.
1976 Michael O. Rabin、Dana S. Scott
獲獎原因：由於他們的論文"有限自動機與它們的決策問題",被證明具有巨大的價值.
1975 Allen Newell、Herbert A. Simon
獲獎原因：由於在人工智慧、人類識別心理和表處理的基礎貢獻.
1974 Donald E. Knuth
獲獎原因：由於在演算法分析和程序語言設計方面的重要貢獻,計算機程序設計藝術的作者.
1973 Charles W. Bachman
獲獎原因：由於在資料庫方面的傑出貢獻.
1972 E.W. Dijkstra
獲獎原因：由於對開發ALGOL做出了原理性貢獻.
1971 John McCarthy
獲獎原因：由於其講稿"The Present State of Research on Artificial
Intellegence",對人工智慧領域的貢獻.
1970 J.H. Wilkinson
獲獎原因：由於其在數值分析方面的研究工作.
1969 Marvin Minsky
獲獎原因：人工智慧理論及軟體
1968 Richard Hamming
獲獎原因：由於其在計數方法、自動編碼系統、檢測及糾正錯碼方面的工作.
1967 Maurice V. Wilkes
獲獎原因：由於設計和製造了第一台內部存儲程序的計算機EDSAC.
1966 A.J. Perlis
獲獎原因：由於其在先進編程技術和編譯架構方面的貢獻.
2. "人工智慧"這一術語首先由誰提出的
AI(Artificial Intelligence，人工智慧) 。「人工智慧」一詞最初是在1956 年Dartmouth學會上提出的。
3. 人工智慧的第一批先驅者是哪些人
控制論的創復始人維納等人制，資訊理論的奠基人申農，神經控制論的創始人麥克卡洛和匹茨，以及博養論的創始人，被稱為「計算機之父」的馮·諾依曼，還有阿什比等都是人工智慧的第一批先驅者，他們的理論和工作為人工智慧的創立奠定了基礎。
4. 人工智慧最早1950年由誰提出
1956年夏季，以麥卡賽、明斯基、羅切斯特和申農等為首的一批有遠見卓識的年回輕科學家在一起聚會，共答同研究和探討用機器模擬智能的一系列有關問題，並首次提出了「人工智慧」這一術語，它標志著「人工智慧」這門新興學科的正式誕生。IBM公司「深藍」電腦擊敗了人類的世界國際象棋冠軍更是人工智慧技術的一個完美表現。
5. 計算機之父和人工智慧之父分別是誰
計算機之父馮·諾依曼，人工智慧之父馬文·明斯基。
馮·諾依曼，原籍匈牙利，布達佩斯大學數學博士。20世紀最重要的數學家之一，在現代計算機、博弈論、核武器和生化武器等領域內的科學全才之一，被後人稱為「計算機之父」和「博弈論之父」。
馬文·明斯基是「人工智慧之父」和框架理論的創立者。和麥卡錫一起在1956年發起「達特茅斯會議」並提出人工智慧概念的計算機科學家馬文·明斯基被授予了1969年度圖靈獎，是第一位獲此殊榮的人工智慧學者。
(5)人工智慧的基礎由誰奠定擴展閱讀：
馮·諾伊曼是二十世紀最重要的數學家之一，在純粹數學和應用數學方面都有傑出的貢獻。他的工作大致可以分為兩個時期：
1940年以前，主要是純粹數學的研究：在數理邏輯方面提出簡單而明確的序數理論，並對集合論進行新的公理化，其中明確區別集合與類。
其後，他研究希爾伯特空間上線性自伴運算元譜理論，從而為量子力學打下數學基礎；1930年起，他證明平均遍歷定理開拓了遍歷理論的新領域。
1933年，他運用緊致群解決了希爾伯特第五問題。此外，他還在測度論、格論和連續幾何學方面也有開創性的貢獻；從1936～1943年，他和默里合作，創造了運算元環理論，即所謂的馮·諾伊曼代數。
二次世界大戰以前，圖靈正是在這里開始研究機器是否可以思考這個問題的，明斯基也在這里開始研究同一問題。1951年他提出了關於思維如何萌發並形成的一些基本理論，並建造了一台學習機，名為Snare。
Snare是世界上第一個神經網路模擬器，其目的是學習如何穿過迷宮，其組成中包括40個「代理」（agent，國內資料也有把它譯為「主體」、「智能體」的）和一個對成功給予獎勵的系統。
6. 計算機「人工智慧之父」是誰
圖靈
阿蘭·麥席森·圖靈（Alan Mathison Turing，1912.6.23—1954.6.7），英國數學家、邏輯學家，被稱為人工智慧之父。 1931年圖靈進入劍橋大學國王學院，畢業後到美國普林斯頓大學攻讀博士學位，二戰爆發後回到劍橋，後曾協助軍方破解德國的著名密碼系統Enigma，幫助盟軍取得了二戰的勝利。
阿蘭·麥席森·圖靈，1912年生於英國倫敦，1954年死於英國的曼徹斯特，他是計算機邏輯的奠基者，許多人工智慧的重要方法也源自於這位偉大的科學家。他對計算機的重要貢獻在於他提出的有限狀態自動機也就是圖靈機的概念，對於人工智慧，它提出了重要的衡量標准「圖靈測試」，如果有機器能夠通過圖靈測試，那他就是一個完全意義上的智能機，和人沒有區別了。他傑出的貢獻使他成為計算機界的第一人，現在人們為了紀念這位偉大的科學家將計算機界的最高獎定名為「圖靈獎」。上中學時，他在科學方面的才能就已經顯示出來，這種才能僅僅限於非文科的學科上，他的導師希望這位聰明的孩子也能夠在歷史和文學上有所成就，但是都沒有太大的建樹。少年圖靈感興趣的是數學等學科。在加拿大他開始了他的職業數學生涯，在大學期間這位學生似乎對前人現成的理論並不感興趣，什麼東西都要自己來一次。大學畢業後，他前往美國普林斯頓大學也正是在那裡，他製造出了以後稱之為圖靈機的東西。圖靈機被公認為現代計算機的原型，這台機器可以讀入一系列的零和一，這些數字代表了解決某一問題所需要的步驟，按這個步驟走下去，就可以解決某一特定的問題。這種觀念在當時是具有革命性意義的，因為即使在50年代的時候，大部分的計算機還只能解決某一特定問題，不是通用的，而圖靈機從理論上卻是通用機。在圖靈看來，這台機器只用保留一些最簡單的指令，一個復雜的工作只用把它分解為這幾個最簡單的操作就可以實現了，在當時他能夠具有這樣的思想確實是很了不起的。他相信有一個演算法可以解決大部分問題，而困難的部分則是如何確定最簡單的指令集，怎麼樣的指令集才是最少的，而且又能頂用，還有一個難點是如何將復雜問題分解為這些指令的問題。
1936年，圖靈向倫敦權威的數學雜志投了一篇論文，題為「論數字計算在決斷難題中的應用」。在這篇開創性的論文中，圖靈給「可計算性」下了一個嚴格的數學定義，並提出著名的「圖靈機」(Turing Machine)的設想。「圖靈機」不是一種具體的機器，而是一種思想模型，可製造一種十分簡單但運算能力極強的計算裝置，用來計算所有能想像得到的可計算函數。「圖靈機」與「馮·諾伊曼機」齊名，被永遠載入計算機的發展史中。1950年10月，圖靈又發表了另一篇題為「機器能思考嗎」的論文，成為劃時代之作。也正是這篇文章，為圖靈贏得了「人工智慧之父」的桂冠。
【英文簡述】
Alan Mathison Turing, OBE (23 June 1912 – 7 June 1954) was an English mathematician, logician, and cryptographer.
Turing is often considered to be the father of modern computer science. Turing provided an influential formalisation of the concept of the algorithm and computation with the Turing machine, formulating the now widely accepted "Turing" version of the Church–Turing thesis, namely that any practical computing model has either the equivalent or a subset of the capabilities of a Turing machine. With the Turing test, he made a significant and characteristically provocative contribution to the debate regarding artificial intelligence: whether it will ever be possible to say that a machine is conscious and can think. He later worked at the National Physical Laboratory, creating one of the first designs for a stored-program computer, although it was never actually built. In 1948 he moved to the University of Manchester to work, largely on software, on the Manchester Mark I, then emerging as one of the world's earliest true computers.
During the Second World War Turing worked at Bletchley Park, Britain's codebreaking centre, and was for a time head of Hut 8, the section responsible for German naval cryptanalysis. He devised a number of techniques for breaking German ciphers, including the method of the bombe, an electromechanical machine that could find settings for the Enigma machine.
In 1952, Turing was convicted of "acts of gross indecency" after admitting to a sexual relationship with a man in Manchester. He was placed on probation and required to undergo hormone therapy. Turing died after eating an apple laced with cyanide in 1954. His death was ruled a suicide.
【生平】
◆故事從謎開始
英國現代計算機的起步是從德國的密碼電報機——Enigma(謎)開始的，而解開這個謎的不是別人，正是阿蘭·圖靈，一個在計算機界響當當的人物，可與美國的馮·諾依曼相媲美的電腦天才。在他短暫的生涯中，圖靈在量子力學、數理邏輯、生物學、化學方面都有深入的研究，在晚年還開創了一門新學科—— 非線性力學。
圖靈英年早逝。在他42年的人生歷程中，他的創造力是豐富多彩的，他是天才的數學家和計算機理論專家。24歲提出圖靈機理論，31歲參與COLOSSUS的研製，33歲設想模擬系統，35歲提出自動程序設計概念，38歲設計「圖靈測驗」。這一朵朵靈感浪花無不閃耀著他在計算機發展史上的預見性。特別是在60年代後當然，圖靈最高的成就還是在電腦和人工智慧方面，他是這一領域開天闢地的大師。為表彰他的貢獻，專門設有一個一年一度的「圖靈獎」，頒發給最優秀的電腦科學家。這枚獎章就像「諾貝爾獎」一樣，為計算機界的獲獎者帶來至高無上的榮譽。而阿蘭·圖靈本人，更被人們推崇為人工智慧之父，在計算機業十倍速變化的歷史畫卷中永遠佔有一席之地。他的驚世才華和盛年夭折，也給他的個人生活塗上了謎一樣的傳奇色彩。
◆神童圖靈
圖靈1912年6月23日出生於英國倫敦。其祖父曾獲得劍橋大學數學榮譽學位，但他父親的數學才能平平。因此，圖靈的家庭教育，對他以後在數學及計算機方面的成就並沒有多少幫助。小時候的圖靈生性活潑好動，很早就表現出對科學的探索精神。據他母親回憶，3歲時，小圖靈就進行了他的首次實驗，嘗試把一個玩具木頭人的小胳膊、小腿掰下來栽到花園里，等待長出更多的木頭人。到了8歲，他更開始嘗試寫一部科學著作，題目為《關於一種顯微鏡》。在這部很短的書中，天才兒童圖靈拼錯了很多單詞，句法也有些問題，但寫得還能讓人看懂，很像那麼一回事兒。在書的開頭和結尾，他都用同一句話「首先你必須知道光是直的」作前後呼應， 但中間的內容卻很短，短得破了科學著作的記錄。圖靈曾說 ：「我似乎總想從最普通的東西中弄出些名堂。」就連和小朋友們玩足球，他也能放棄當前鋒進球這樣出風頭的事，只喜歡在場外巡邊，因為這樣能有機會去計算球飛出邊界的角度。他的老師認為 ：「圖靈的頭腦思維可以像袋鼠一樣進行跳躍。」圖靈是個天才。他16歲就開始研究愛因斯坦的相對論。1931年，圖靈考入劍橋大學國王學院，開始他的數學生涯，研究量子力學、概率論和邏輯學。在校期間，圖靈還是現代語言哲學大師維特根斯坦班上最出色的學生。他對由劍橋大學的羅素和懷特海創立的數理邏輯很感興趣。數理邏輯的創建，主要源於古希臘克里特島上有個叫愛皮梅尼特的「智者」，他說 ：「所有的克里特島人都說謊」。我們可以把它簡化為：「我說的這句話是假話」。這就出現一種兩面都無法自圓的怪圈：如果他沒有說謊，那他這句話是錯的，他是在說謊；如果他真的在說謊，那他說自己在說謊是對的，所以他又沒有說謊。羅素和懷特海把它從邏輯、集合論以及數論中驅逐出去，最後又想盡辦法歸入《數學原理》之中。
圖靈一上大學，就迷上了《數學原理》。在1931年，著名的「哥德爾定理」出現後(該定理認為沒有一種公理系統可以導出數論中所有的真實命題，除非這種系統本身就有悖論)，天才的圖靈在數理邏輯大本營的劍橋大學提出一個設想：能否有這樣一台機器，通過某種一般的機械步驟，能在原則上一個接一個地解決所有的數學問題。大學畢業後，圖靈去美國普林斯頓大學攻讀博士學位，還順手發明過一個解碼器。在那裡，他遇見了馮·諾依曼，後者對他的論文擊節贊賞，並隨後由此提出了「存儲程序」概念。圖靈學成後又回到他的母校任教。在短短的時間里，圖靈就發表了幾篇很有份量的數學論文，為他贏得了很大的聲譽。
◆怪才圖靈
在劍橋，圖靈可稱得上是一個怪才，一舉一動常常出人意料。他是個單身漢和長跑運動員。在他的同事和學生中間，這位衣著隨便、不打領帶的著名教授，不善言辭，有些木訥、害羞，常咬指甲，但他更多地以自己傑出的才智贏得了人們的敬意。圖靈每天騎自行車上班，因為患過敏性鼻炎，一遇到花粉，就會鼻涕不止，大打噴嚏。於是，他就常常在上班途中戴防毒面具，招搖過市，這早已成為劍橋的一大奇觀。圖靈的自行車經常半路掉鏈子，但他就是不肯去車鋪修理。每次騎車時，他總是嘴裡念念有詞，在心裡細細計算，這鏈條也怪，總是轉到一定的圈數就滑落了，而圖靈竟然能夠做到在鏈條下滑前一剎那停車，讓旁觀者佩服不已，以為圖靈在玩雜技。後來圖靈又居然在腳踏車旁裝了一個小巧的機械記數器，到圈數時就停，歇口氣換換腦子，再重新運動起來。
1936年，圖靈向倫敦權威的數學雜志投了一篇論文，題為《論數字計算在決斷難題中的應用》。在這篇開創性的論文中，圖靈給「可計算性」下了一個嚴格的數學定義，並提出著名的「圖靈機」(Turing Machine)的設想。「圖靈機」不是一種具體的機器，而是一種思想模型，可製造一種十分簡單但運算能力極強的計算機裝置，用來計算所有能想像得到的可計算函數。裝置由一個控制器和一根假設兩端無界的工作帶(起存儲器的作用)組成。工作帶被劃分為大小相同的方格，每一格上可書寫一個給定字母表上的符號。控制器可以在帶上左右移動，它帶有一個讀寫出一個你期待的結果。外行人看了會墜入雲里霧里，而內行人則稱它是「闡明現代電腦原理的開山之作」，並冠以「理想計算機」的名稱。這篇論文在紙上談了一把兵，創造出一個「圖靈機」來。但現代通用電腦確實是用相應的程序來完成任何設定好的任務。這一理論奠定了整個現代計算機的理論基礎。「圖靈機」更在電腦史上與「馮·諾依曼機」齊名，被永遠載入計算機的發展史中。
圖靈機理論不僅解決了純數學基礎理論問題，一個巨大的「意外」收獲則是，理論上證明了研製通用數字計算機的可行性。雖然早在100年前的1834年，巴貝奇(Chark Babbage，1792～1871)就設計製造了「分析機」以說明具體的數字計算，但他的失敗之處是沒能證明「必然可行」。圖靈機理論不僅證明了研製「通用機」的可行性，而且比世界上第一台由德國人朱斯(K·Zuze)於1941年製造的通用程序控制計算機Z-3整整早5年。這不得不使人驚嘆這一理論的深刻意義。
◆謎語圖靈
正當圖靈的理論研究工作進一步深入時，戰爭爆發了。他被派往布雷契萊庄園承擔「超級機密」研究。當時的布雷契萊庄園是一所「政府密碼學校」，即戰時的英國情報破譯中心。在這座幽靜的維多利亞式建築里，表面上鳥語花香、人跡罕見，其實每天都有12000多名志願者在這里夜以繼日地工作，截獲、整理、破譯德國的軍事情報，有些結果甚至直達丘吉爾首相本人手中。在這里，圖靈被人們稱為「教授」，沒有人知道他的真名。當時德國有一個名為「Enigma」（謎）的通信密碼機，破譯高手們絞盡腦汁也難以破解。這個難題交到了圖靈手中，他率領著大約200多名精幹人員進行密碼分析，其中甚至還包括象棋冠軍亞歷山大。分析和計算工作非常復雜，26個字母在「Enigma」機中能替代8萬億個謎文字母。如果改動接線，變化會超過2.5千萬億億。最後多虧波蘭同行們提供了一台真正的「Enigma」，圖靈才憑借著他的天才設想設計出一種破譯機。這台機器主要由繼電器構成，還用了80個電子管，由光電閱讀器直接讀入密碼，每秒可讀字元2000個，運行起來咔嚓咔嚓直響。它被圖靈戲稱為「羅賓遜」，至今沒人能搞懂圖靈究竟如何指揮它工作。但"羅賓遜"的確神通廣大，在它的密報下，德國飛機一再落入圈套，死無葬身之地。
1945年，圖靈帶著大英帝國授予的榮譽勛章，來到英國國家物理研究所擔任高級研究員。兩年後，圖靈寫了一份內部報告，提出了"自動程序"的概念，但由於英國政府嚴密、死板的保密法令，這份報告一直不見天日。1969年，美國的瓦丁格(Woldingger)發表了同樣成果，英國才連忙亮出壓在箱底的寶貝，終於在1970年給圖靈的報告「解密」。圖靈的這份報告後來收入愛丁堡大學編的《機器智能》論文集中。由於有了布雷契萊的經驗，圖靈提交了一份「自動計算機」的設計方案，領導一批優秀的電子工程師，著手製造一種名叫ACE的新型電腦。它大約用了800 個電子管，成本約為4萬英鎊。1950年，ACE電腦就橫空出世，開始公開露面，為感興趣的人們玩一些「小把戲」，贏得陣陣喝彩。圖靈在介紹ACE的內存裝置時說：「它可以很容易把一本書的10頁內容記住。」顯然，ACE是當時世界上最快、最強勁的電子計算機之一。
1946年，在紐曼博士的動議下，皇家學會成立電腦實驗室。紐曼博士是皇家學會會員，又是當年破譯小組的成員，正是他對「赫斯·魯賓遜」的製造起了關鍵作用。皇家學會的這一新實驗室不在倫敦，而是設在曼徹斯特大學，由紐曼博士牽頭負責。1946年7月，研製基金到位，紐曼博士開始招募人選。阿蘭·圖靈也在次年9月加盟電腦實驗室。一時間，曼徹斯特大學群英會萃。實驗室設在一幢維多利亞時代的老房子里，條件十分簡陋，但因圖靈他們的到來，也算是蓬蓽生輝了。在1948年6月，這里造出了一台小的模型機，大家都愛叫它「嬰兒」(Baby)。這台模型機用陰極射線管來解決存儲問題，能存儲32個字，每一字有32位字長。這是第一台能完全執行存儲程序的電子計算機的模型。
◆大師圖靈
到了1949年10月，各項改進工作都已展開，夾在兩層存儲器之間的自動控制系統已正常運轉，並能在程序的控制下，實現磁鼓和陰極射線管存儲單元間信息交互。圖靈設計出一些協同電路來做輸入和輸出的外設。有關電動打字設備也是圖靈通過老關系從他戰時供職的外交部通信部門弄過來的，其中甚至包括一個戰後從德國人那裡收繳來的穿孔紙帶鍵盤。這樣，整個模型機已大功告成。在整個試驗階段，大家忙上忙下。1949年底，模型機交付給曼徹斯特當地的一家叫弗蘭尼蒂(Ferranti)的電子公司，開始正式建造。1951年2月完工，通稱「邁可1型」。它有4000個電子管，72000個電阻器，2500個電容器，能在0.1秒內開平方根、求對數和三角函數的運算。比起先前的模型機，「邁可1型」功能更為齊全，靜電存儲器的內存容量已翻倍，能存256個40位字長字，分別存在8個陰極射線管中，而磁鼓的容量能擴容到16384個字，真是一項了不起的工程。
與馮·諾依曼同時代的富蘭克爾(Frankel，馮氏同事)在回憶中說：馮·諾依曼沒有說過"存儲程序"型計算機的概念是他的發明，卻不止一次地說過，圖靈是現代計算機設計思想的創始人。當有人將"電子計算機之父"的頭銜戴在馮·諾依曼頭上時，他謙遜地說，真正的計算機之父應該是圖靈。當然，馮·諾依曼問之無愧，而圖靈也有「人工智慧之父」的桂冠。他倆是計算機歷史浩瀚星空中相互映照的兩顆巨星。
早在1945年，圖靈就提出「模擬系統」的思想，並有一份詳細的報告，想建造一台沒有固定指令系統的電腦。它能夠模擬其他不同指令系統的電腦的功能， 但這份報告直到1972年才公布。這說明圖靈在二戰結束後就開始了後來被稱 為「人工智慧」領域的探索，他開始關注人的神經網路和電腦計算之間的關聯。
1950年，圖靈又來到曼徹斯特大學任教，同時還擔任該大學自動計算機項目的負責人。就在這一年的十月，他又發表了另一篇題為《機器能思考嗎？》的論文，成為劃時代之作。也正是這篇文章，為圖靈贏得了一頂桂冠——「人工智慧之父」。在這篇論文里，圖靈第一次提出「機器思維」的概念。他逐條反駁了機器不能思維的論調，做出了肯定的回答。他還對智能問題從行為主義的角度給出了定義，由此提出一假想：即一個人在不接觸對方的情況下，通過一種特殊的方式，和對方進行一系列的問答，如果在相當長時間內，他無法根據這些問題判斷對方是人還是計算機，那麼，就可以認為這個計算機具有同人相當的智力，即這台計算機是能思維的。這就是著名的「圖靈測試」(Turing Testing)。當時全世界只有幾台電腦，根本無法通過這一測試。但圖靈預言，在本世紀末，一定會有電腦通過「圖靈測試」。終於他的預言在IBM的「深藍」身上得到徹底實現。當然，卡斯帕羅夫和「深藍」之間不是猜謎式的泛泛而談，而是你輸我贏的彼此較量。
◆故事以謎結束
1951年，圖靈以他傑出的貢獻被當選為英國皇家學會會員。就在他事業步入輝煌之際，災難降臨了。1952年，圖靈遭到警方拘捕，原因是他是一個同性戀者。與其他一些智慧超群的人物一樣，圖靈在個人生活方式上也「與眾不同」。當時，人們對同性戀還沒有像現在這樣寬容，而是把這種行為當作一樁傷風敗俗的罪孽。事情的敗露是這樣的，當時有一位叫瓊·克拉克(Joan Clarke)的姑娘愛上了圖靈，圖靈也對對方很有好感，並向對方求婚，瓊欣然接受。但不久，圖靈自己退縮了，告訴瓊，他是同性戀者。在1948年，圖靈就由於同性戀傾向，離開了當時屬於高度保密的英國國家物理實驗室(NPL)。但也有人說，圖靈是被英國軍事情報部門「開除」出去的，對於這位天才的離去，許多人悵惜不已。
1952年3月31日，圖靈更因為和曼徹斯特當地一位青年有染，被警方逮捕。在法庭上，圖靈既不否認，也不為自己辨解。在庄嚴的法庭上，他鄭重其事地告訴人們：他的行為沒有錯，結果被判有罪。在入獄和治療兩者中間，圖靈選擇了注射激素，來治療所謂的「性慾倒錯」。此後圖靈開始研究生物學、化學，還和一位心理醫生有很深的交往。那時，他的脾氣已變得躁怒不安，性格更為陰沉怪僻。1953年3月，他因為接待過一位被英國警方注意的挪威客人，成為警方的目標，甚至去希臘度假時也被跟蹤。
1954年6月8日，圖靈42歲，正逢進入他生命中最輝煌的創造頂峰。一天早晨，女管家走進他的卧室，發現台燈還亮著，床頭上還有個蘋果，只咬了一小半，圖靈沉睡在床上，一切都和往常一樣。但這一次，圖靈是永遠地睡著了，不會再醒來……經過解剖，法醫斷定是劇毒氰化物致死，那個蘋果是在氰化物溶液中浸泡過的。圖靈的母親則說他是在做化學實驗時，不小心沾上的，她的"艾倫"從小就有咬指甲的習慣。但外界的說法是服毒自殺，一代天才就這樣走完了人生。
今天，蘋果電腦公司以那個咬了一口的蘋果作為其商標圖案，就是為紀念這位偉大的人工智慧領域的先驅者——圖靈。
【大事年表】
1912年6月23日，出生於英國倫敦。
1931年-1934年，在英國劍橋大學國王學院（King's College）學習。
1932年-1935年，主要研究量子力學、概率論和邏輯學。
1935年，年僅23歲的圖靈，被選為劍橋大學國王學院院士。
1936年，主要研究可計算理論，並提出「圖靈機」的構想。
1936年-1938年，主要在美國普林斯頓大學做博士研究，涉及邏輯學、代數和數論等領域。
1938-1939年，返回劍橋從事研究工作，並應邀加入英國政府破譯二戰德軍密碼的工作。
1940年-1942年，作為主要參與者和貢獻者之一，在破譯納粹德國通訊密碼的工作上成就傑出，並成功破譯了德軍U-潛艇密碼，為扭轉二戰盟軍的大西洋戰場戰局立下汗馬功勞。
1943年-1945年，擔任英美密碼破譯部門的總顧問。
1945年，應邀在英國國家物理實驗室從事計算機理論研究工作。
1946年，這個時候，圖靈在計算機和程序設計原始理論上的構思和成果，已經確定了他的理論開創者的地位。由於圖靈的傑出貢獻，年輕的他被英國皇室授予OBE爵士勛銜。
1947年-1948年，主要從事計算機程序理論的研究，並同時在神經網路和人工智慧領域做出開創性的理論研究。
1948年，應邀加入英國曼徹斯特大學從事研究工作，擔任曼徹斯特大學計算實驗室副主任。
1949年，成為世界上第一位把計算機實際用於數學研究的科學家。
1950年，發表論文「計算機器與智能」，為後來的人工智慧科學提供了開創性的構思。提出著名的「圖靈測試」理論。
1951年，從事生物的非線性理論研究。年僅39歲的圖林，被選為英國皇家學會會員。
1952年，在當年保守愚昧和冷戰的時代，當警察得知圖靈與同性朋友密切交往的消息之後，同性戀傾向的圖靈被逮捕入獄。在法庭審判過程中，圖靈明確告知人們，他認為自己沒有做錯什麼事。在那個觀念落後的年代，為了避免被判刑入獄，圖靈被迫選擇了為期一年的雌性激素注射的所謂「治療」，才得以重新返回研究工作。
1953年-1954年，繼續在生物和物理學等方面的研究。被迫承受的對同性戀傾向的「治療」，致使原本熱愛體育運動的圖靈在身心上受到極大的傷害。
1954年6月7日，圖靈被發現死於家中的床上。死因是氰化物中毒，警方調查結論是自殺。一代英靈，就此過早離去，成為人類科學史上的一大遺憾。
7. 計算機之父和人工智慧之父分別是誰
計算機之父馮•諾依曼，人工智慧之父艾倫•圖靈。但圖靈是計算機理論提出者，馮是將圖靈的理論變為現實
8. 請問，為計算機的邏輯運算奠定基礎的科學家是誰謝謝
答案：為計算機的邏輯運算奠定基礎的科學家是圖靈
阿蘭·麥席森·圖靈 （1912年6月23日-1954年6月7日），英國著名的數學家和邏輯學家，被稱為計算機科學之父、人工智慧之父，是計算機邏輯的奠基者，提出了「圖靈機」和「圖靈測試」等重要概念。曾協助英國軍方破解德國的著名密碼系統「謎」(Enigma)，幫助盟軍取得了二戰的勝利。人們為紀念其在計算機領域的卓越貢獻而設立「圖靈獎」。
9. 奠定了人工智慧的理論基礎是圖靈的什麼_
奠定了人工智慧的是理論基礎是圖靈測試
但奠定了可計算理論的基礎是圖靈的「圖靈機」理論模型