艾伦·图灵

艾伦·麦席森·图灵，OBE，FRS（，又译阿兰·图灵，也常翻譯成-{涂}-林或者杜林，），英国電腦科學家、数学家、邏輯學家、密码分析学家和理论生物学家，他被誉为计算机科学與人工智能之父。

二次世界大战期间，「Hut 8」小组，负责德国海军密码分析。 期间他设计了一些加速破译德国密码的技术，包括改进波兰战前研制的机器Bombe，一种可以找到恩尼格玛密码机设置的机电机器。 图灵在破译截获的编码信息方面发挥了关键作用，使盟军能够在包括大西洋战役在内的许多重要交战中击败軸心國海軍，并因此帮助赢得了战争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 Turing's 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歲的他憑藉證明中心極限定理的論文被選為國王學院研究員。雖然說圖靈不知道，該定理已在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月起，圖靈在英國密碼破譯組織政府密碼和密碼學校(GC&CS)兼職工作。他與高級GC&CS密碼破譯員第利溫·諾克斯一起專注於對德国使用的恩尼格玛密码机進行密碼分析。

1939年7月，波蘭密碼局在華沙附近的會議上向英國和法國提供了恩尼格玛密码机機器的詳細信息以及他們解密恩尼格玛密码机機器信息的方法。不久後，圖靈和諾克斯開發了一個更具廣泛性的解決方案。波蘭方法依賴於德國人的不嚴謹的程序。圖靈的方法更通用，使用基於恩尼格玛分析，他為此製作了炸彈的功能規範（對波蘭炸彈的改進）。

1939年图灵被英国皇家海军招聘，并在英国軍情六處监督下从事对德国机密军事密码的破译工作。两年后他的小组成功破译了德国的密码系统恩尼格玛密码机，从而使得军情六处对德国的军事指挥和计划瞭如指掌。但是军情六处以機密为由隐瞒了图灵小组的存在和成就，将其所得情报据为己有。

通過使用統計技術來優化密碼破譯過程中不同可能性的試驗，圖靈為該課題做出了創新貢獻。他寫了兩篇有關數學計算方法的論文，題為 The Applications of Probability to Cryptography和Paper on Statistics of Repetitions, 對 GC&CS 及其繼任者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上設計出世界上第一個電腦程序的西洋棋——-{zh-cn:洛斯阿拉莫斯象棋;zh-tw:洛斯阿拉莫斯西洋棋}-。

 图案形成和数理生物学的研究 
从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 Mullen,"Alan Turing, British code-breaker castrated for homosexuality, receives pardon" ,CNN.com,December 24, 2013 -- Updated 1205 GMT (2005 HKT).

2015年2月23日，圖靈的家人向英國首相府邸發出了一份超過50萬人簽名的請願書，要求英國政府赦免49,000個和圖靈一樣因同性戀而獲罪的人。2017年1月31日，艾倫·圖靈法案生效，約49,000位因同性戀定罪者被赦免。

獎項、榮譽、表彰和敬意
圖靈被授予1946年大英帝國勳章。他在1951年還被選為皇家學會（FRS）的成員。有幾件事情以他的名字命名：

邱奇-图灵论题
图灵估计
圖靈完備性
不可解度，或图灵度
图灵不动点组合子

图灵机
圖靈歸約
图灵测试

自1966年以来，图灵奖每年由计算机协会颁发给计算机界，为其提供技术或理论贡献。 它被广泛认为是计算机科學世界的最高荣誉，相当于诺贝尔奖。

2021年英格兰银行选择了图灵作为印刷在新版50英鎊纸币背面的人物。

蘋果公司的商標
蘋果公司的商標有時會被誤認為是源於圖靈自殺时咬下的半個蘋果，但該圖案的设计师和蘋果公司都否認了這一說法。而公司创办人史蒂夫·賈伯斯在接受史蒂芬·弗莱问到此事时说：“上帝啊，我们希望它（LOGO向圖靈致敬）是真的。但它只是巧合。”（"God we wish it were. It's just a coincidence."）

顯示卡
圖靈的名字也被-{zh-hk:輝達; zh-tw:輝達; zh-cn:英伟达;}-用來命名NVIDIA GeForce 16系列和NVIDIA GeForce 20系列顯示卡核心名稱。

流行文化
影視作品
《-{zh-hk:解碼遊戲; zh-tw:模仿遊戲; zh-cn:模仿游戏;}-》：2014年電影，由本尼迪克特·康伯巴奇飾演艾倫·圖靈。

 参见 
图灵奖
图灵机
图灵测试
不可解度
著名同性恋和双性恋者
LGBT自杀人士列表

 註釋 

 參考資料 

 书目 

 外部連結 
2012艾伦·图灵年 
CiE 2012：图灵诞辰百年会议 
图灵相册 
Alan Turing 
AlanTuring.net – Turing Archive for the History of Computing

謎樣的計算機科學之父  - 中央研究院數學所、台大數學系
艾伦·图灵在数学家族谱网站上的条目 
艾伦·图灵文件数字化项目


Category:麥達維爾人
Category:威姆斯洛人
Category:布莱奇利公園人
Category:蘇格蘭裔英格蘭人
Category:劍橋大學國王學院校友
Category:普林斯顿大学校友
Category:皇家學會院士
Category:OBE勳銜
Category:MBE勳銜
Category:20世紀數學家
Category:计算机领域先驱者
Category:现代密码学家
Category:理論計算機科學家
Category:人工智慧史
Category:人工智能研究者
Category:英國密碼學家
Category:英国邏輯學家
Category:英格蘭計算機科學家
Category:英格蘭數學家
Category:英格蘭發明家
Category:英格蘭哲學家
Category:無神論哲學家
Category:心靈哲學家
Category:英國長跑運動員
Category:英格蘭田徑運動員
Category:英國第二次世界大戰人物
Category:LGBT科學家
Category:英格蘭LGBT人物
Category:英格蘭無神論者
Category:在英格蘭自殺者
Category:氰化物服毒自杀者
Category:自殺發明家
Category:英國男同性戀者
Category:自杀哲学家
Category:贝叶斯统计学家
Category:脫離新教者
Category:男同性戀學者
Category:LGBT数学家
Category:欧洲纸币上的人物
Category:曼徹斯特科技大學教師
Category:曼徹斯特大學教師