簡介

是計算機邏輯的奠基者，提出了“圖靈機”和“圖靈測試”等重要概念。圖靈提出的著名圖靈機模型為現代計算機的邏輯工作方式奠定了基礎。人們為紀念其在計算機領域的卓越貢獻而設立“圖靈獎”。

圖靈是著名的同性戀之一，并因為其同性戀傾向而遭到迫害，使他的職業生涯盡毀。

履曆

生平年表

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日，圖靈被發現死于家中的床上，床頭還放着一個被咬了一口的蘋果。警方調查後認為是氰化物中毒，調查結論為自殺。

人物經曆

圖靈很小的時候就表現出與衆不同的天分，在他三四歲的時候自己學會了閱讀，讀的第一本書叫做《每個兒童都該知道的自然奇觀》。他特别喜歡數字和智力遊戲，并為之着迷。圖靈自幼充滿好奇與想象，母親回憶說：“他把一個玩具木偶的胳膊、腿掰下來栽到花園裡，期待能‘生長’出更多的玩具木偶，那年他3歲。”

6歲正式讀書後，校長和老師都注意到這個特殊的小孩。8歲時，他寫了他的第一篇“科學”短文，題目叫《說說顯微鏡》。

圖靈從小喜歡體育運動，尤其酷愛足球。可是在和小朋友們踢足球的時候，他并不熱衷于上場，而是更喜歡在場外擔任巡邊，為的是能有機會觀察、估算每次足球飛出邊界的角度，他從中獲得了極大的樂趣，樂趣就在于能夠一眼看出問題的答案。

圖靈16歲就能弄懂愛因斯坦的相對論，并且運用那深奧的理論，獨立推導力學定律。

