草稿:艾伦·图灵
 | 本草稿目前為「艾伦·图灵」的草稿。 如有任何疑問，請至討論頁發起討論。 |
| 艾伦·图灵 Alan Turing OBE FRS | |
|---|---|
 16岁的图灵，摄于1928年前后 | |
| 出生 | 1912年6月23日 英格兰伦敦麥達維爾 |
| 逝世 | 1954年6月7日（41歲） 英格兰柴郡威姆斯洛 |
| 死因 | 氰化物中毒自杀[a] |
| 墓地 | 骨灰撒在沃金火葬场 |
| 教育程度 | 舍伯恩学校 |
| 母校 | |
| 知名于 | |
| 伴侣 | 琼·克拉克 （1941年订婚，未结） |
| 奖项 | 史密斯獎（1936） |
| 科学生涯 | |
| 研究领域 | 数学、逻辑学、密码分析、计算机科学、數理生物學[1] |
| 机构 | |
| 论文 | Systems of Logic Based on Ordinals（1938） |
| 博士導師 | 阿隆佐·邱奇[2] |
| 博士生 | 罗宾·甘迪[2][3] 比阿特丽斯·沃斯利[4] |
| 受影响自 | 马克斯·纽曼[5] |
| 签名 | |
 | |
艾伦·马西森·图灵 OBE FRS（英語：Alan Mathison Turing[b]；1912年6月23日—1954年6月7日），英国数学家、電腦科學家、逻辑学家、密码分析师、哲学家和数理生物学家[6][7]。他深刻影响理论计算机科学的发展，将算法及运算等概念形式化为普遍认为是通用计算机的图灵机[8][9][10]，因此被普遍认为是理论计算机科学及人工智能之父[11]。
图灵出生于伦敦麥達維爾，在南英格蘭成长。凭数学学位在剑桥大学国王学院毕业后，图灵留校担任院士，期间证明部分纯数学的对错问题无法通过运算解答、定义了图灵机、继续证明图灵机的停机问题无法决定。1938年，图灵取得普林斯顿大学数学系哲学博士学位。第二次世界大战期间，图灵来到政府通信总部的密码破译中心布萊切利園，为Ultra情报部门工作。他率领8号营房分部，专门负责破译德国海军的密码，期间设计多种技术加快密码破解速度，包括改良波兰在大战前推出的电动密码机炸弹法，找出恩尼格玛密码机的设定。图灵破译了大量从敌军截获的加密信息，推动同盟国在大西洋海战等重大战役中击败轴心国[12][13]。
战后，图灵在英国国家物理实验室设计出自动运算引擎，属于第一批能够储存程序的计算机。1948年，图灵加入马克斯·纽曼在曼彻斯特维多利亚大学的计算机实验室，开发出曼彻斯特大学计算机组，同时进军数理生物学界。他撰写论文研究形态发生的化学基础[1]，预言了摆动式的化学反应，例如最开始于1960年代被发现的别洛乌索夫-扎博廷斯基反应。由于大部分研究成果依照《官方保密法》封存，图灵在世时从未获得祖国完全认可[14]。
1952年，图灵因同性恋行为被起诉，随后接受代替刑罚的己烯雌酚化学阉割。1954年，在离42岁还有16天的时候，图灵氰化物中毒死亡。死因裁決宣佈他的死乃属自杀，不过现存证据亦支持其死於意外中毒。[15][16][17]
图灵为后世带来深远的影响。出于纪念，后人为他设立雕像，用他的名字命名了许多事物，包括表彰计算机科学发明的年度奖项，而在他寿辰前发布的英格蘭銀行50英鎊紙幣印有他的肖像。根据观众投票结果，2019年BBC电视节目《偶像：20世纪伟人巡礼》将艾伦提名为20世纪最伟大的人。
早年及教育
编辑家庭
编辑.jpg)
1912年6月23日，图灵生于英国伦敦麥達維爾[7]，父亲朱利叶斯·马西森·图灵（Julius Mathison Turing，1873—1947）在英属印度马德拉斯省（今奥里萨邦）恰特拉普尔政府任公务员[18][19]，祖父约翰·罗伯特·图灵牧师（Rev. John Robert Turing）出生在荷兰的一个苏格兰商业世家，家里有位從男爵。图灵母亲埃塞尔·萨拉·图灵[c]（Ethel Sara Turing，1881—1976）是马德拉斯铁路首席工程师爱德华·沃勒·斯托尼（Edward Waller Stoney）之女。斯托尼一家是盎格魯愛爾蘭人，信奉新教，在蒂珀雷里郡和朗福德郡属于绅士阶级，不过埃塞尔的童年多数在克莱尔郡度过[20]。
朱利叶斯在印度公务员局的工作让他家人来到印度，当时他的父亲在孟加拉军队当将军。不过朱利叶斯和埃塞尔希望孩子们能在英国长大，于是搬到了伦敦的麥達維爾[21]。原为图灵故居的柱廊酒店[18][22]外有一块蓝色牌匾，上面记载艾伦·图灵于1912年6月23日出生[23][24]。图灵有一个哥哥，叫约翰，是图灵男爵世家第12代男爵约翰·德莫特·图灵爵士的父亲[25]。
图灵少年时代，父亲仍有公务员职责在身，他与妻子在英国黑斯廷斯[26]和印度两地奔波，将两个儿子托付给英国陆军的一对退伍夫妇。图灵在黑斯廷斯期间住在海边的圣伦纳兹上迷宫山（Upper Maze Hill）的巴斯顿旅馆。旅馆外有一块蓝色牌匾[27]，在2012年6月23日图灵百岁诞辰纪念日揭幕[28]。
图灵儿时天赋异禀，铸就了他日后天才的人生[29]。1927年，父母在吉尔福德买下一栋房子，学校放假的时候，图灵就会在那边。房子外也有一块蓝色牌匾[30]。
教育
编辑图灵6岁到9岁在海边的圣伦纳兹查尔斯路20号（20 Charles Road）圣迈克尔斯小学（St Michael's）就读。校长非常认可图灵的才华，说自己见过很多聪明、刻苦用功的男孩，但“图灵完全是天才”[31]。
1922年至1926年，图灵来到萨塞克斯郡（今东萨塞克斯郡）法兰特村私立学校黑兹赫斯特预科学校（Hazelhurst Preparatory School）读书[32]，之后在1926年以13岁之龄转学到多塞特郡商业重镇谢尔本寄宿私立学校谢尔本学校[33]，借住韦斯科特之家（Westcott House）。图灵上学第一天恰逢1926年英国大罢工，但他毅然决定上学，独自踩着自行车，从南安普顿骑了60英里（97公里）的路程，去谢尔本上学，中途在一家客栈过夜[34]。
图灵天生喜欢数学和科学，但谢尔本的学校更看重古典学的教学，所以那里的老师看不起他。校长曾写信给他的父母：“我希望他将来不会落到两头不到岸的境地。如果他要留在公立学校，就必须要用‘知识渊博’的模样。如果他只想成为‘科学专家’，那他待在公立学校就是浪费时间[35]。”尽管如此，图灵还是在自己喜欢的研究领域大放异彩：1927年，没接触初级的微积分学知识的他，已经可以解决高级的难题。1928年，16岁的图灵接触到阿尔伯特·爱因斯坦的著作，不仅掌握到书中的内容，而且还从意义含糊的文字中，推测到爱因斯坦对牛顿运动定律有所质疑[36]。
克里斯托弗·莫科姆
编辑图灵在谢尔本结识到同窗好友克里斯托弗·科兰·莫科姆（Christopher Collan Morcom，1911年7月13日—1930年2月13日）[37]，他是图灵的“初恋”。两人的浪漫关系鼓励图灵过好之后的人生，但最终因莫科姆于1930年2月去世而告终。几年前，莫科姆饮用受污染的牛奶，患上牛结核病，最终因该病并发症病逝[38][39][40]。
图灵陷入莫大的悲伤，需要更加努力研究和莫科姆一起提出的科学和数学课题，才能分散注意力。图灵在写给莫科姆母亲的信中说：
我敢肯定，这么聪明、有魅力、不自负的伴侣，我在别的地方不可能找到。我对自己研究及天文学（他带我进去的）的兴趣，可以和他分享。他对我的感觉，我认为也有点是这样的......我必须将更多的精力投入到自己的研究中，就好像他还在世一样，因为这是他希望我去做的事情[41]。
莫科姆死后，图灵和他母亲一直保持联系。到了莫科姆忌日，图灵一般会写信给对方，对方则给他寄礼物[42]。莫科姆第三个忌日的前一天（1933年2月13日），图灵写信给他母亲：
希望您收到这封信的时候，能想起克里斯。我也会想起他。之所以给您写这封信，是想告诉您，明天我和您一样会想起克里斯。我敢相信，如果他还在，一定会很开心。您深情的艾伦[43]。
部分人推测莫科姆的死让图灵不信教，成为唯物主义者[44]。显然，到了这个时候，他仍然认为精神独立于肉体，肉体死亡，精神永存。后来他在写给莫科姆母亲的信中说：
在我看来，精神确实永远跟物质联系在一起，但肯定不会和肉体那样的物质串连......至于精神和肉体间的实际关联，我认为肉体可以保存‘精神’，但肉体是活着的、醒着的，两者紧密联系。肉体沉睡的时候，我猜不出肉体会发生什么。但肉体消亡的时候，肉体的‘机制’，保存中的‘精神’消失了，精神迟早或者马上去找一副新的肉体[45][46]。
大学生涯与可计算性的研究工作
编辑离开谢尔本，图灵于1931年到1934年在剑桥大学国王学院读本科[7]，取得数学系一等荣誉。1935年，22岁的图灵凭借证明中心极限定理的毕业论文，成为国王学院院士[47]。不过委员会不知道该定理早在1922年就被贾尔·瓦尔德马·林德伯格证明[48]。
1936年，图灵发表论文《论可计算数与其在可判定性中的应用》[49]。文章于11月30日和12月23日分两篇在《伦敦数学学会会刊》（Proceedings of the London Mathematical Society）发表[50]。在該論之前，庫爾特·哥德爾已於1931年發表了證明與計算的極限相關的結果，後來被稱作哥德爾不完備定理，而圖靈則修改哥德爾文章中的部分設定，將哥德爾的泛算術基礎的形式語言修改成一個簡單而形式的理想裝置，也就是眾所周知的圖靈機。1928年，德國數學家大衛·希爾伯特首次提出問題的可判定性這一概念，並且，圖靈證明他的「泛計算裝置」有能力執行所有可以用演算法表示出來的數學計算。
他之后继续证明决定性问题无解，一开始是提出停机问题是图灵机的决定性问题，不可能通过算法判断图灵机会不会停止。这篇论文被认为“很容易成为历史上最有影响力的数学论文”[51]。
图灵证明发表前不久，阿隆佐·邱奇才自己的Λ演算法提出等价的证据[52]，但图灵的方法比邱奇更简单、更直观[53]。图灵在证明中构思一种了“通用机”，也就是现在的通用图灵机，认为这种机器能执行其他计算机器的任务（这一点邱奇的Λ演算法确实能做到）。根据邱奇－图灵论题，图灵机和Λ演算法能够计算一切可计算的事物。约翰·冯·诺伊曼认为现代计算机的中央思想源于图灵的论文[54]。时至今日，图灵机仍是计算理论研究领域的重点课题。
1936年9月到1938年7月，图灵大部分时间都在普林斯顿大学师从邱奇[4]，第二年出任简·伊丽莎·普罗克特访问学者。除了单纯研究数学，图灵还钻研密码学，完成了电动乘法器四个建造阶段的前三个[55]。1938年6月，获普林斯顿大学数学系博士学位[56]，其论文《基于序数的逻辑系统》[57][58]介绍了序数逻辑概念及相对的计算方法。约翰·冯·诺伊曼想请他当博士后助理，但他回到了英国[59]。
研究
编辑当图灵回到剑桥时，他参加了1939年路德维希·维特根斯坦关于数学基础的讲座。[60]讲座已根据学生的笔记逐字重建，包括图灵和其他学生的感叹词。[61]图灵和维特根斯坦争论不休，图灵为数学形式辩护，而维特根斯坦提出他的观点，即数学不发现任何绝对真理，而是发明它们。[62]
密码分析
编辑在第二次世界大战期间，图灵是在布萊切利園破解德国密码的主要参与者。历史学家和战时密码破译者Asa Briggs曾说过：“你需要非凡的才能，你需要布莱切利的天才，而图灵就是那个天才。”[63]
1938年9月起，图灵在英国密码破译机构政府密碼學校兼职，与高级密码破解员第利·诺克斯专责对纳粹德国的恩尼格玛机进行密码解析[64]。1939年7月，波兰密码局在华沙附近召集会议，向英国和法国提供了恩尼格玛机转子的接线，以及他们解码恩尼格玛密码机信息的方法。图灵和诺克斯依照这些信息，开发出更为广泛的方案[65]。波兰的方法依赖并不安全的分析仪手段，这个环节德国人很容易更改，实际上他们在1940年5月改过一次。图灵的方法更加通用，用的是基于婴儿床的破解方法（“婴儿床”为布莱切利园对任何已知明文或可疑明文的代称），并以此开发出炸弹机（波兰炸弹机的改良版）的功能参数[66]。
1939年9月4日，英国对德国宣战的第二天，图灵来到政府密码学校的战时站点布莱切利园报道[67]。和其他来报道的人一样，他需要签署《官方保密法》，同意不透露布莱切利园的工作内容，否则因违反法律而面临严重的法律处罚[68]。
指明炸弹机是图灵在战时为密码分析学取得的其中一项重大进展，另外四项为推导德国海军使用的分析仪程序、开发代号班布里莫斯的统计程序提供密码机运作效率、开发代号图灵里的程序找出洛伦兹 SZ 40/42密码机凸轮的设置，以及在战争快结束的时候为汉斯洛普园开发代号“大丽花”的加密语音加扰器。
图灵在解密过程中，利用统计技术优化对不同概率的试验，为这一课题作出突出贡献。他在《概率在密码学中的应用》（The Applications of Probability to Cryptography）[69]和《关于重复的统计论文》（Paper on Statistics of Repetitions）[70]两篇文章中讨论的数学方法，受到密码学校和后来的政府通信总部重视，相关内容直到图灵百岁诞辰2012年4月前才由英國國家檔案館公开。仅自称“理查德”（Richard）的政府通信总部数学家当时曾说，这些内容按照《官方保密法》被保密约70年，足以证明其重要性及对战后密码分析学的关联性[71]：
他表示，这些内容一直被限制，‘证明它对我们学科的基础有着非常大的重要性’......这些论文详细记述用‘数学分析找出最有可能的设定，方便破译人员尽可能迅速地进行尝试’的方法......理查德说政治通信总部现在已经‘榨干了（两篇论文）的果汁’，‘愿意把他们放上公有领域’。
图灵在布莱切利园是出了名的古怪，同事一般叫他‘教授’，把他对恩尼格玛机的内容称为“教授的著作”[72]。根据历史学家罗纳德·勒温，曾和图灵共事的密码分析师杰克·古德回忆道：
每年六月第一个礼拜，他都会患上严重的花粉症。他骑自行车去办公室的时候，都会戴上军用防毒面具，防止吸入花粉。他的自行车有个毛病，就是链条会定期松脱，但他不拿去修理，而是依照踏板转动次数算出它什么时候会掉下来，那到时候，他就会亲手换链条了。他还有个毛病，就是把马克杯用铁链拴在暖气管上，防止别人偷走[73]。
彼得·希尔顿在《美国百年数学史》一书的文章《布莱切利园的回忆》中，提到自己和图灵共事的经历[74]：
遇见真正的天才是一种很罕见的体验。我们这些生活在学术世界的人，都很熟悉被才华横溢的同事醍醐灌顶的体验。我们可以欣赏他们的想法，一般也能理解他们的想法从何而来。我们甚至经常以为自己也能提出这样的概念，诞生这样的想法。但是，和天才头脑碰撞的体验是完全不同的，就像一个人意识到自己站在天才的面前，对方又有着深度和独创性非常高的敏感性，会变得讶异和兴奋，而艾伦·图灵就是那样的天才。而像我一样，因为第二次世界大战的诡异紧张兴奋得到惊人且意想不到的机会，和图灵做同事和朋友的人们，永远不会忘记那段经历，永远不会丢失他给我们带来的深厚影响。
希尔顿在公共广播电视公司Nova纪录片《解码纳粹秘密》（Decoding Nazi Secrets）也提到类似的想法[75]。
在布莱切利园工作期间，身为长跑健将的图灵经常跑40英里（64公里）的路去伦敦开会[76]，跑步水平达到世界级马拉松标准[77][78]图灵参加1948年英国奥运代表队试训，但因为受伤退出。他的马拉松试训成绩只比凭借2小时35分钟获得银牌的英国选手托马斯·理查德（Thomas Richards）慢了11分钟。图灵是沃尔顿竞技俱乐部（Walton Athletic Club）的最佳跑手，这个事实是他在超越大部队独自奔跑时发现的[79][80][81]。
被问到为什么这么努力地练跑步，他说：
我的工作很紧张，只有在努力跑步的时候才能忘掉，这是我释放压力的唯一方式[82]。
由于一些反事实历史的问题，Ultra情报部门在二战期间发挥的确切作用很难估计[83]。但是，官方战争历史学家哈里·欣斯利估计这项研究将欧洲的战事缩短了两年多，拯救了1400万人[84]。
战争结束时，布莱切利园的员工都收到一份备忘录，提醒他们《官方保密法》的效力并不会随着战争结束而失效，而是一直持续下去[68]。正因为如此，图灵1946年因战时的工作获国王乔治六世颁发大英帝国勋章后，其研究成果仍被保密许多年[85][86]。
解碼器「炸彈」
编辑在到達布萊切利園的幾週內[67]，圖靈優化波蘭解碼器「炸彈」，成功加速破解納粹德國的恩尼格瑪密碼機，從而設計出自己的同名機電裝置「炸彈」，不過波蘭的解碼器名是波蘭語的炸彈 bomba，而圖靈則是以法語將他的解碼器命名為 bombe。接受了數家Gordon Welchman的建議而做出修正之後，圖靈的「炸彈」成為了衝擊恩尼格瑪密碼機加密資訊最重要的手段之一，也成為最主要的所有自動化工具。[87]
The bombe searched for possible correct settings used for an Enigma message (i.e., rotor order, rotor settings and plugboard settings) using a suitable crib: a fragment of probable plaintext. For each possible setting of the rotors (which had on the order of 1019 states, or 1022 states for the four-rotor U-boat variant),[88] the bombe performed a chain of logical deductions based on the crib, implemented electromechanically.[89]
The bombe detected when a contradiction had occurred and ruled out that setting, moving on to the next. Most of the possible settings would cause contradictions and be discarded, leaving only a few to be investigated in detail. A contradiction would occur when an enciphered letter would be turned back into the same plaintext letter, which was impossible with the Enigma. The first bombe was installed on 18 March 1940.[90]
By late 1941, Turing and his fellow cryptanalysts Gordon Welchman, Hugh Alexander and Stuart Milner-Barry were frustrated. Building on the work of the Poles, they had set up a good working system for decrypting Enigma signals, but their limited staff and bombes meant they could not translate all the signals. In the summer, they had considerable success, and shipping losses had fallen to under 100,000 tons a month; however, they badly needed more resources to keep abreast of German adjustments. They had tried to get more people and fund more bombes through the proper channels, but had failed.[91]
On 28 October they wrote directly to Winston Churchill explaining their difficulties, with Turing as the first named. They emphasised how small their need was compared with the vast expenditure of men and money by the forces and compared with the level of assistance they could offer to the forces.[91] As Andrew Hodges, biographer of Turing, later wrote, "This letter had an electric effect."[92] Churchill wrote a memo to General Ismay, which read: "ACTION THIS DAY. Make sure they have all they want on extreme priority and report to me that this has been done." On 18 November, the chief of the secret service reported that every possible measure was being taken.[92] The cryptographers at Bletchley Park did not know of the Prime Minister's response, but as Milner-Barry recalled, "All that we did notice was that almost from that day the rough ways began miraculously to be made smooth."[93] More than two hundred bombes were in operation by the end of the war.[94]
8号营房与海军恩尼格玛机
编辑圖靈決定解決德國海軍謎團這一困難問題，"因為沒有人在做這方面的工作，我可以自己來做。"”。[96] 1939年12月，圖靈解決了海軍指示系統的基本部分，它比其他部門使用的指示系統更複雜。[96][97]
同一天晚上，他還構思了 Banburismus的想法，這是一種順序統計技術（沃德·亚伯拉罕後來稱之為順序分析），以協助破解海軍英格瑪，"儘管我不確定它在實踐中是否可行，事實上，直到有些日子真的破解了才確定。[96] 為此，他發明了一種衡量證據重要性的標準，他稱之為禁令 (單位)。禁令可以排除恩尼格玛机转子的某些序列，大大減少了在炸彈上測試設置所需的時間。[98] 後來，這種用分班（禁令的十分之一）積累足夠的證據重量的順序過程被用於洛倫茲密碼的加密分析。[99]
1942年11月，圖靈前往美國[100]，在華盛頓與美國海軍的密碼學家一起研究海軍的英尼碼和轟炸機的構造；他還參觀了他們在俄亥俄州代頓的電腦實驗室。
圖靈對美國轟炸機設計算不上有興趣:
美國的轟炸機計劃是要生產336架轟炸機，每個輪子都有一個。我曾經對這一方案所隱含的炸彈人小屋程序的概念暗自發笑，但認為指出我們不會真正以這種方式使用它們，並沒有什麼特別的目的。 他們的測試（換向器）很難被認為是完成品，因為他們沒有用電子止動器來測試反彈。似乎沒有人被告知 rods or offiziers or banburismus ，除非有意改進。[101]
在這次旅行中，他還在貝爾實驗室協助開發安全語音設備[102] 他於1943年3月返回布萊切利莊園。在他離開期間，Hugh Alexander正式擔任了8號小屋的負責人，儘管亞歷山大在一段時間內一直是事實上的負責人（圖靈對該部門的日常運作興趣不大）。圖靈成為布萊切利莊園密碼分析的一般顧問。[103]
亞歷山大在談到圖靈的貢獻時寫道。:
任何人都不應該懷疑，圖靈的工作是Hut 8成功的最大因素。在早期，他是唯一認為這個問題值得解決的密碼學家，他不僅主要負責小屋內的主要理論工作，而且他還與韋爾奇曼和基恩分享了發明炸彈的主要功勞。要說誰是 "絕對不可缺少的 "總是很困難的，但如果說誰是第八小屋不可缺少的，那就是圖靈。當經驗和例行公事後來使一切看起來都很容易時，先驅者的工作總是傾向於被遺忘，而我們第8小屋的許多人認為，圖靈的貢獻之大從未被外部世界充分認識。[104]
图灵方法
编辑1942年7月，圖靈設計了一種被稱為 Turingery（或開玩笑說是Turingismus）[105]的技术，用于对付德国人新的秘密作家（德語：Geheimschreiber）机器产生的 洛伦兹密码 密码信息。这是在布莱切利莊园的一个teleprinter rotor cipher attachment的密码附件，代号为Tunny。Turingery是一种wheel-breaking的方法 i.e., a procedure for working out the cam settings of Tunny's wheels.[106]他还将Tunny团队介绍给了Tommy Flowers即是在Max Newman的指导下，Max Newman,建造巨人计算机的學者，巨人计算机是世界上第一台可编程的数字电子计算机，它取代了之前更简单的机器（the Heath Robinson），其卓越的速度使统计解密技术能够有效地应用于信息。[107]有些人錯誤地認為圖靈是巨人计算机計算機設計中的關鍵人物。图灵里和班伯里斯的统计方法无疑为洛伦兹密码的密码分析提供了思路，cryptanalysis of the Lorenz cipher,[108][109]但他没有直接参与Colossus的开发。[110]
黛利拉
编辑圖靈在貝爾實驗室工作後，[111] 致力於對電話系統中的語音進行加密。戰爭後期，他轉到漢斯洛普公園的特勤局無線電安全處 （即後來的HMGCC）。 在工程師Donald Bayley的協助下，他進一步學習了電子方面的知識，並一起設計製造了一個代號為Delilah的便攜式安全語音通訊機。[112] 這台機器適應於多種不同的用途，但它缺乏長距離無線電傳輸的能力。 無論如何，Delilah都發明得太遲，無法在戰爭期間使用。 儘管該系統完全可以運作，圖靈也向官員展示過——用它來加密和解密邱吉爾的演講錄音，Delilah仍然並未被採用。[113]圖靈也與貝爾實驗室協商開發 SIGSALY，這是一種在戰爭末期使用的安全語音系統。
雏形计算机与图灵测试
编辑
在1945和1947年间，图灵在汉普顿 (伦敦)居住,[114] 其时他在英国国家物理实验室研究自动计算机(Automatic Computing Engine)的设计。 他在1946年2月19日发表了一片论文，它是存储程序计算机的第一个细节的设计。[115]冯·诺伊曼 不完整的“EDVAC报告书的第一份草案”比图灵的论文早，但它的细节少很多，并且，根据NPL 数学部主管John R. Womersley，它“包含一些图灵自己的想法”。[116]
虽然ACE是一个可行的设计，但是围绕布莱切利园战时工作的Official Secrets Act使得图灵不可能解释他分析包括人类操作者的计算机安装的基础。.[117] 这导致了项目开始的延迟，他的幻想破灭了。在1947年末，他返回了剑桥，度过了一个休假年。在此期间，他创作了一部关于智能机械的开创性工作，它在图灵的有生之年里没有出版。[118] 当他在剑桥时，没有他的情况下建造了Pilot ACE。它在1950年5月10日运行了第一个程序，世界各地的许多后来的计算机都归功于它，包括English Electric DEUCE 和美国的 Bendix G-15。图灵的ACE的完整版本直到他去世也没有被建造。[119]
根据Genscher, Düsseldorf发表的德国计算机先驱者，马克斯·普朗克物理学研究所的Heinz Billing回忆录，图灵和康拉德·楚泽曾经有过一次见面。[120] 它在1947年哥廷根发生。审问采用座谈会的形式。 参与者是来自英格兰的 Womersley、Turing、Porter 和一些德国研究人员，如 Zuse、Walther 和 Billing（更多详细信息请参见 Herbert Bruderer、Konrad Zuse und die Schweiz）。
1948年，图灵被任命为曼彻斯特维多利亚大学数学系reader。一年后，他成为了计算机器实验室副主任，他在其研究最早的冯·诺伊曼结构计算机之一，曼切斯特1型的软件。图灵撰写了这台机器的第一版程序员手册，并被 Ferranti 聘为他们商业化机器 Ferranti Mark 1 开发的顾问。直到他去世，Ferranti 仍然继续向他支付咨询费。.[121]在这段时间，他继续做更加抽象的数学工作， [122] 在“Computing Machinery and Intelligence”（Mind，1950 年 10 月）中，图灵解决了人工智能的问题，并提出了一个后来被称为图灵测试的实验，试图为称为“智能”的机器定义一个标准。想法是一台计算机可以被认为“思考”，如果一个人类审问者不能通过谈话将其与一个人类分开。[123]论文中，图灵建议与其建立一个模拟成年人意识的程序，不如先建立一个模拟孩童思想的程序，然后让它接受教育。一个图灵测试的反向形式在因特网上被广泛地使用；验证码测试是为了确定用户是人类还是机器人。
在1948年，图灵与他的前本科同事 D.G. Champernowne 工作，开始为一个尚不存在的电脑编写一个国际象棋程序。到了1950年，程序已经完成，并被称为Turochamp。[124]在1952年，他尝试在Ferranti Mark 1上实现它，但是计算机由于缺乏足够功率，无法运行程序。替代地，图灵通过在棋盘上执行算法的指令，每次移动大约半小时，“运行”了程序。这场棋局被记录下来。[125] 根据加里·基莫维奇·卡斯帕罗夫，图灵的程序“下了一盘有辨识度的国际象棋。”[126]程序输给了图灵的同事Alick Glennie，虽然说它跟Champernowne的妻子Isabel赢了一局。[127]
他的图灵测试对关于人工智能的辩论做出了重要的、典型的、刺激的和持久的贡献，这场辩论在半个多世纪后仍在继续。[128]
图灵斑图与数理生物学
编辑1951年，圖靈39歲，他轉向數理生物學，終於在1952年1月，發表名篇《形態發生的化學基礎》。圖靈有志研究形态发生，即生物體的形態、圖案如何產生。他提出，一個反應-擴散系統，即若干種化學物質一邊互相反應，一邊擴散而形成的系統，可以解釋「形態發生的主要現象」（"the main phenomena of morphogenesis"）。[129]他探用偏微分方程組，為有催化的化學反應建模。例如，若某化學反應需要催化劑甲才發生，但該反應本身亦產生催化劑甲，則稱該反應自催化，是個正回饋系統，可以用非線性微分方程描述。圖靈發現，若反應不僅產生催化劑甲，還同時產生抑制劑乙，抑劑甲的產生，而兩者以不同的速率在容器中擴散，則可以有某些區域由甲佔主導，另一些區域由乙主導，從而產生圖案。若要準確模擬此現象，需要強大的電腦，但在1951年不易取用，所以圖靈僅能考慮方程的線性近似，以紙筆解出。其計算給出正確的定性結論，例如推斷出由某種均勻混合物開始，可以出奇地產生固定間距的紅點。俄國生化學家鮑里斯·別洛烏索夫曾得出類似的實驗結果，但未能發表論文，因為當時的成見認為，任何此種現象必然違反热力学第二定律。別氏未曾知道圖靈在《自然科学会报》發表了論文。[130]:126
雖然圖靈發表論文的時間，尚早於學界明白DNA結構和功用的時間，但圖靈對形態發生的研究，至21世紀仍具意義，在數理生物領域被視為具開創性。[131]作為該論文的早期應用，詹姆士·莫瑞解釋了大小貓科動物的毛如何形成斑點與條紋。[132]:80[133][130]:134後續研究指出，生物之所以長出「羽毛、毛囊、肺的分枝結構」，甚至為何有「將心臟置於左胸的左右不對稱性」，皆可由圖靈的論文部分解釋。[134]2012年，舍思等人發現，移除鼠的同源异形基因，會增加指頭的數目，而不改變肢體的整體大小，推論該種基因控制指頭生長的機制，是藉由調校某個圖靈斑圖的波長（即前段機制中，圖案的間距）。[135]此後圖靈的論文，要待1992年《圖靈文集》（Collected Works of A. M. Turing）出版，才見諸市面。[136]
个人生活
编辑订婚
编辑1941年，图灵向Hut 8的同事、数学家和密码分析师Joan Clarke求婚，然而他们的订婚很短暂。在向未婚妻承认了自己的同性恋身份后，图灵决定不再继续这段婚姻，据报道其未婚妻对这一消息“泰然自若”。[137]
猥亵罪
编辑1952年1月，39岁的图灵与19岁无业男子阿诺德·穆雷（Arnold Murray）相恋。在上一年圣诞节前夕，图灵走在曼彻斯特的牛津路，在富豪电影院门外遇到穆雷，遂请他共进午餐。1月23日，图灵家遭窃，穆雷说自己和盗窃犯是熟人，图灵则向警方报告案件。调查期间，图灵承认自己爱上穆雷。然而同性恋当时在英国属于刑事犯罪[138]，两人最终按照《1885年刑法修正案》第11条被控“严重猥亵罪”[139]。案件预审于同年2月27日举行，期间图灵律师“保留辩护权利”，即没有就相关指控提出证据或进行辩护。
后来在哥哥及辩护律师的说服下，图灵选择认罪[140]。案件最终以“女王诉图灵及穆雷案”的名义于1952年3月31日正式开审[141]。图灵选择认罪，可以在服刑及缓刑之间做出选择，而缓刑的条件是同意进行激素的治疗，以降低性冲动。图灵选择注射当时叫做芪雌酚（也就是现在的己烯雌酚）的合成雌性激素，身体会在之后一年产生雌性反应，包括出现勃起功能障碍、乳房组织发育[142]。这种感受直接和图灵的预测相吻合：“毫无疑问我会变成一个完全不同的男人，还没有遇到过的那种[143][144]。”与此同时，穆雷获得有条件假释[145]。
被判刑后，图灵从事安全工作的资格被撤销，无法在英国信号情报机构政府通信总部担任密码学顾问，但他可以继续从事学术工作。除此之外，图灵也无法进入美国，但可以自由前往其他欧洲国家[146]。
死亡
编辑
1954年6月8日，圖靈於威姆斯洛艾靈頓路43號的家中[147]被其管家發現已經身亡，時年41歲。他的死被判定為是由氰化物中毒導致[148]。當他的屍體被發現時，其床邊有一個吃了一半的蘋果。雖然蘋果本身沒有驗出氰化物[149]，仍然有猜測認為圖靈通過進食這個蘋果吸取了致命劑量的氰化物。隨後進行的死因研訊斷定圖靈是自殺。霍奇斯及另一名傳記作者大衛·萊維特皆推測圖靈是在重演華特·迪士尼在1937年製作的《白雪公主》電影的一幕，因為該故事是圖靈最喜愛的童話。萊維特在著作中提到他與霍奇斯皆認為圖靈「特別為故事中壞王后把蘋果浸進毒藥的一幕著迷」[150]。
圖靈的遺體在1954年6月12日[151]於沃金火葬場火化。與其父一樣，圖靈的骨灰被散到火葬場花園內的每一角落[152]。
哲學家傑克·科普蘭對有關當局的結論感到質疑，並對提出了另一個解釋：圖靈可能是意外吸入電鍍裝置釋出的氰化物氣體而死。當時圖靈在一個小房間裏設置了一個在餐匙上鍍金的實驗裝置，而氰化鉀因為能溶解金而成為這個實驗的必需品。科普蘭指出，圖靈的驗屍報告顯示他較可能是吸入毒氣而非服用毒物。此外，圖靈睡前有進食蘋果的習慣，而他沒吃完蘋果就把它放下也是很正常的事[15]。與此同時，從已知的紀錄顯示，圖靈本人對他被定罪和被迫服食荷爾蒙的事「一笑置之」（而且在他去世時，他已經停止服藥達一年），而他去世前亦沒有任何抑鬱跡象。他甚至寫下了一個在度假後打算完成的事項清單，顯示他十分期待自己恢復工作[15]。圖靈的母親亦相信兒子是意外身亡，因為他並不謹慎處理實驗用的化學物品[16]。為圖靈作傳的安德魯·霍奇斯則認為圖靈故意在母親面前安排運送實驗器材，讓她得知人們指稱他是自殺而死時，可加以否認[17]。
此外，有說法認為圖靈愛好算命是其情緒低落的原因[152]。在圖靈年輕時，有算命師推算他會成為一名天才。1954年5月中旬某天，圖靈偕同其精神科醫生法蘭茲·格林鮑姆（Franz Greenbaum）一家前往萊薩姆聖安納斯[152]。據格林鮑姆的女兒芭芭拉（Barbara）憶述[153]：
那是一個可人、陽光普照的一天。艾倫心情甚佳並與我們一同出發…… 然後他認為前往黑池的快活海灘是個好主意。我們在那裏看到一個算命師帳篷，然後艾倫說他想進去，於是我們在外面等候他回來…… 之後這副陽光、高興的臉孔就萎縮成一副蒼白、動搖、恐懼的面容。肯定有甚麼事發生了。我們不知道那個算命師說了甚麼，但他明顯非常不開心。我想這應該是我們得知他自盡身亡之前最後一次見到他。
政府道歉与赦免
编辑In August 2009, British programmer John Graham-Cumming started a petition urging the British government to apologise for Turing's prosecution as a homosexual.[154][155] The petition received more than 30,000 signatures.[156][157] The Prime Minister, Gordon Brown, acknowledged the petition, releasing a statement on 10 September 2009 apologising and describing the treatment of Turing as "appalling":[156][158]
Thousands of people have come together to demand justice for Alan Turing and recognition of the appalling way he was treated. While Turing was dealt with under the law of the time and we can't put the clock back, his treatment was of course utterly unfair and I am pleased to have the chance to say how deeply sorry I and we all are for what happened to him ... So on behalf of the British government, and all those who live freely thanks to Alan's work I am very proud to say: we're sorry, you deserved so much better.[156][159]
In December 2011, William Jones and his Member of Parliament, John Leech, created an e-petition[160] requesting that the British government pardon Turing for his conviction of "gross indecency":[161]
We ask the HM Government to grant a pardon to Alan Turing for the conviction of "gross indecency". In 1952, he was convicted of "gross indecency" with another man and was forced to undergo so-called "organo-therapy"—chemical castration. Two years later, he killed himself with cyanide, aged just 41. Alan Turing was driven to a terrible despair and early death by the nation he'd done so much to save. This remains a shame on the British government and British history. A pardon can go some way to healing this damage. It may act as an apology to many of the other gay men, not as well-known as Alan Turing, who were subjected to these laws.[160]
The petition gathered over 37,000 signatures,[160][162] and was submitted to Parliament by the Manchester MP John Leech but the request was discouraged by Justice Minister Lord McNally, who said:[163]
A posthumous pardon was not considered appropriate as Alan Turing was properly convicted of what at the time was a criminal offence. He would have known that his offence was against the law and that he would be prosecuted. It is tragic that Alan Turing was convicted of an offence that now seems both cruel and absurd—particularly poignant given his outstanding contribution to the war effort. However, the law at the time required a prosecution and, as such, long-standing policy has been to accept that such convictions took place and, rather than trying to alter the historical context and to put right what cannot be put right, ensure instead that we never again return to those times.[164]
John Leech, the MP for Manchester Withington (2005–15), submitted several bills to Parliament[165] and led a high-profile campaign to secure the pardon. Leech made the case in the House of Commons that Turing's contribution to the war made him a national hero and that it was "ultimately just embarrassing" that the conviction still stood.[166] Leech continued to take the bill through Parliament and campaigned for several years, gaining the public support of numerous leading scientists, including Stephen Hawking.[167][168] At the British premiere of a film based on Turing's life, The Imitation Game, the producers thanked Leech for bringing the topic to public attention and securing Turing's pardon.[169] Leech is now regularly described as the "architect" of Turing's pardon and subsequently the Alan Turing Law which went on to secure pardons for 75,000 other men and women convicted of similar crimes.[170][171][172][173][174][175][176][177][178][179][180]
On 26 July 2012, a bill was introduced in the House of Lords to grant a statutory pardon to Turing for offences under section 11 of the Criminal Law Amendment Act 1885, of which he was convicted on 31 March 1952.[181] Late in the year in a letter to The Daily Telegraph, the physicist Stephen Hawking and 10 other signatories including the Astronomer Royal Lord Rees, President of the Royal Society Sir Paul Nurse, Lady Trumpington (who worked for Turing during the war) and Lord Sharkey (the bill's sponsor) called on Prime Minister David Cameron to act on the pardon request.[182] The government indicated it would support the bill,[183][184][185] and it passed its third reading in the House of Lords in October.[186]
At the bill's second reading in the House of Commons on 29 November 2013, Conservative MP Christopher Chope objected to the bill, delaying its passage. The bill was due to return to the House of Commons on 28 February 2014,[187] but before the bill could be debated in the House of Commons,[188] the government elected to proceed under the royal prerogative of mercy. On 24 December 2013, Queen Elizabeth II signed a pardon for Turing's conviction for "gross indecency", with immediate effect.[189] Announcing the pardon, Lord Chancellor Chris Grayling said Turing deserved to be "remembered and recognised for his fantastic contribution to the war effort" and not for his later criminal conviction.[162][190] The Queen officially pronounced Turing pardoned in August 2014.[191] The Queen's action is only the fourth royal pardon granted since the conclusion of the Second World War.[192] Pardons are normally granted only when the person is technically innocent, and a request has been made by the family or other interested party; neither condition was met in regard to Turing's conviction.[193]
In September 2016, the government announced its intention to expand this retroactive exoneration to other men convicted of similar historical indecency offences, in what was described as an "Alan Turing law".[194][195] The Alan Turing law is now an informal term for the law in the United Kingdom, contained in the Policing and Crime Act 2017, which serves as an amnesty law to retroactively pardon men who were cautioned or convicted under historical legislation that outlawed homosexual acts. The law applies in England and Wales.[196]
影响
编辑奖项与荣誉
编辑
圖靈在1946年被授予大英帝國勳章官佐勳章[86]，後在1951年當選為皇家學會院士[8]。 曼彻斯特作為圖靈自工作直至離世所居住的城市，用了各種方式來紀念他。1994年，曼徹斯特中的一段環路以其名字命名，這條路所行經的橋拓寬後亦以他爲名。在2001年6月23日，圖靈雕像在曼徹斯特大學和运河街附近的公園落成，這位“計算機科學之父”坐在公園中心位置的一張長椅上，手中還拿著一個象徵其自殺時使用的蘋果，身後的長椅鑄有据信為“計算機科學開創者”英文經恩尼格玛密码机加密後的字樣：“IEKYF ROMSI ADXUO KVKZC GUBJ”[d][197]。
雕像腳下的牌匾上寫著“計算機科學之父、數學家、邏輯學家、戰時密碼破譯者、偏見的受害者”。以及伯特兰·罗素的名言：“數學，正確看待時，不僅具有真理，還具有至高的美—一種冷而嚴峻的美，一種如雕塑一般屹立不搖的美。”這位雕塑家將他自己的舊 Amstrad 計算機埋在了基座下，以此向“所有現代計算機的教父”致敬[198]。
1999年，《時代雜誌》提名圖靈爲时代100人：本世纪最重要的人物，並評價道：“時至今日，現在每个人敲擊鍵盤、打開電子表格或文字處理程序，都仍在使用所謂的圖靈機。” [9] 2012 年 6 月 23 日，圖靈誕辰一百週年之際，一塊藍色牌匾在國王學院揭幕，現在安裝在該學院位於 King's Parade 的凱恩斯大樓 [199][200]。
2021 年 3 月 25 日，英格蘭銀行公佈了新版 50 英鎊紙幣的設計，背面印有圖靈的肖像，並在圖靈誕辰 6 月 23 日正式發行。图灵于 2019 年经过公开提名被选为新肖像人選 [201]。
百年诞辰
编辑為紀念圖靈誕辰 100 週年，圖靈百年紀念諮詢委員會 (TCAC) 協調了艾倫圖靈年，這是一項為期一年的全球活動計劃，旨在紀念圖靈的生平和成就。 TCAC 由 S. Barry Cooper擔任主席，圖靈的侄子約翰·德莫特·圖靈爵士擔任名譽主席，合作者包括曼徹斯特大學的教職員工以及來自劍橋大學和布萊切利公園的人士。
钢雕塑争议
编辑2020年5月，据Gay Star News报道，为纪念图灵，英国雕塑家Antony Gormley设计了一座 12英尺（3.7米） 的钢制雕塑。Antony Gormley提案把雕塑建造在剑桥大学国王学院，但英格蘭歷史遺產保護局称一座19块钢板组成的抽象雕塑“…与学院现有的特征不符。这样对于景观和保护建筑，以及对保护区的扩展都会造成一些不那么具实质性的损害。”[202]
注释
编辑参考资料
编辑- ^ 1.0 1.1 由Google学术搜索索引的艾伦·图灵出版物。
- ^ 2.0 2.1 艾伦·图灵在數學譜系計畫的資料。
- ^ Gandy, Robin Oliver. On axiomatic systems in mathematics and theories in physics (PhD论文). University of Cambridge. 1953 [2017-12-09]. doi:10.17863/CAM.16125. EThOS uk.bl.ethos.590164. （原始内容存档于2017-12-09）.
- ^ 4.0 4.1 乔纳森·P·鲍文. The Impact of Alan Turing: Formal Methods and Beyond. 乔纳森·P·鲍文; 刘志明; 张自立 (编). Engineering Trustworthy Software Systems. SETSS 2018 (PDF). 计算机科学讲义 11430. Cham: Springer. 2019: 202–235. ISBN 978-3-030-17600-6. S2CID 121295850. doi:10.1007/978-3-030-17601-3_5. （原始内容存档 (PDF)于2022-10-09） （英语）.
- ^ Ivor Grattan-Guinness, Chapter 40, Turing's mentor, Max Newman. In Copeland, B. Jack; Bowen, Jonathan P.; Wilson, Robin; Sprevak, Mark. The Turing Guide. Oxford University Press. 2017. ISBN 978-0-19-874782-6.
- ^ Who was Alan Turing?. The British Library. [2019-07-29]. （原始内容存档于2019-07-23）.
- ^ 7.0 7.1 7.2 Anon. Turing, Alan Mathison
. 英国名人录. ukwhoswho.com 牛津大学出版社在线版 (布盧姆斯伯里出版公司旗下A & C Black). 2017. doi:10.1093/ww/9780199540884.013.U243891. 需要订阅或英国公共图书馆会员资格
- ^ 8.0 8.1 Newman, M.H.A. Alan Mathison Turing. 1912–1954. Biographical Memoirs of Fellows of the Royal Society. 1955, 1: 253–263. JSTOR 769256. S2CID 711366. doi:10.1098/rsbm.1955.0019 .
- ^ 9.0 9.1 Gray, Paul. Alan Turing – Time 100 People of the Century. Time. 1999-03-29 [2011-01-10]. （原始内容存档于2011-01-19） （英语）.
Providing a blueprint for the electronic digital computer. The fact remains that everyone who taps at a keyboard, opening a spreadsheet or a word-processing program, is working on an incarnation of a Turing machine.
- ^ Sipser 2006，第137頁
- ^ Beavers 2013，第481頁
- ^ Copeland, Jack. Alan Turing: The codebreaker who saved 'millions of lives'. BBC News Technology. 2012-06-18 [2014-10-26]. （原始内容存档于2014-10-11）.
- ^ 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 stated 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 Schilling, Jonathan. Churchill Said Turing Made the Single Biggest Contribution to Allied Victory. The Churchill Centre: Myths. 2015-01-08 [2015-01-09]. （原始内容存档于2015-02-17）. and Hodges, Andrew. Part 4: The Relay Race. Update to Alan Turing: The Enigma. [2015-01-09]. （原始内容存档于2015-01-20）. A BBC News profile piece that repeated the Churchill claim has subsequently been amended to say there is no evidence for it. See Spencer, Clare. Profile: Alan Turing. BBC News. 2009-09-11 [2015-02-17]. （原始内容存档于2017-12-13）.
Update 13 February 2015
Official war historian Harry Hinsley estimated that this work shortened the war in Europe by more than two years but added the caveat that this did not account for the use of the atomic bomb and other eventualities.Hinsley, Harry, The Influence of ULTRA in the Second World War, 1996 [1993] Transcript of a lecture given on Tuesday 19 October 1993 at Cambridge University - ^ Olinick, M. (2021). Simply Turing. United States: Simply Charly, ch. 15.
- ^ 15.0 15.1 15.2 Pease, Roland. Alan Turing: Inquest's suicide verdict 'not supportable'. BBC News. 2012-06-23 [2012-06-23]. （原始内容存档于2012-06-23）.
We have ... been recreating the narrative of Turing's life, and we have recreated him as an unhappy young man who committed suicide. But the evidence is not there.
- ^ 16.0 16.1 TURING, Ethel Sara (1881–1976, mother of Alan Turing). Series of 11 autograph letters to Robin Gandy, Guilford, 28 July 1954 – 11 June 1971 (most before 1959), altogether 29 pages, 8vo (2 letters dated 17 May and 26 May 1955 incomplete, lacking continuation leaves, occasional light soiling). christies.com. [2019-02-06]. （原始内容存档于2019-02-07）.
- ^ 17.0 17.1 Hodges 1983，第488, 489頁
- ^ 18.0 18.1 Hodges 1983，第5頁
- ^ The Alan Turing Internet Scrapbook. Alan Turing: The Enigma. [2012-01-02]. （原始内容存档于2012-10-14）.
- ^ Phil Maguire, "An Irishman's Diary", p. 5. The Irish Times, 23 June 2012.
- ^ London Blue Plaques. English Heritage. [2007-02-10]. （原始内容存档于2009-09-03）.
- ^ The Alan Turing Internet Scrapbook. [2006-09-26]. （原始内容存档于2011-07-20）.
- ^ The Scientific Tourist In London: #17 Alan Turing's Birth Place 互联网档案馆的存檔，存档日期2013-09-21., Nature. London Blog
- ^ Plaque #381 on Open Plaques.
- ^ Sir John Dermot Turing 互联网档案馆的存檔，存档日期2017-10-18. on the Bletchley Park website.
- ^ Hodges 1983，第6頁
- ^ Plaque unveiled at Turing's home in St Leonards. Hastings & St. Leonards Observer. 2012-06-29 [2017-07-03]. （原始内容存档于2017-09-12）.
- ^ St Leonards plaque marks Alan Turing's early years. BBC News. 2012-06-25 [2017-07-03]. （原始内容存档于2017-12-03）.
- ^ Jones, G. James. Alan Turing – Towards a Digital Mind: Part 1. System Toolbox. 2001-12-11 [2007-07-27]. （原始内容存档于2007-08-03）.
- ^ Guildford Dragon NEWS. The Guildford Dragon. 2012-11-29 [2013-10-31]. （原始内容存档于2013-10-19）.
- ^ Cawthorne, Nigel. Alan Turing : the enigma man. London. 2014: 18. ISBN 978-1-78404-535-7. OCLC 890938716.
- ^ Alan Mathison. Alan Turing Archive – Sherborne School (ARCHON CODE: GB1949) (PDF). Sherborne School, Dorset. April 2016 [2017-02-05]. （原始内容存档 (PDF)于2016-12-26）.
- ^ Alan Turing OBE, PhD, FRS (1912–1954). The Old Shirburnian Society. 2016-09-01 [2020-10-10] （英国英语）.
- ^ Hofstadter, Douglas R. Metamagical Themas: Questing for the Essence of Mind and Pattern. Basic Books. 1985: 484. ISBN 978-0-465-04566-2. OCLC 230812136.
- ^ Hodges 1983，第26頁
- ^ Hodges 1983，第34頁
- ^ The Shirburnian
- ^ Caryl, Christian. Poor Imitation of Alan Turing. New York Review of Books. 2014-12-19 [2015-01-09]. （原始内容存档于2015-01-07）. 参数
|newspaper=与模板{{cite web}}不匹配（建议改用{{cite news}}或|website=） (帮助) - ^ Rachel Hassall, 'The Sherborne Formula: The Making of Alan Turing' 互联网档案馆的存檔，存档日期2014-04-15. 'Vivat!' 2012/13
- ^ Teuscher, Christof (编). Alan Turing: Life and Legacy of a Great Thinker. Springer-Verlag. 2004. ISBN 978-3-540-20020-8. OCLC 53434737.
- ^ Hodges 1983，第61頁
- ^ Hodges, Andrew. Alan Turing: The Enigma
. Princeton University Press. 2012: 87. ISBN 978-0-691-15564-7.
- ^ Hodges, Andrew. Alan Turing: The Enigma . Princeton University Press. 2012: 90. ISBN 978-0-691-15564-7.
- ^ Paul Gray, Alan Turing 互联网档案馆的存檔，存档日期2011-01-19. Time Magazine's Most Important People of the Century, p. 2
- ^ Hodges 1983，第82–83頁
- ^ The Old Shirburnian Society
- ^ See Section 3 of John Aldrich, "England and Continental Probability in the Inter-War Years", Journal Electronique d'Histoire des Probabilités et de la Statistique, vol. 5/2 Decembre 2009 互联网档案馆的存檔，存档日期2018-04-21. Journal Electronique d'Histoire des Probabilités et de la Statistique
- ^ Hodges 1983，第88, 94頁
- ^ Turing 1937
- ^ B. Jack Copeland; Carl J. Posy; Oron Shagrir. Computability: Turing, Gödel, Church, and Beyond. MIT Press. 2013: 211. ISBN 978-0-262-01899-9.
- ^ Avi Wigderson. Mathematics and Computation. Princeton University Press. 2019: 15. ISBN 978-0-691-18913-0.
- ^ Church 1936
- ^ Grime, James. What Did Turing Do for Us?. NRICH. University of Cambridge. February 2012 [2016-02-28]. （原始内容存档于2016-03-04）.
- ^ "von Neumann ... firmly emphasised to me, and to others I am sure, that the fundamental conception is owing to Turing—insofar as not anticipated by Babbage, Lovelace and others." Letter by Stanley Frankel to Brian Randell, 1972, quoted in Jack Copeland (2004) The Essential Turing, p. 22.
- ^ Hodges 1983，第138頁
- ^ Turing, A.M. Systems of Logic Based on Ordinals. Proceedings of the London Mathematical Society. 1939, s2–45: 161–228. doi:10.1112/plms/s2-45.1.161. hdl:21.11116/0000-0001-91CE-3 .
- ^ Turing, Alan. Systems of Logic Based on Ordinals (PhD论文). Princeton University. 1938. doi:10.1112/plms/s2-45.1.161. hdl:21.11116/0000-0001-91CE-3 . ProQuest 301792588.
- ^ Turing, A.M. Systems of Logic Based on Ordinals (PDF). 1938 [2012-02-04]. （原始内容 (PDF)存档于2012-10-23）.
- ^ 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
- ^ Hodges 1983，第152頁
- ^ Cora Diamond (ed.), Wittgenstein's Lectures on the Foundations of Mathematics, University of Chicago Press, 1976
- ^ Hodges 1983，第153–154頁
- ^ Briggs, Asa. Britain's Greatest Codebreaker (TV broadcast). UK Channel 4. 2011-11-21.
- ^ Copeland, Jack. Colossus and the Dawning of the Computer Age. Smith, Michael; Erskine, Ralph (编). Action This Day. Bantam. 2001: 352. ISBN 978-0-593-04910-5.
- ^ Copeland 2004a，第217頁
- ^ Clark, Liat. Turing's achievements: codebreaking, AI and the birth of computer science (Wired UK). Wired. 2012-06-18 [2013-10-31]. （原始内容存档于2013-11-02）.
- ^ 67.0 67.1 Copeland, 2006 p. 378.
- ^ 68.0 68.1 Collins, Jeremy. Alan Turing and the Hidden Heroes of Bletchley Park: A Conversation with Sir John Dermot Turing. nationalww2museum.org. New Orleans: The National WWII Museum. 2020-06-24 [2021-08-24].
- ^ Turing, Alan. The Applications of Probability to Cryptography. c. 1941 [2015-03-25]. The National Archives (United Kingdom): HW 25/37. （原始内容存档于2015-04-07）.
- ^ Turing, Alan. Paper on Statistics of Repetitions. c. 1941 [2015-03-25]. The National Archives (United Kingdom): HW 25/38. （原始内容存档于2015-04-08）.
- ^ Vallance, Chris. Alan Turing papers on code breaking released by GCHQ. BBC News. 2012-04-19 [2012-04-20]. （原始内容存档于2012-10-04）.
- ^ Hodges 1983，第208頁
- ^ Lewin 1978，第57頁
- ^ Hilton, Peter. A Century of Mathematics in America, Part 1, Reminiscences of Bletchley Park (PDF). （原始内容存档 (PDF)于2019-08-29）.
- ^ Hilton, Peter. NOVA | Transcripts | Decoding Nazi Secrets | PBS. （原始内容存档于2019-08-29）.
- ^ Brown, Anthony Cave. Bodyguard of Lies: The Extraordinary True Story Behind D-Day. The Lyons Press. 1975. ISBN 978-1-59921-383-5.
- ^ Graham-Cumming, John. An Olympic honour for Alan Turing. The Guardian (London). 2010-03-10 [2016-12-10]. （原始内容存档于2016-12-01）.
- ^ Butcher, Pat. In Praise of Great Men. Globe Runner. 2009-09-14 [2012-06-23]. （原始内容存档于2013-08-18）.
- ^ Hodges, Andrew. Alan Turing: a short biography. Alan Turing: The Enigma. [2014-06-12]. （原始内容存档于2013-09-14）.
- ^ Graham-Cumming, John. Alan Turing: a short biography. The Guardian. 2010-03-10 [2014-06-12]. （原始内容存档于2014-11-08）.
- ^ Butcher, Pat. Turing as a runner. The MacTutor History of Mathematics archive. December 1999 [2014-06-12]. （原始内容存档于2014-11-13）.
- ^ Kottke, Jason. Turing was an excellent runner. kottke.org.
- ^ See for example Richelson, Jeffery T. A Century of Spies: Intelligence in the Twentieth Century. New York: Oxford University Press. 1997: 296. and Hartcup, Guy. The Effect of Science on the Second World War. Basingstoke, Hampshire: Macmillan Press. 2000: 96–99.
- ^ Hinsley, Harry, The Influence of ULTRA in the Second World War, 1996 [1993] Transcript of a lecture given on Tuesday 19 October 1993 at Cambridge University
- ^ Alan Turing: Colleagues share their memories. BBC News. 2012-06-23 [2018-06-21]. （原始内容存档于2018-07-07）.
- ^ 86.0 86.1 This month in history: Alan Turing and the Enigma code. thegazette.co.uk. [2019-02-06]. （原始内容存档于2019-06-26）.
- ^ Welchman, Gordon, The Hut Six story: Breaking the Enigma codes, Cleobury Mortimer, England: M&M Baldwin: 81, 1997 [1982], ISBN 978-0-947712-34-1
- ^ Jack Good in "The Men Who Cracked Enigma", 2003: with his caveat: "if my memory is correct".
- ^ The Turing-Welchman Bombe. The National Museum of Computing. [2021-03-18].
- ^ Oakley 2006，第40/03B頁
- ^ 91.0 91.1 Hodges 1983，第218頁
- ^ 92.0 92.1 Hodges 1983，第221頁
- ^ Copeland, The Essential Turing, pp. 336–337 互联网档案馆的存檔，存档日期2015-02-18..
- ^ Copeland, Jack; Proudfoot, Diane. Alan Turing, Codebreaker and Computer Pioneer. alanturing.net. May 2004 [2007-07-27]. （原始内容存档于2007-07-09）.
- ^ Bletchley Park Unveils Statue Commemorating Alan Turing. [2007-06-30]. （原始内容存档于2007-06-30）.
- ^ 96.0 96.1 96.2 Mahon 1945，第14頁
- ^ Leavitt 2007，第184–186頁
- ^ Gladwin, Lee. Alan Turing, Enigma, and the Breaking of German Machine Ciphers in World War II (PDF). Prologue Magazine. Fall 1997,. Fall 1997: 202–217 [2019-04-13]. （原始内容存档 (PDF)于2019-06-26） –通过National Archives.
- ^ Good, Jack; Michie, Donald; Timms, Geoffrey, General Report on Tunny: With Emphasis on Statistical Methods, Part 3 Organisation: 38 Wheel-breaking from Key, Page 293, 1945 [2019-04-13], UK Public Record Office HW 25/4 and HW 25/5, （原始内容存档于2019-04-21）
- ^ Hodges 1983，第242–245頁
- ^ Turing, Alan M. Visit to National Cash Register Corporation of Dayton, Ohio. Cryptologia. 2001, 25 (1): 1–10. S2CID 14207094. doi:10.1080/0161-110191889734.
- ^ Hodges 1983，第245–253頁
- ^ Marshall Legacy Series: Codebreaking – Events. marshallfoundation.org. [2019-04-07]. （原始内容存档于2019-04-07）.
- ^ Alexander & circa 1945，第42頁
- ^ Copeland 2006，第380頁
- ^ Copeland 2006，第381頁
- ^ Copeland 2006，第72頁
- ^ Gannon 2007，第230頁
- ^ Hilton 2006，第197–199頁
- ^ Copeland 2006，第382, 383頁
- ^ Hodges 1983，第245–250頁
- ^ Hodges 1983，第273頁
- ^ Hodges 1983，第346頁
- ^ Plaque #1619 on Open Plaques.
- ^ Copeland 2006，第108頁
- ^ Randell, Brian. A History of Computing in the Twentieth Century: Colossus (PDF). 1980 [2012-01-27]. （原始内容存档 (PDF)于2012-01-27）. citing Womersley, J.R. 'ACE' Machine Project. Executive Committee, National Physical Laboratory, Teddington, Middlesex. 1946-02-13.
- ^ Hodges, Andrew. Alan Turing: The Enigma. Princeton University Press. 2014: 416. ISBN 978-0-691-16472-4.
- ^ See Copeland 2004b，第410–432頁
- ^ Turing at NPL. [2015-07-03]. （原始内容存档于2015-07-05）.
- ^ Bruderer, Herbert. Did Alan Turing interrogate Konrad Zuse in Göttingen in 1947? (PDF). [2013-02-07]. （原始内容存档 (PDF)于2013-05-21）.
- ^ Swinton, Jonathan. Alan Turing's Manchester. Manchester: Infang Publishing. 2019 [2019-03-18]. ISBN 978-0-9931789-2-4. （原始内容存档于2019-02-17）.
- ^ Turing, A.M. Rounding-Off Errors in Matrix Processes. The Quarterly Journal of Mechanics and Applied Mathematics. 1948, 1: 287–308. doi:10.1093/qjmam/1.1.287. hdl:10338.dmlcz/103139.
- ^ Harnad, Stevan (2008) The Annotation Game: On Turing (1950) on Computing, Machinery and Intelligence 互联网档案馆的存檔，存档日期2017-10-18.. In: Epstein, Robert & Peters, Grace (Eds.) Parsing the Turing Test: Philosophical and Methodological Issues in the Quest for the Thinking Computer. Springer
- ^ Clark, Liat. Turing's achievements: codebreaking, AI and the birth of computer science. Wired. [2013-11-11]. （原始内容存档于2013-11-02）.
- ^ Alan Turing vs Alick Glennie (1952) "Turing Test" 互联网档案馆的存檔，存档日期2006-02-19. Chessgames.com
- ^ Kasparov, Garry, Smart machines will free us all, The Wall Street Journal, 15–16 April 2017, p. c3
- ^ O'Connor, J.J.; Robertson, E.F. David Gawen Champernowne. MacTutor History of Mathematics archive, School of Mathematics and Statistics, University of St Andrews, Scotland. [2018-05-22]. （原始内容存档于2017-10-19）.
- ^ Pinar Saygin, A.; Cicekli, I.; Akman, V. Turing Test: 50 Years Later. Minds and Machines. 2000, 10 (4): 463–518. S2CID 990084. doi:10.1023/A:1011288000451. hdl:11693/24987 .
- ^ Turing, Alan M. The Chemical Basis of Morphogenesis. Philosophical Transactions of the Royal Society of London B. 1952-08-14, 237 (641): 37–72. Bibcode:1952RSPTB.237...37T. S2CID 120437796. doi:10.1098/rstb.1952.0012.
- ^ 130.0 130.1 Gribbin, John. Deep Simplicity. Random House. 2004.
- ^ Turing's Last, Lost work. [2011-11-28]. （原始内容存档于2003-08-23）.
- ^ Murray, James. How the leopard gets its spots. Scientific American. 1988-03, 258 (3): 80–87. JSTOR 24989019.
- ^ Murray, James D. 6. Reaction Kinetics. Mathematical Biology. I: An Introduction. Springer Verlag. 2002. doi:10.1007/b98868.
- ^ Vogel, G. Turing Pattern Fingered for Digit Formation. Science. 2012, 338 (6113): 1406. Bibcode:2012Sci...338.1406V. PMID 23239707. doi:10.1126/science.338.6113.1406.
feathers, hair follicles, the branching pattern of lungs, and even the left-right asymmetry that puts the heart on the left side of the chest.
- ^ Sheth, R.; Marcon, L.; Bastida, M.F.; Junco, M.; Quintana, L.; Dahn, R.; Kmita, M.; Sharpe, J.; Ros, M.A. Hox Genes Regulate Digit Patterning by Controlling the Wavelength of a Turing-Type Mechanism. Science. 2012, 338 (6113): 1476–1480. Bibcode:2012Sci...338.1476S. PMC 4486416 . PMID 23239739. doi:10.1126/science.1226804.
- ^ Andrew Hodges. The Alan Turing Bibliography. turing.org.uk: morphogenesis. [2015-07-27]. （原始内容存档于2015-09-05）.
- ^ Leavitt 2007，第176–178頁
- ^ Hodges 1983，第458頁
- ^ Leavitt 2007，第268頁
- ^ Hodges, Andrew. Alan Turing: The Enigma . Princeton University Press. 2012: 463. ISBN 978-0-691-15564-7.
- ^ Hodges, Andrew. Alan Turing: The Enigma . Princeton University Press. 2012: 471. ISBN 978-0-691-15564-7.
- ^ Hodges, Andrew. Alan Turing: The Enigma The Centenary Edition. Princeton University. 2012.
- ^ Turing, Alan. Letters of Note: Yours in distress, Alan. 1952 [2012-12-16]. （原始内容存档于2013-01-20）.
- ^ Hodges, Andrew. Alan Turing: The Enigma . Princeton University Press. 2012: xxviii. ISBN 978-0-691-15564-7.
- ^ Hodges 1983，第473頁
- ^ Copeland 2006，第143頁
- ^ 147.0 147.1 Anon. Turing's House: Copper Folly, 43 Adlington Road, Wilmslow, Cheshire, SK9 2BJ (PDF). savills.com. 2021. （原始内容 (PDF)存档于2021-07-03）.
- ^ Alan Turing. Biography, Facts, & Education. Encyclopædia Britannica. [2017-10-11]. （原始内容存档于2017-10-11）.
- ^ Hodges 1983，第488頁
- ^ Leavitt 2007，第140頁及Hodges 1983，第149, 489頁
- ^ Hodges 1983，第529頁
- ^ 152.0 152.1 152.2 Hodges, Andrew. Alan Turing: The Enigma. Random House. 2012 [2019-01-16]. ISBN 978-1-4481-3781-7. （原始内容存档于2019-01-17）.
- ^ Vincent Dowd. What was Alan Turing really like?. BBC. 2014-06-06 [2019-01-16]. （原始内容存档于2019-01-17）.
- ^ Thousands call for Turing apology. BBC News. 2009-08-31 [2009-08-31]. （原始内容存档于2009-08-31）.
- ^ Petition seeks apology for Enigma code-breaker Turing. CNN. 2009-09-01 [2009-09-01]. （原始内容存档于2009-10-05）.
- ^ 156.0 156.1 156.2 Davies, Caroline. PM's apology to codebreaker Alan Turing: we were inhumane. The Guardian (UK). 2009-09-11 [2016-12-10]. （原始内容存档于2017-02-04）.
- ^ The petition was only open to UK citizens.
- ^ PM apology after Turing petition. BBC News. 2009-09-11 [2009-09-11]. （原始内容存档于2012-05-27）.
- ^ Full text of the Prime Minister's apology 互联网档案馆的存檔，存档日期2012-11-09..
- ^ 160.0 160.1 160.2 Grant a pardon to Alan Turing. 2011-12-06. （原始内容存档于2012-01-10）.
- ^ Petition to pardon computer pioneer Alan Turing started. BBC News. 2011-12-06 [2018-06-21]. （原始内容存档于2018-06-19）.
- ^ 162.0 162.1 Wright, Oliver. Alan Turing gets his royal pardon for 'gross indecency' – 61 years after he poisoned himself. The Independent (London). 2013-12-23 [2017-08-21]. （原始内容存档于2013-12-24）.
- ^ Wainwright, Martin. Government rejects a pardon for computer genius Alan Turing. The Guardian. 2012-02-07 [2016-12-10]. （原始内容存档于2017-02-04）.
- ^ hansard. Parliament of the United Kingdom. 2012-02-02 [2017-08-29]. （原始内容存档于2017-07-06）.
- ^ Stevenson, Alex. Better late than never, Alan Turing is finally pardoned. politics.co.uk. 2013-12-24 [2016-09-25]. （原始内容存档于2016-08-16）.
- ^ Fitzgerald, Todd. Alan Turing's court convictions go on display for the first time. manchestereveningnews.co.uk. 2016-09-24 [2016-09-25]. （原始内容存档于2016-09-25）.
- ^ Britton, Paul. Alan Turing pardoned by The Queen for his 'unjust and discriminatory' conviction for homosexuality. Manchester Evening News. 2013-12-24 [2018-06-24]. （原始内容存档于2018-06-24）.
- ^ MP calls for pardon for computer pioneer Alan Turing. BBC News. 2012-02-01 [2016-09-25]. （原始内容存档于2016-07-02）.
- ^ My proudest day as a Liberal Democrat. Liberal Democrat Voice. [2018-06-24]. （原始内容存档于2018-06-24）.
- ^ Manchester computer pioneer Alan Turing announced as face of new £50 note. 2019-07-15 [2019-07-19]. （原始内容存档于2019-07-19）.
- ^ Alan Turing announced as face of new £50 banknote. 2019-07-15 [2019-07-19]. （原始内容存档于2019-07-16）.
- ^ John Leech secures historic deal with Government on 'Alan Turing Law'. outnewsglobal.com. 2016-10-20.
- ^ Barlow, Nigel. Turing on £50 note will be painful reminder of what we lost. 2018-11-03.
- ^ Alan Turing announced as face of new £50 banknote. 2019-07-15.
- ^ Elliott, Larry; Halliday, Josh (编). Alan Turing to feature on new £50 banknote. 2019-07-15 –通过www.theguardian.com.
- ^ This is who is on the new £50 note. www.thegayuk.com. 2019-07-15.
- ^ Bloom, Dan. Tory refuses to apologise for 'killing bad law' pardoning thousands of gay men. mirror. 2016-10-23.
- ^ Alan Turing's 'fearless approach to problems and intellectual curiosity' praised. Dunfermline Press.
- ^ The Alan Turing Law finally pardons thousands of unfairly convicted gay and bisexual men. University of Manchester. 2017-01-31.
- ^ Bank of England honours Alan Turing on £50 note. QNews. 2019-07-15.
- ^ Bill. Parliament of the United Kingdom. 2012-07-26 [2013-10-31]. （原始内容存档于2013-11-02）.
- ^ Pearse, Damian, "Alan Turing should be pardoned, argue Stephen Hawking and top scientists" 互联网档案馆的存檔，存档日期2017-02-04., The Guardian, 13 December 2012. Retrieved 15 December 2012.
- ^ Watt, Nicholas. Enigma codebreaker Alan Turing to be given posthumous pardon. The Guardian (London). 2013-07-19 [2016-12-10]. （原始内容存档于2017-01-04）.
- ^ Worth, Dan. Alan Turing pardon sails through House of Lords. V3. 2013-10-30 [2013-12-24]. （原始内容存档于2013-12-24）.
- ^ Alan Turing (Statutory Pardon) Bill. [2013-07-20]. （原始内容存档于2013-07-05）.
- ^ Roberts, Scott. Lib Dem MP John Leech disappointed at delay to Alan Turing pardon bill. Pink News. 2013-12-02 [2013-12-24]. （原始内容存档于2013-12-25）.
- ^ Roberts, Scott. Lib Dem MP John Leech disappointed at delay to Alan Turing pardon bill. PinkNews. 2013-12-02 [2018-06-20]. （原始内容存档于2018-06-12）.
- ^ Alan Turing (Statutory Pardon) Bill. [2013-12-24]. （原始内容存档于2013-11-02）.
- ^ Swinford, Steven. Alan Turing granted Royal pardon by the Queen. The Daily Telegraph. 2013-12-23 [2018-04-05]. （原始内容存档于2018-05-02）.
- ^ Royal pardon for codebreaker Alan Turing. BBC News. 2013-12-24 [2013-12-24]. （原始内容存档于2013-12-24）.
- ^ With Queen's Decree, Alan Turing Is Now Officially Pardoned. Advocate.com. 2014-08-22 [2014-11-01]. （原始内容存档于2014-11-01）.
- ^ Pardoned: Alan Turing, Computing patriarch. Time Magazine, vol. 183, no. 1, 13 January 2014, p. 14. Retrieved 6 January 2014.
- ^ Davies, Caroline. Codebreaker Turing is given posthumous royal pardon. The Guardian (London). 2013-12-24: 1, 6.
- ^ Government 'committed' to Alan Turing gay pardon law. BBC News. 2016-09-22 [2016-09-22]. （原始内容存档于2016-09-22）.
- ^ Cowburn, Ashley. Theresa May committed to introducing the 'Alan Turing Law'. The Independent. 2016-09-21 [2016-09-22]. （原始内容存档于2016-09-22）.
- ^ Participation, Expert. Policing and Crime Act 2017. Government of the United Kingdom. [2019-02-06]. （原始内容存档于2019-03-05）.
- ^ What does the code on the Alan Turing Memorial actually say?. Random Hacks. 2010-09-23 [2018-06-28]. （原始内容存档于2018-06-28）.
- ^ Computer buried in tribute to genius. Manchester Evening News. 2007-02-17 [2014-12-07]. （原始内容存档于2013-11-04） （英语）.
- ^ Blue plaque to commemorate Alan Turing. King's College, Cambridge. [2018-12-08]. （原始内容存档于2018-12-07） （英语）.
- ^ Turing plaque fixed in place. 剑桥大学国王学院. [2018-12-08]. （原始内容存档于2018-12-09） （英语）.
- ^ Pylas, Pan. WWII codebreaker Alan Turing honored on new UK bank note. AP News. Associated Press. 2021-03-25 [2021-03-25] （英语）.
- ^ Reid-Smith, Tris. Heritage watchdog objects to statue of gay hero Alan Turing at Kings College Cambridge. Gay Star News. 2020-05-01 [2020-05-08].
来源
编辑- Agar, Jon. Turing and the Universal Machine. Duxford: Icon. 2001. ISBN 978-1-84046-250-0.
- Agar, Jon. The government machine: a revolutionary history of the computer. Cambridge, Massachusetts: MIT Press. 2003. ISBN 978-0-262-01202-7.
- Alexander, C. Hugh O'D. Cryptographic History of Work on the German Naval Enigma. The National Archives, Kew, Reference HW 25/1.
- Beavers, Anthony. Alan Turing: Mathematical Mechanist. Cooper, S. Barry; van Leeuwen, Jan (编). Alan Turing: His Work and Impact. Waltham: Elsevier. 2013: 481–485. ISBN 978-0-12-386980-7.
- Beniger, James. The control revolution: technological and economic origins of the information society. Cambridge, Massachusetts: Harvard University Press. 1986. ISBN 978-0-674-16986-9.
- Babbage, Charles. Campbell-Kelly, Martin , 编. Passages from the life of a philosopher. Rough Draft Printing. 18642008. ISBN 978-1-60386-092-5.
- Bodanis, David. Electric Universe: How Electricity Switched on the Modern World. New York: Three Rivers Press. 2005. ISBN 978-0-307-33598-2. OCLC 61684223.
- Bruderer, Herbert: Konrad Zuse und die Schweiz. Wer hat den Computer erfunden? Charles Babbage, Alan Turing und John von Neumann Oldenbourg Verlag, München 2012, XXVI, 224 Seiten, ISBN 978-3-486-71366-4
- Campbell-Kelly, Martin; Aspray, William. Computer: A History of the Information Machine. New York: Basic Books. 1996. ISBN 978-0-465-02989-1.
- Ceruzzi, Paul E. A History of Modern Computing. Cambridge, Massachusetts, and London: MIT Press. 1998. ISBN 978-0-262-53169-6.
- Chandler, Alfred. The Visible Hand: The Managerial Revolution in American Business. Cambridge, Massachusetts: Belknap Press. 1977. ISBN 978-0-674-94052-9.
- Church, Alonzo. An Unsolvable Problem of Elementary Number Theory. American Journal of Mathematics. 1936, 58 (2): 345–363. ISSN 0002-9327. JSTOR 2371045. doi:10.2307/2371045.
- Cooper, S. Barry; van Leeuwen, Jan. Alan Turing: His Work and Impact. New York: Elsevier. 2013. ISBN 978-0-12-386980-7.
- Copeland, B. Jack. Colossus: Its Origins and Originators. IEEE Annals of the History of Computing. 2004a, 26 (4): 38–45. S2CID 20209254. doi:10.1109/MAHC.2004.26.
- Copeland, B. Jack (编). The Essential Turing. Oxford: Oxford University Press. 2004b. ISBN 978-0-19-825079-1. OCLC 156728127.
- Copeland, B. Jack (编). Alan Turing's Automatic Computing Engine . Oxford: Oxford University Press. 2005. ISBN 978-0-19-856593-2. OCLC 224640979.
- Copeland, B. Jack. Colossus: The secrets of Bletchley Park's code-breaking computers. Oxford University Press. 2006. ISBN 978-0-19-284055-4.
- Hilton, Peter. Living with Fish: Breaking Tunny in the Newmanry and Testery. Colussus. 2006. in Copeland 2006，第189–203頁
- Edwards, Paul N. The closed world: computers and the politics of discourse in Cold War America. Cambridge, Massachusetts: MIT Press. 1996. ISBN 978-0-262-55028-4.
- Gannon, Paul. Colossus: Bletchley Park's Greatest Secret. London: Atlantic Books. 2007 [2006]. ISBN 978-1-84354-331-2.
- Hodges, Andrew. Alan Turing : the enigma. London: Burnett Books. 1983. ISBN 978-0-09-152130-1.
- Hochhuth, Rolf. Alan Turing: en berättelse. Symposion. 1988. ISBN 978-91-7868-109-9.
- Leavitt, David. The man who knew too much: Alan Turing and the invention of the computer. Phoenix. 2007. ISBN 978-0-7538-2200-5.
- Levin, Janna. A Madman Dreams of Turing Machines. New York: Knopf. 2006. ISBN 978-1-4000-3240-2.
- Lewin, Ronald. Ultra Goes to War: The Secret Story. Classic Military History Classic Penguin. London: Hutchinson & Co. 19782001. ISBN 978-1-56649-231-7.
- Lubar, Steven. Infoculture. Boston, Massachusetts and New York: Houghton Mifflin. 1993. ISBN 978-0-395-57042-5.
- Mahon, A.P. The History of Hut Eight 1939–1945. UK National Archives Reference HW 25/2. 1945 [2009-12-10].
- Oakley, Brian (编). The Bletchley Park War Diaries: July 1939 – August 1945 2.6. Wynne Press. 2006.
- O'Connell, H; Fitzgerald, M. Did Alan Turing have Asperger's syndrome?. Irish Journal of Psychological Medicine (Irish Institute of Psychological Medicine). 2003, 20 (1): 28–31. ISSN 0790-9667. PMID 30440230. S2CID 53563123. doi:10.1017/s0790966700007503.
- 約翰·J·奧康納; 埃德蒙·F·羅伯遜, Alan Mathison Turing, MacTutor数学史档案 （英语）
- Petzold, Charles (2008). "The Annotated Turing: A Guided Tour through Alan Turing's Historic Paper on Computability and the Turing Machine". Indianapolis: Wiley Publishing. ISBN 978-0-470-22905-7
- Smith, Roger (1997). Fontana History of the Human Sciences. London: Fontana.
- Sipser, Michael. Introduction to the Theory of Computation. PWS Publishing. 2006. ISBN 978-0-534-95097-2.
- Weizenbaum, Joseph (1976). Computer Power and Human Reason. London: W.H. Freeman. ISBN 0-7167-0463-3
- Turing, A.M. On Computable Numbers, with an Application to the Entscheidungsproblem (PDF). Proceedings of the London Mathematical Society. 2 42. 1937: 230–65 [Delivered to the Society November 1936]. doi:10.1112/plms/s2-42.1.230. and Turing, A.M. On Computable Numbers, with an Application to the Entscheidungsproblem: A correction. Proceedings of the London Mathematical Society. 2 43. 1938: 544–461937. doi:10.1112/plms/s2-43.6.544.
- Turing, Sara Stoney. Alan M Turing. W Heffer. 1959. Turing's mother, who survived him by many years, wrote this 157-page biography of her son, glorifying his life. It was published in 1959, and so could not cover his war work. Scarcely 300 copies were sold (Sara Turing to Lyn Newman, 1967, Library of St John's College, Cambridge). The six-page foreword by Lyn Irvine includes reminiscences and is more frequently quoted. It was re-published by Cambridge University Press in 2012, to honour the centenary of his birth, and included a new foreword by Martin Davis, as well as a never-before-published memoir by Turing's older brother John F. Turing.
- Whitemore, Hugh; Hodges, Andrew. Breaking the code. S. French. 1988. This 1986 Hugh Whitemore play tells the story of Turing's life and death. In the original West End and Broadway runs, Derek Jacobi played Turing and he recreated the role in a 1997 television film based on the play made jointly by the BBC and WGBH, Boston. The play is published by Amber Lane Press, Oxford, ASIN: B000B7TM0Q
- Williams, Michael R. (1985) A History of Computing Technology, Englewood Cliffs, New Jersey: Prentice-Hall, ISBN 0-8186-7739-2
- Yates, David M. Turing's Legacy: A history of computing at the National Physical Laboratory 1945–1995. London: London Science Museum. 1997. ISBN 978-0-901805-94-2. OCLC 123794619.
延伸阅读
编辑文章
编辑- Turing, Alan. Computing Machinery and Intelligence (PDF). Mind. 1950, 49 (236): 433–460. doi:10.1093/mind/LIX.236.433.
- Copeland, B. Jack (编). The Mind and the Computing Machine: Alan Turing and others. The Rutherford Journal.
- Copeland, B. Jack (编). Alan Turing: Father of the Modern Computer. The Rutherford Journal.
- Hodges, Andrew. Alan Turing. 扎尔塔, 爱德华·N (编). 《斯坦福哲学百科全书》 2009年冬.
- Hodges, Andrew. Turing, Alan Mathison. 《牛津国家人物传记大辞典》 線上版. 牛津大學出版社. 2004. doi:10.1093/ref:odnb/36578. 需要订阅或英国公共图书馆会员资格
- Gray, Paul. Computer Scientist: Alan Turing. Time. 1999-03-29. （原始内容存档于2007-10-16）.
著作
编辑- Bernhardt, Chris, Turing's Vision: The Birth of Computer Science, MIT Press, 2017, ISBN 978-0-262-53351-5
- Copeland, B. Jack; Bowen, Jonathan P.; Wilson, Robin; Sprevak, Mark. The Turing Guide. Oxford University Press. 2017. ISBN 978-0-19-874783-3.
- Dyson, George. Turing's Cathedral: The Origins of the Digital Universe. Vintage. 2012. ISBN 978-1-4000-7599-7.
- Gleick, James. The Information: A History, a Theory, a Flood. New York: Pantheon. 2011. ISBN 978-0-375-42372-7.
- Hodges, Andrew. Alan Turing: The Enigma. Princeton University Press. 2014. ISBN 978-0-691-16472-4. (originally published in 1983); basis of the film The Imitation Game
- Turing, Sara. Alan M. Turing. Cambridge University Press. 2012. ISBN 978-1-107-02058-0. (originally published in 1959 by W. Heffer & Sons, Ltd)
外部链接
编辑
- Oral history interview with Nicholas C. Metropolis, Charles Babbage Institute, University of Minnesota. Metropolis was the first director of computing services at Los Alamos National Laboratory; topics include the relationship between Turing and John von Neumann
- How Alan Turing Cracked The Enigma Code Imperial War Museums
- Alan Turing RKBExplorer
- Alan Turing Year
- CiE 2012: Turing Centenary Conference
- Science in the Making Alan Turing's papers in the Royal Society's archives
- Alan Turing site maintained by Andrew Hodges including a short biography
- AlanTuring.net – Turing Archive for the History of Computing by Jack Copeland
- The Turing Archive – contains scans of some unpublished documents and material from the King's College, Cambridge archive
- Alan Turing Papers – University of Manchester Library, Manchester
- Jones, G. James. Alan Turing – Towards a Digital Mind: Part 1. System Toolbox (The Binary Freedom Project). 2001-12-11. （原始内容存档于2007-08-03）.
- Sherborne School Archives – holds papers relating to Turing's time at Sherborne School
- Alan Turing plaques recorded on openplaques.org
- Alan Turing archive on New Scientist
- 在Find a Grave上的艾伦·图灵
.svg){kind=small}
