他是英國數學家、邏輯學家,被稱為計算機科學之父,人工智能之父。
1931年圖靈進入劍橋大學國王學院,畢業後到美國普林斯頓大學攻讀博士學位,第二次世界大戰爆發後回到劍橋,後曾協助軍方破解德國的著名密碼系統Enigma,幫助盟軍取得了二戰的勝利。
1952年,英國政府對圖靈的同性戀取向定罪,隨後圖靈接受化學閹割(雌激素註射)。1954年6月7日,圖靈吃下含有氰化物的蘋果中毒身亡,享年41歲。2013年12月24日,在英國司法大臣克裏斯·格雷靈的要求下,英國女王伊麗莎白二世向圖靈頒發了皇家赦免。
圖靈對於人工智能的發展有諸多貢獻,提出了壹種用於判定機器是否具有智能的試驗方法,即圖靈試驗,至今,每年都有試驗的比賽。此外,圖靈提出的著名的圖靈機模型為現代計算機的邏輯工作方式奠定了基礎。
由於圖靈對計算機科學、人工智能方面做出的傑出貢獻,特此美國計算機協會(ACM)於1966年設立了圖靈獎,專門獎勵那些對計算機事業作出重要貢獻的個人。 其名稱就取自計算機科學的先驅、英國科學家艾倫·麥席森·圖靈(Alan M. Turing)。
艾倫·麥席森·圖靈從小就表現出極強的創造能力和對數學的癡迷。
年僅14歲的圖靈就考入了倫敦有名的謝伯恩(Sherborne)公學去學習 ,在良好的中等教育條件下又表現出了對自然科學有著極大興趣和敏銳的數學頭腦。
15歲的時候為了幫助母親理解愛因斯坦的相對論,寫了愛因斯坦的壹部著作的內容提要,表現出他已具備非同凡響的數學水平和科學理解力。
由於圖靈對自然科學極大的興趣,促使他在1930年和1931年兩次獲得他的壹位同學(莫科姆)的父母設立的自然科學獎,獲獎工作中有壹篇論文題為“亞硫酸鹽和鹵化物在酸性溶液中的反應”,受到政府派來的督學的贊賞,對自然科學的興趣為他後來的壹些研究奠定了基礎,他的數學能力使他在念中學時獲得過國王愛德華六世數學金盾獎章。
於是在1931年,圖靈考入了劍橋大學國王學院,由於成績優異而獲得數學獎學金。在劍橋,他的數學能力得到充分的發展。
在1935年的時候,他的第壹篇數學論文“左右殆周期性的等價”發表於《倫敦數學會雜誌》上。同壹年,他還寫出“論高斯誤差函數”壹文。這壹論文使他由壹名大學生直接當選為國王學院的研究員,並於次年榮獲英國著名的史密斯(Smith)數學獎,成為國王學院聲名顯赫的畢業生之壹。
1936年5月,圖靈向倫敦權威的數學雜誌投了壹篇論文,題為《論數字計算在決斷難題中的應用》。該文於1937年在《倫敦數學會文集》第42期上發表後,立即引起廣泛的註意。在論文的附錄裏他描述了壹種可以輔助數學研究的機器,後來被人稱為“圖靈機”,這個設想最有變革意義的地方在於,它第壹次在純數學的符號邏輯,和實體世界之間建立了聯系,後來我們所熟知的電腦,以及還沒有實現的“人工智能”,都基於這個設想。這是他人生第壹篇重要論文,也是他的成名之作。
1937年,圖靈發表的另壹篇文章“可計算性與λ可定義性”則拓廣了丘奇(Church)提出的“丘奇論點”,形成“丘奇-圖靈論點”,對計算理論的嚴格化,對計算機科學的形成和發展都具有奠基性的意義。
1936年9月,圖靈應邀到美國普林斯頓高級研究院學習,並與丘奇壹同工作。
在美國期間,他對群論作了壹些研究,並撰寫了博士論文。1938年在普林斯頓獲博士學位,其論文題目為“以序數為基礎的邏輯系統”,1939年正式發表,在數理邏輯研究中產生了深遠的影響。
1938年夏,圖靈回到英國,仍在劍橋大學國王學院任研究員,繼續研究數理邏輯和計算理論,同時開始了計算機的研制工作。
然而第二次世界大戰到來了,打斷了圖靈的正常研究工作,1939年秋,他被應召到英國外交部通信處從事軍事工作,主要是破譯敵方密碼的工作。由於破譯工作的需要,他參與了世界上最早的電子計算機的研制工作。他的工作取得了極好的成就,因而於1945年獲政府的最高獎——大英帝國榮譽勛章(O.B.E.勛章)。
1945年,圖靈結束了在外交部的工作,他試圖恢復戰前在理論計算機科學方面的研究,並結合戰時的工作,具體研制出新的計算機來。這壹想法得到當局的支持。同年,圖靈被錄用為泰丁頓(Teddington)國家物理研究所的研究人員,開始從事“自動計算機”(ACE)的邏輯設計和具體研制工作。這壹年,圖靈寫出壹份長達50頁的關於ACE的設計說明書。這壹說明書在保密了27年之後,於1972年正式發表。在圖靈的設計思想指導下,1950年制出了ACE樣機,1958年制成大型ACE機。人們認為,通用計算機的概念就是圖靈提出來的。
1945年到1948年,他在英國國家物理實驗室工作,負責自動計算引擎的研究。
1946年的8月,圖靈參加了他正式跑步訓練後的第壹個比賽。那是在他加入沃爾頓田徑俱樂部後參加的3英裏(4.8公裏)比賽,圖靈以15分37秒的成績奪得第壹,這壹成績當年在英國排名第20位。
1947年,在萊斯特郡拉夫堡(Loughborough)大學體育場舉行的英國業余田徑協會馬拉松錦標賽上,圖靈跑出了他在馬拉松賽中的個人最好成績2小時46分03秒,在那場比賽中列第五名。
1948年,圖靈接受了曼徹斯特大學的高級講師職務,並被指定為曼徹斯特自動數字計算機(Madam)項目的負責人助理,具體領導該項目數學方面的工作,作為這壹工作的總結。
1949年成為曼徹斯特大學計算機實驗室的副主任,負責最早的真正意義上的計算機——“曼徹斯特壹號”的軟件理論開發,因此成為世界上第壹位把計算機實際用於數學研究的科學家。
1950年,圖靈編寫並出版了《曼徹斯特電子計算機程序員手冊》(The programmers’handbook for the Manchester electronic computer)。這期間,他繼續進行數理邏輯方面的理論研究。並提出了著名的“圖靈測試”。同年,他提出關於機器思維的問題,他的論文“計算機和智能(Computingmachiery and intelligence),引起了廣泛的註意和深遠的影響。1950年10月,圖靈發表論文《機器能思考嗎》。這壹劃時代的作品,使圖靈贏得了“人工智能之父”的桂冠。
1951年,由於在可計算數方面所取得的成就,成為英國皇家學會會員,時年39歲。
1952年,他辭去劍橋大學國王學院研究員的職務,專心在曼徹斯特大學工作.除了日常工作和研究工作之外,他還指導壹些博士研究生,還擔任了制造曼徹斯特自動數字計算機的壹家公司——弗蘭蒂公司的顧問。
1952年,圖靈寫了壹個國際象棋程序。可是,當時沒有壹臺計算機有足夠的運算能力去執行這個程序,他就模仿計算機,每走壹步要用半小時。他與壹位同事下了壹盤,結果程序輸了。後來美國新墨西哥州洛斯阿拉莫斯國家實驗室的研究群根據圖靈的理論,在MANIAC上設計出世界上第壹個電腦程序的象棋。