1931年，圖靈考入劍橋大學國王學院，由于成績優異而獲得數學獎學金。在劍橋，他的數學能力得到充分的發展。1935年，他的第一篇數學論文“左右周期性的等價”發表于《倫敦數學會雜志》上。同一年，他還寫出“論高斯誤差函數”一文，這一論文使他由一名大學生直接當選為國王學院的研究員，并于次年榮獲英國著名的史密斯(Smith）數學獎，成為國王學院聲名顯赫的畢業生之一。

1936年5月，圖靈寫出了表述他的最重要的數學成果的論文“論可計算數及其在判定問題中的應用”，該文于1937年在《倫敦數學會文集》第42期上發表後，立即引起廣泛的注意。1937年，阿蘭·麥席森·圖靈發表的另一篇文章“可計算性與λ可定義性”則拓廣了丘奇（Church）提出的“丘奇論點”，形成“丘奇-圖靈論點”，對計算理論的嚴格化，對計算機科學的形成和發展都具有奠基性的意義，1936年9月，阿蘭·麥席森·圖靈應邀到美國普林斯頓高級研究院學習，并與丘奇一同工作。

在美國期間，他對群論作了一些研究，并撰寫了博士論文，1938年在普林斯頓獲博士學位，其論文題目為“以序數為基礎的邏輯系統”，1939年正式發表，在數理邏輯研究中産生了深遠的影響。圖靈畢業後留校執教，不到一年工夫，他就發表了幾篇很有分量的數學論文。1935年，剛剛畢業，年僅23歲的圖靈就被劍橋大學國王學院甄選為研究員，成為劍橋大學有史以來最年輕的研究員。

為此，劍橋大學特地宣布放假半天以示慶賀。羅素教授也異常器重圖靈，安排圖靈講學授課。同年，圖靈又因他在“概率論”上的成就，榮獲“斯密思獎”1936年他來到美國的普林斯頓大學攻讀數學博士學位，他的研究涉及邏輯學、代數和數論等等領域。

重要成就

可計算性理論

20世紀以前，人們普遍認為，所有的問題類都是有算法的，人們的計算研究就是找出算法來。萊布尼茨(Leibniz)開創了數理邏輯的研究工作。但是20世紀初，人們發現有許多問題已經過長期研究，仍然找不到算法。

為消除後期算法的不确定性，艾倫·麥席森·圖靈在他的“論可計算數及其在判定問題中的應用”一文中從一個全新的角度定義了可計算函數，他全面分析了人的計算過程，把計算歸結為最簡單、最基本、最确定的操作動作，從而用一種簡單的方法來描述那種直觀上具有機械性的基本計算程序，使任何機械(能行)的程序都可以歸約為這些動作。這不僅給計算下了一個完全确定的定義，而且第一次把計算和自動機聯系起來，對後世産生了巨大的影響，這種“自動機”後來被人們稱為“圖靈機”。

圖靈機

圖靈機是一種自動機的數學模型，它是一條兩端(或一端)無限延長的紙帶，上面劃成方格，每個方格中可以印上某字母表中的一個字母(亦可為空格，記為S0)；又有一個讀寫頭，它具有有限個内部狀态．任何時刻讀寫頭都注視着紙帶上的某一個方格，并根據注視方格的内容以及讀寫頭當時的内部狀态而執行變換規則所規定的動作。每個圖靈機都有一組變換規則。

圖靈機的概念有十分獨特的意義：如果把圖靈機的内部狀态解釋為指令，用字母表的字來表示，與輸出字輸入字同樣存貯在機器裡，那就成為電子計算機了。由此開創了“自動機”這一學科分支，促進了電子計算機的研制工作。

判定問題

所謂“判定問題”指判定所謂“大量問題”是否具有算法解，或者是否存在能行性的方法使得對該問題類的每一個特例都能在有限步驟内機械地判定它是否具有某種性質。圖靈機從初始格局出發，按程序一步步把初始格局改造為格局的序列。此過程可能無限制繼續下去，也可能遇到指令表中沒有列出的狀态、符号組合或進入結束狀态而停機。

在判定問題上，艾倫·麥席森·圖靈的另一成就是1939年提出的帶有外部信息源的圖靈機概念，并由此導出“圖靈可歸約”及相對遞歸的概念。運用歸約和相對遞歸的概念，可對不可判定性與非遞歸性的程度加以比較。在此基礎上，E．波斯特(Post)提出了不可解度這一重要概念，這方面的工作後來有重大的進展。

電子計算機

電子計算機的出現和廣泛應用是20世紀新技術革命的主要标志之一。很長時期中人們一直認為，第一台電子計算機是美國人按J．W．莫奇利(Mauchly)提出的方案于1946年制成的“電子數字積分和自動計算機”(ENIAC)。

艾倫·麥席森·圖靈在第二次世界大戰中從事的密碼破譯工作涉及到電子計算機的設計和研制，但此項工作嚴格保密．直到70年代，内情才有所披露．從一些文件來看，很可能世界上第一台電子計算機不是ENIAC，而是與圖靈有關的另一台機器，即圖靈在戰時服務的機構于1943年研制成功的CO-LOSSUS(巨人)機，這台機器的設計采用了圖靈提出的某些概念．它用了1500個電子管，采用了光電管閱讀器；利用穿孔紙帶輸入；并采用了電子管雙穩态線路，執行計數、二進制算術及布爾代數邏輯運算。

在艾倫·麥席森·圖靈的說明書中還最先提出了指令寄存器和指令地址寄存器的概念，提出了子程序和子程序庫的思想，這都是現代電子計算中最基本的概念和思想。在說明書中，圖靈已提出了“仿真系統”的思想，所謂仿真系統，指機器可以沒有固定的指令系統，但它能夠模拟許多具有不同指令系統的計算機的功能。

人工智能

艾倫·麥席森·圖靈是人工智能研究的先驅者之一，實際上，圖靈機，尤其是通用圖靈機作為一種非數值符号計算的模型，就蘊含了構造某種具有一定的智能行為的人工系統以實現腦力勞動部分自動化的思想。

1947年，圖靈在一次關于計算機的會議上作了題為“智能機器”(intelligent machinery)的報告，詳細地闡述了他關于思維機器的思想，第一次從科學的角度指出：“與人腦的活動方式極為相似的機器是可以制造出來的．”在該報告中，圖靈提出了自動程序設計的思想，即借助證明來構造程序的思想。

數理生物學

從1952年直到去世，圖靈一直在數理生物學方面做研究。他在1952年發表了一篇論文《形态發生的化學基礎》(The Chemical Basis of Morphogenesis)。他主要的興趣是斐波那契葉序列，存在于植物結構的斐波那契數。他應用了反應-擴散公式，已經成為圖案形成範疇的核心。

圖靈試驗

1945年到1948年，圖靈在國家物理實驗室，負責自動計算引擎（ACE）的工作。1949年，他成為曼徹斯特大學計算機實驗室的副主任，負責最早的真正的計算機曼徹斯特一号的軟件工作。圖靈在對人工智能的研究中，提出了一個叫做圖靈試驗的實驗，嘗試定出一個決定機器是否有感覺的标準。

圖靈試驗由計算機、被測試的人和主持試驗人組成。計算機和被測試的人分别在兩個不同的房間裡。測試過程由主持人提問，由計算機和被測試的人分别做出回答。觀測者能通過電傳打字機與機器和人聯系（避免要求機器模拟人外貌和聲音）。被測人在回答問題時盡可能表明他是一個“真正的”人，而計算機也将盡可能逼真的模仿人的思維方式和思維過程。如果試驗主持人聽取他們各自的答案後，分辨不清哪個是人回答的，哪個是機器回答的，則可以認為該計算機具有了智能。這個試驗得到大部分人的認可，但不能完全解決機器智能的問題。

迫害和逝世

圖靈在Cheshire East威姆斯洛的家，挂有藍色牌匾。因為圖靈的同性戀傾向而遭到的迫害使得他的職業生涯盡毀。1952年，他的同性伴侶協同一名同謀一起闖進圖靈的房子實施盜竊，圖靈為此而報警。但是英國警方的調查結果使得他被控以“明顯的猥亵和性颠倒行為”罪。他沒有申辯，并被定罪。在著名的公審後，他被給予了兩個選擇：坐牢或荷爾蒙療法（即化學閹割）。他最後選擇了荷爾蒙注射，并持續一年。在這段時間裡，藥物産生了包括乳房不斷發育的副作用。1954年，圖靈因食用浸過氰化物溶液的蘋果死亡。

人物影響

圖靈思想活躍，他的創造力也是多方面的。在戰時的秘密工作中，他曾創造好幾種新的統計技術，但都未形成論文發表，後來又重新為他人所創建，由A．瓦爾德(Wald)重新發現并提出的“序貫分析”就是其中之一。

他對群論也有所研究，在“形态形成的化學基礎”一文中，他用相當深奧而獨特的數學方法，研究了決定生物的顔色或形态的化學物質中的分布規律性，試圖闡釋“物理化學規律可以充分解釋許多形态形成的事實”這一思想。在生物學界，80年代才開始探讨這一課題。

圖靈還進行了後來被稱為“數學胚胎學”的奠基性研究工作。他還試圖用數學方法研究人腦的構造問題，例如估算出一個具有給定數目的神經元的大腦中能存貯多少信息的問題等。

圖靈獎

“圖靈獎”是美國計算機協會（ACM，Association for Computer Machinery）于1966年設立的，專門獎勵那些對計算機科學研究與推動計算機技術發展有卓越貢獻的傑出科學家，它被公認為計算機界的“諾貝爾”獎。

圖靈獎對獲獎者的要求極高，評獎程序也極嚴，一般每年隻獎勵一名計算機科學家，隻有極少數年度有兩名以上在同一方向上做出貢獻的科學家同時獲獎。圖靈獎由英特爾公司贊助，獎金為100，000美元。每年，美國計算機協會将要求提名人推薦本年度的圖靈獎候選人，并附加一份200到500字的文章，說明被提名者為什麼應獲此獎。任何人都可成為提名人。美國計算機協會将組成評選委員會對被提名者進行嚴格的評審，并最終确定當年的獲獎者。截止至2005年，獲此殊榮的華人僅有一位，他是2000年圖靈獎得主姚期智。

紀念

2012年6月23日，谷歌塗鴉紀念其誕辰100周年。

平反

在2009年9月10日，一份超過3萬人的請願簽名，使英國首相戈登·布朗在《每日電訊報》撰文，因為英國政府當年以同性戀相關罪名起訴圖靈并定罪，導緻他自殺身亡，正式向艾倫·圖靈公開道歉。

至2012年，有21000多人簽名請願，要求英國政府追贈圖靈死後赦免狀，但被當局拒絕。英國上議院的McNally勳爵解釋說，死後赦免狀是不合适的，因為圖靈是根據當時的法律被定罪。

2012年12月，霍金、Paul Nurse、Martin Rees等11人緻函英國首相卡梅倫，要求正式為圖靈平反。

2013年12月24日，英國司法部長克宣布，當時的判決“不公，有歧視”,20世紀50年代因同性戀行為被定罪的英國著名數學家、密碼學家、計算機科學之父阿蘭•圖靈獲英國女王伊莉莎白二世的赦免。英國首相卡梅倫則表示說，圖靈在破解二戰德軍密碼、拯救國家上發揮了關鍵作用，是一個“了不起的人”。