艾倫麥席森圖靈，OBE，FRS（，又譯阿蘭圖靈，也常翻譯成 塗 林或者杜林，）是英國電腦科學家、數學家、邏輯學家、密碼分析學家和理論生物學家，他被譽為計算機科學與人工智慧之父。 二次世界大戰期間，「Hut 8」小組，負責德國海軍密碼分析。 期間他設計了一些加速破譯德國密碼的技術，包括改進波蘭戰前研製的機器，一種可以找到恩尼格瑪密碼機設定的機電機器。 圖靈在破譯截獲的編碼資訊方面發揮了關鍵作用，使盟軍能夠在包括大西洋戰役在內的許多重要交戰中擊敗軸心國海軍，並因此幫助贏得了戰爭 A number of sources state that Winston Churchill said that Turing made the single biggest contribution to Allied victory in the war against Nazi Germany However both The Churchill Centre and Turings biographer Andrew Hodges have said they know of no documentary evidence to support this claim nor of the date or context in which Churchill supposedly said it and the Churchill Centre lists it among their Churchill Myths see and A BBC News profile piece that repeated the Churchill claim has subsequently been amended to say there is no evidence for it See 。 圖靈對於人工智慧的發展有諸多貢獻，例如圖靈曾寫過一篇名為《》的論文，提問「機器會思考嗎？」，作為一種用於判定機器是否具有智慧的測試方法，即圖靈測試 。至今，每年都有試驗的比賽。此外，圖靈提出的著名的圖靈機模型為現代計算機的邏輯工作方式奠定了基礎。 圖靈是男同性戀者，並因為其性傾向而遭到當時的英國政府迫害，職業生涯盡毀。他亦患有花粉過敏症。 圖靈還是一位長跑運動員。他的馬拉松最好成績是 2 小時 46 分 03 秒（手動計時），比 1948 年奧林匹克運動會金牌成績慢 11 分鐘。1948 年的一次越野賽跑中，他跑贏了同年奧運會銀牌得主湯姆理查茲 A suburban runner ，The Alan Turing Internet Scrapbook。 生平 孩童和年輕時代 圖靈的父親朱利斯麥席森圖靈是一名英屬印度的公務員。1911 年，圖靈的母親在英屬印度懷了孕。因為他們希望艾倫在英國出生，所以回到倫敦，住在帕丁頓，並在那裡生下了艾倫。父親的公務員委任使他在小時候經常來往於英倫和印度。由於擔心印度的氣候不利於兒童成長，他便把家庭留在英倫與朋友同住。圖靈很小的時候就表現出他的天賦，後來越發明顯。 1927 年，他的父母在吉爾福德購買了一所房子，圖靈在學校放假期間住在該處。該位置附近還標有藍色路牌。 六歲的時候，他的父母為他在一間叫聖邁克爾的日間學校註冊。女校長很快就注意到他的才能，隨後的許多教育家也注意到這點。1926 年，他十三歲的時候考入在多塞特郡的。開學的第一天，不幸遇上了大罷工。圖靈堅決要上第一天的課，於是他獨自從南安普頓騎了六十英哩的腳踏車去上學，途中還在一間旅社度過一宵。 圖靈天生對科學的喜好並沒有給他在謝爾本的老師留下好印象。他們對教育較為著重於人文學科而不是科學。雖然如此，圖靈繼續在他喜歡的學科表現出驚人的能力，還沒有學過基礎微積分的他，就已經能夠解答以他年紀來說算是很高深的難題。 1928 年，在圖靈 16 歲的時候，開始閱讀阿爾伯特愛因斯坦的著作。他不但能夠理解，而且看出了愛因斯坦對牛頓運動定律存有質疑，即使愛因斯坦的著作中並沒有明白指出這點。 大學生涯 1931 年，圖靈考入劍橋大學國王學院攻讀本科，並獲得了數學一等榮譽。 1934 年他以優異成績畢業。 1935 年，22 歲的他憑藉證明中心極限定理的論文被選為國王學院院士。See Section 3 of John Aldrich England and Continental Probability in the InterWar Years Journal Electronique dHistoire des Probabilités et de la Statistique vol 52 Decembre 2009 Journal Electronique dHistoire des Probabilités et de la Statistique 雖然說圖靈不知道，該定理已在 1922 年由證明。儘管如此，委員會認為這項研究值得考慮提供研究金。 圖靈在他的重要論文《論可計算數及其在判定問題上的應用》裡，對哥德爾 1931 年在證明和計算的限制的結果作了重新論述，他用現在叫做圖靈機的簡單形式的抽象裝置代替了哥德爾的以通用算術為基礎的形式語言。雖然圖靈機過於緩慢的速度使其沒有實際用途，圖靈還是證明了這樣的機器有能力解決任何可想像的，並以數學式表達的數學難題。現今，圖靈機還是計算理論研究的中心課題。他繼續證明了判定問題是沒有答案的。他的證明首先展示了圖靈機的停機問題沒有答案，這是說不可能用一個演算法來決定一臺指定的圖靈機是否會停機。儘管他的證明比阿隆佐邱奇在 λ 演算方面相等的證明晚發表了幾個月，圖靈的著作是更易於理解和直觀。他的通用（圖靈）機的概念也很新穎。這一通用機能夠完成任何其他機器所能做的任務。這篇論文還介紹了可定義數的概念。 1936 年 9 月到 1938 年 7 月間，圖靈大部分時間都在普林斯頓大學的教堂下學習，第二年被評選為簡伊麗莎寶潔獎學金客座教授（Jane Eliza Procter Visiting Fellow）。除了他的純數學工作外，他亦研究密碼學，並建造了機電二進位制乘法器的四個階段中的其中三個。1938 年 6 月，獲普林斯頓數學系博士學位；他的論文基於序數的邏輯系統，介紹了序數邏輯的概念和相對計算的概念，其中圖靈機增加了所謂的預言機，允許學者進一步研究圖靈機無法解決的問題。馮諾依曼有意聘請圖靈做他的博士後助理，但他謝絕後又回到了英國。John Von Neumann The Scientific Genius Who Pioneered the Modern Computer Game Theory Nuclear Deterrence and Much More Norman MacRae 1999 American Mathematical Society Chapter 8 1939 年圖靈回到劍橋，聆聽了維特根斯坦關於數學基本原理（Foundations of mathematics）的講座。他們激烈地爭論，圖靈為形式主義辯護，而維特根斯坦則認為把數學抬得太高反而不能發現任何絕對真理。 密碼分析 在第二次世界大戰期間，圖靈是布萊切利莊園破解德國密碼的主要參與者。歷史學家和戰時密碼破譯員曾說過：你需要非凡的天賦，你需要布萊切利的天才，而圖靈就是那個天才。 從 1938 年 9 月起，圖靈在英國密碼破譯組織政府密碼和密碼學校 GCCS 兼職工作。他與高階 GCCS 密碼破譯員第利溫諾克斯一起專注於對德國使用的恩尼格瑪密碼機進行密碼分析。 1939 年 7 月，波蘭密碼局在華沙附近的會議上向英國和法國提供了恩尼格瑪密碼機機器的詳細資訊以及他們解密恩尼格瑪密碼機機器資訊的方法。不久後，圖靈和諾克斯開發了一個更具廣泛性的解決方案。波蘭方法依賴於德國人的不嚴謹的程式。圖靈的方法更通用，使用基於恩尼格瑪分析，他為此製作了炸彈的功能規範（對波蘭炸彈的改進）。 1939 年圖靈被英國皇家海軍招聘，並在英國軍情六處監督下從事對德國機密軍事密碼的破譯工作。兩年後他的小組成功破譯了德國的密碼系統恩尼格瑪密碼機，從而使得軍情六處對德國的軍事指揮和計劃瞭如指掌。但是軍情六處以機密為由隱瞞了圖靈小組的存在和成就，將其所得情報據為己有。 透過使用統計技術來最佳化密碼破譯過程中不同可能性的試驗，圖靈為該課題做出了創新貢獻。他寫了兩篇有關數學計算方法的論文，題為 The Applications of Probability to Cryptography 和 Paper on Statistics of Repetitions 對 GCCS 及其繼任者 GCHQ 具有十分重要的價值，以至於它們直到 2012 年 4 月才被發布給英國國家檔案館，也就是他誕辰一百週年前不久。一位 GCHQ 數學家，他只承認自己是理查德，當時說，根據官方保密法，內容被封鎖了大約 70 年這一事實證明瞭它們的重要性，以及它們與戰後密碼分析的相關性： 圖靈在布萊切利莊園以其古怪的性格而聞名。他的同事稱他為 教授（Prof），而他關於恩尼格瑪密碼機的論文被也被稱為 教授之書。根據歷史學家的說法，與圖靈一起工作的密碼分析家談到他的同事時說： 彼得希爾頓在他的 美國數學世紀的回憶 中講述了他在小屋 8 中與圖靈合作的經歷： 希爾頓在 Nova PBS 紀錄片《解碼納粹秘密》中也表達了類似的想法。 在布萊奇利莊園工作期間，圖靈是也一位才華橫溢的長跑運動員，當需要開會時，他偶爾會跑 40 英里（64 公里）到倫敦，他有能力達到世界級的馬拉松標準。圖靈為 1948 年英國奧運代表隊進行了試訓，但他也被傷病的阻礙。他的馬拉松選拔時間僅比英國銀牌得主託馬斯理查茲（Thomas Richards）的奧運會比賽時間（2 小時 35 分鐘）慢了 11 分鐘。他是沃爾頓競技俱樂部最好的跑者，這一事實是在他獨自跑過小組時發現的。 當被問及為什麼他在訓練中跑得如此努力時，他回答說： 由於歷史反事實的問題，很難準確估計超智慧對戰爭的影響。See for example and 然而，官方戰爭歷史學家估計，這項工作將歐洲的戰爭縮短了兩年多，挽救了超過 1400 萬人的生命。 Transcript of a lecture given on Tuesday 19 October 1993 at Cambridge University 戰爭結束時，向所有在布萊切利莊園工作的人發送了一份備忘錄，提醒他們《官方保密法》規定的沉默守則不會隨著戰爭而結束，而是會無限期地繼續下去。 因此，儘管圖靈在 1946 年被喬治六世國王任命為大英帝國勳章 OBE，以表彰他在戰時的服務，但他的工作多年來一直保密。 早期的計算機研究：圖靈測試 1945 年到 1948 年，圖靈在國家物理實驗室負責自動計算引擎的研究工作。1949 年，他成為曼徹斯特大學計算機實驗室的副主任，負責最早的真正的計算機 曼徹斯特一號的軟體工作。在這段時間，他繼續作一些比較抽象的研究，如 計算機械和智慧。圖靈在對人工智慧的研究中，提出了一個叫做圖靈測試的實驗，嘗試定出一個決定機器是否有感覺的標準。 1952 年，圖靈寫了一個國際象棋程式。可是，當時沒有一臺計算機有足夠的運算能力去執行這個程式，他就模仿計算機，每走一步要用半小時。他與一位同事下了一盤，結果程式輸了。 後來美國新墨西哥州洛斯阿拉莫斯國家實驗室的研究組根據圖靈的理論，在 ENIAC 上設計出世界上第一個電腦程式的西洋棋－洛斯阿拉莫斯西洋棋。 圖案形成和數理生物學的研究 從 1952 年直到去世，圖靈一直在生物數學方面做研究。他在 1952 年發表了一篇論文《形態發生的化學基礎》。Control Mechanism For Biological Pattern Formation Decoded ScienceDaily 30 November 2006 他主要的興趣是斐波那契葉序列，存在於植物結構的斐波那契數。他應用了反應 擴散公式，現在已經成為圖案形成範疇的核心。他後期的論文都沒有發表，一直等到 1992 年《艾倫圖靈選集》出版，這些文章才見天日。2012 年，《自然》雜誌稱讚他是有史以來最具科學思想的人物之一。 迫害和逝世 因為圖靈的同性戀傾向而遭到的迫害使得他的職業生涯盡毀。1952 年，他的同性伴侶協同一名同謀一起闖進圖靈的房子行竊，但是英國警方的調查結果使得他被控以 明顯的猥褻和性顛倒行為 罪（請參看性悖軌法）。他沒有申辯，並被定罪。在公審後，他被給予了兩個選擇：坐牢或女性荷爾蒙注射 療法（即化學閹割）。他最後選擇了雌激素注射，並持續一年。在這段時間裡，藥物產生了包括乳房不斷發育的副作用，也使原本熱愛體育運動的圖靈在身心上受到極大傷害。1954 年，圖靈因食用浸過氰化物溶液的蘋果而死亡。很多人相信他有意吃這蘋果，並判決他是自殺。但是他的母親極力爭辯他的死是意外，因為圖靈工作室有很多化學品，而他不小心讓蘋果沾上氰化物溶液。 政府的道歉和平反 在 2009 年 9 月 10 日，一份超過 3 萬人的請願簽名，使英國首相戈登布朗在《每日電訊報》撰文，因為英國政府當年以同性戀相關罪名起訴圖靈並定罪，讓他自殺身亡，正式向艾倫圖靈公開道歉。 至 2012 年，有 2 萬多人簽名請願，要求英國政府追授圖靈死後赦免狀，但被當場拒絕。英國上議院的解釋說：死後赦免狀是不合理的，因為圖靈是根據當時的法律被定罪。圖靈應當知道他的所做所為會觸犯法律，他也應當意識到他有可能會受到迫害。圖靈在當時的判罪在今天看來既殘酷又荒唐，這無疑是一個悲劇，尤其我們應當知道他對戰爭勝利做出了卓越的貢獻。然而，我們不應當脫離歷史背景看待這一事件，在那時的法律這的確是重刑。我們不應該在糾結於把不正確的事強行撥亂反正，我們所能做的是確保今日的社會再也不要回到過去及重複歷史。 2013 年 12 月 24 日，英國司法部宣佈英國女王伊莉莎白二世赦免 1952 年因同性戀行為被定罪的艾倫圖靈，不過有抗議者指出應將此赦免令範圍擴大到所有和圖靈同時代且受到同樣待遇的同性戀者。因同性戀獲罪 英國特赦刷汙名 ，中央社，2013 年 12 月 24 日 Jethro MullenAlan Turing British codebreaker castrated for homosexuality receives pardon CNNcomDecember 24 2013 Updated 1205 GMT 2005 HKT 2015 年 2 月 23 日，圖靈的家人向英國首相府邸發出了一份超過 50 萬人簽名的請願書，要求英國政府赦免 49000 個和圖靈一樣因同性戀而獲罪的人。2017 年 1 月 31 日，艾倫圖靈法案生效，約 49000 位因同性戀定罪者被赦免。 獎項、榮譽、表彰和敬意 圖靈被授予 1946 年大英帝國勳章。他在 1951 年還被選為皇家學會（FRS）的成員。有幾件事情以他的名字命名： 邱奇－圖靈論題 圖靈估計 圖靈完備性 不可解度，或圖靈度 圖靈不動點組合子 圖靈機 圖靈歸約 圖靈測試 自 1966 年以來，圖靈獎每年由計算機協會頒發給計算機界，為其提供技術或理論貢獻。 它被廣泛認為是計算機科學世界的最高榮譽，相當於諾貝爾獎。 2021 年英格蘭銀行選擇了圖靈作為印刷在新版 50 英鎊紙幣背面的人物。 蘋果公司的商標 蘋果公司的商標有時會被誤認為是源於圖靈自殺時咬下的半個蘋果，但該圖案的設計師和蘋果公司都否認了這一說法。而公司創辦人史蒂夫賈伯斯在接受史蒂芬弗萊問到此事時說：上帝啊，我們希望它（LOGO 向圖靈致敬）是真的。但它只是巧合。（God we wish it were Its just a coincidence） 顯示卡 圖靈的名字也被 zhhk 輝達；zhtw 輝達；zhcn 英偉達； 用來命名 NVIDIA GeForce 16 系列，NVIDIA GeForce 20 系列顯示卡核心名稱。 流行文化 影視作品 《zhhk 解碼遊戲；zhtw 模仿遊戲；zhcn 模仿遊戲；》：2014 年電影，由本尼迪克特康伯巴奇飾演艾倫圖靈。 參見 圖靈獎 圖靈機 圖靈測試 不可解度 著名同性戀和雙性戀者 LGBT 自殺人士列表 註釋 參考資料 書目 外部連結 2012 艾倫圖靈年 CiE 2012：圖靈誕辰百年會議 圖靈相簿 Alan Turing AlanTuringnet Turing Archive for the History of Computing 謎樣的電腦科學之父 中央研究院數學所、臺大數學系 艾倫圖靈在數學家族譜網站上的條目 艾倫圖靈檔案數字化專案 Category 麥達維爾人 Category 威姆斯洛人 Category 布萊奇利公園人 Category 蘇格蘭裔英格蘭人 Category 劍橋大學國王學院校友 Category 普林斯頓大學校友 Category 皇家學會院士 CategoryOBE 勳銜 CategoryMBE 勳銜 Category20 世紀數學家 Category 計算機領域先驅者 Category 現代密碼學家 Category 理論電腦科學家 Category 人工智慧史 Category 人工智慧研究者 Category 英國密碼學家 Category 英國邏輯學家 Category 英格蘭電腦科學家 Category 英格蘭數學家 Category 英格蘭發明家 Category 英格蘭哲學家 Category 無神論哲學家 Category 心靈哲學家 Category 英國長跑運動員 Category 英格蘭田徑運動員 Category 英國第二次世界大戰人物 CategoryLGBT 科學家 Category 英格蘭 LGBT 人物 Category 英格蘭無神論者 Category 英格蘭自殺者 Category 氰化物服毒自殺者 Category 自殺發明家 Category 英國男同性戀者 Category 自殺哲學家 Category 貝葉斯統計學家 Category 脫離新教者 Category 男同性戀學者 CategoryLGBT 數學家 Category 歐洲紙幣上的人物 Category 曼徹斯特科技大學教師 Category 曼徹斯特大學教師