Beauty is truth, truth beauty,—that is all Ye know on earth,and all ye need to know.美便是真，真便是美——你只能知道这么多，你只需知道这么多。
——John Keats（济慈）

图灵（Alan Turing）生于1912年6月23日，逝于1954年6月7日，活了不到42岁。
生得不伟大，去世得不只荣。
一方面由于他的性取向，另一方面由于他在二战中从事过机密事情，图灵在生前并没有被广泛理解。
数学家兼同性恋运动活动家霍奇斯（Andrew Hodges）1983年出版了《艾伦·图灵传：如谜的解谜者》（Alan Turing: The Enigma），为我们展示了图灵谜一样的生平。
该书后来一而再再而三地重版，书的内容没有实质变革，最新的一版出于2014年，合营好莱坞大片《模拟游戏》的发行。

图灵（1912—1954）

图灵生在西伦敦，但按日子算，他妈是在印度怀上的他。
他爸是大英帝国驻印度的公务员。
图灵出生的时候，他爸在印度已经事情了十年。
他父母把印度当家，偶尔回英国是为了度假。
图灵有一个哥哥约翰。
他家祖上该当都是聪明人，他爷爷毕业于剑桥三一学院，是学数学的，他姥爷是印度马德拉斯铁路局的总工程师。
他妈家有个远亲，听说是最早在理论上创造电子的人。
汤姆逊六年后才在物理上证明，那远亲因此进入皇家学会，相称于中科院院士。

20世纪初，英国盛行父母把孩子留给保姆养育，不知这同罗素的教诲理论是否有关系。
可能是经济或其他缘故原由，中国20世纪50年代到70年代，也盛行过双职工把孩子交给祖父母或保姆养育的，实施独生子女政策后才改过来。
图灵的保姆汤普森小姐回顾说“这孩子正派，聪明”。
她的例证是图灵和别人下棋，从不让子，也不悔棋。

他三岁时，他妈到伦敦看完他又要回印度，临别时对他说：“当个乖孩子，啊！
”图灵回道：“但有时我会忘的。
”图灵十岁时进了预备学校，这是为了进公学做准备的。
英国的公校（public school）相称于美国私立中学，叫public是由于面向社会，不是光有钱就能上，得考。
预备学校和公学的紧张课程是经典（指拉丁、希腊），这都不是图灵的兴趣。
他喜好智力寻衅，而且一些东西自己以为会了，就没兴趣了。
他考试时，总是先挑难的做，这也是他考试总考不好的缘故原由。
他和哥哥被寄养在华德上校夫妇家，过的是乏味的生活。
图灵十岁时就有厌世的感情，自视甚高就会孤独，维特根斯坦也这德行。

他爸本以为在印度会得到提升，但上级没把他当回事，于是愤而辞职，举家搬回欧洲。
图灵读的谢伯恩中学，1550年就建校了，是英国名校，到现在还是男校。
他中学成绩一样平常，但老师同学都把稳到，这孩子上数学课不听讲，也不看书，所有定理都是自己推出来的。
如果自己推对了，考试成绩就好，自己推错了，成绩就不好。
这玩意哪说理去，所有中学以前的数学知识他自己从头发明了一遍。
化学课也如此，他自己发明了从海藻里分离碘，化学老师都没整明白。
其他科学科目成绩也不错，但校长还是在他爸那儿告了一状：“你孩子偏科，我们这儿培养文化人，他假如想当科学家，那来错地方了。
”他哪知道这孩子后来还被追认成有史以来最伟大的哲学家之一啊。

他父母为避税，定居法国。
图灵兄弟俩只能从法国过英吉利海峡去各自的学校。
图灵在南安普顿上岸太晚，结果所有去学校的交通都没了，于是他从行李里拿出自己的自行车，买了张舆图，就向学校骑行。
车太不给力，中途坏了两次。
60英里地，他走了一夜，中间还住了五星级酒店。
全体一侯宝林《夜行记》啊。
末了图灵把五星级酒店的***给父母寄去，表示自己没乱花钱。

关于图灵是何时知道自己性取向的，霍奇斯作了一番考证。
图灵初恋工具是中学同学摩尔康（Christopher Morcom）。
同维特根斯坦喜好苦孩子不同，图灵的恋人都智力高尚家境富有。
图灵同摩尔康一起谈论科学，但他们的关系从没有超越精神。

摩尔康身材高挑，比图灵大一岁，也高一级，梦想学校是剑桥大学三一学院。
这让图灵也把三一学院定为自己的目标，并给图灵带来了学习动力，他决定提前一年高考，这样可同摩尔康接着做同学。
但成绩不给力，文科弗成，英文全班倒数第一，拉丁文倒数第二。
提前高考失落败，图灵只得再努力一年。
只管头一次考试失落败，但图灵回顾，他同摩尔康在剑桥一起考试时的日子是他这生平中最美好的日子。
摩尔康寒假时还同图灵一起谈论科学。
1930年2月6日晚，他俩一起去听了音乐会。
晚上图灵回家，做梦惊醒，醒来的动机居然是“再见，摩尔康”。
图灵不知道，那晚摩尔康病倒，一周后离世。
图灵和摩尔康的故事还被写进了百老汇（实在是外百老汇）的音乐剧《电动熊的情歌》（Lovesong of the Electric Bear）。
个中扮演摩尔康的是英国女演员博伊德（Cassidy Boyd），女扮男装。
有时会想，英美的编剧怎么会对一位数学家感兴趣？布莱希特写《伽利略》时是啥心情？摩尔康的妈妈是文艺女青年，从前毕业于法国索邦，自己还有艺术画廊。
摩尔康去世后，图灵总去看摩尔康太太，他们成为了终生朋友。
图灵以为摩尔康仍旧活着，通过自己活着。

关于图灵的生平，有两件事我不明白。
个中一件是，图灵测试说的是如果把人和机器放在两个黑盒子里，如果不能区分，那么机器便是有智能的。
这给人一个印象，图灵是支持“机器有智能的”。
但是，图灵自己在日记里却说，机器智能实在赶不上人。
这有点像数学家、哲学家普特南（Hilary Putnam），普特南一辈子一下子支持实在论，一下子反实在论，不知到底是哪一派的。
实在图灵也类似，他提出的问题和他期望的答案不一样。
他问自己的问题，写成文章问众人，别人给出了不同的答案。
后人说图灵给辩论的双方都供应了弹药。

另一件事是，我不明白图灵为什么只发明了图灵机，而没有发明量子图灵机。
摩尔康的妈妈以摩尔康的名义给剑桥捐了个奖学金，图灵是第一个获奖者，奖项中包括一本冯诺伊曼的著作《量子力学的数学根本》。
图灵在剑桥有段韶光痴迷量子物理。
但量子图灵机是牛津数学家、物理学家多伊奇（David Deutsch）于1985年提出的。
关于我对图灵的这两大疑问，彭罗斯（Roger Penrose[1]）曾写过两本书，企图回答这两个问题，但辩论颇多。

摩尔康去世后，图灵以为自己不会再爱上别人；他要做的无非是完成摩尔康的空想。
以是，我认为我对图灵的两个困惑是摩尔康给图灵出的两个难题。
图灵如愿考上了剑桥大学，三一学院录取但没给奖学金，国王学院给奖学金，图灵末了在剑桥大学国王学院学数学。
摩尔康之去世让图灵以为该当追求终极的知识。
他变了。

20世纪30年代的国王学院人才济济，数学系有刚从牛津大学回归的哈代、纽曼，当然还有凯恩斯（也是同性恋）。
他们都欣赏图灵。
图灵天生内向，讲话略带结巴，嗓音尖利，不喜好集体活动，不喜好体育。
但他很快创造了自己的长跑天分，后来得了剑桥长跑冠军。
他的第一次性经历是与数学同学阿特金斯（James Atkins）。

图灵对逻辑感兴趣大约是在1933年，那时他读到罗素的《数理哲学导论》。
1939年图灵回剑桥大学教《数学根本》课，而同一学期维特根斯坦也在开一门同名的课程。
图灵是讲数理逻辑，而老维则在讲数学哲学。
图灵出于好奇，去旁听维特根斯坦的《数学根本》课。
后来维特根斯坦的学生整理出版了《数学根本讲义》，这书虽然说的事很深，但是采取对话体，当代版的苏格拉底和柏拉图。
个中记载的最多的对话便是老维和小图，全体课程变成了老维和小图的对掐，故意思啊。
说到悖论，维特根斯坦说那只是措辞游戏而已。
但图灵不同意，他跟老维叫板说：“如果你利用的演算里有悖论，桥会塌的。
”只管不雅观点不同，但两人在智力上相互尊重。
据维特根斯坦的传记作家蒙克（Ray Monk）的说法，当图灵不来上课时，维特根斯坦会很失落望，由于他的很多思想是在与学生的对话中形成的，他一贯认为哲学的传授教化便是对话。
关于这段维特根斯坦和图灵的互换，我曾有专文论述，见《哲学评书》“维特根斯坦，图灵：1939”。
特殊值得指出的是，我认为维特根斯坦和图灵是最早考虑打算繁芜性的人。

说牛顿是在苹果树下被掉下来的苹果砸了一下才想出万有引力，这是胡扯。
图灵自己回顾他是躺在草坪上把图灵机的布局想明白的，他看到哥德尔那篇文章后就开始琢磨图灵机。
哥德尔之后，大家企图在更基本的层面布局演算装置。
普林斯顿大学的丘奇（Alonzo Church）发明了λ演算。
图灵在剑桥的导师纽曼看到了丘奇的文章，就把图灵推举给丘奇，让小图跟丘奇读博士，并见告丘奇：这孩子搞了个图灵机。
丘奇一看，推举揭橥。
这便是后来被大家称作“丘奇-图灵论题”的东西。
大略地说，图灵机是最强的可实现的打算装置。
把稳这是论题，不是定理。
这个论题的证据是所有已知的打算装置在可打算性上是等价的：λ演算，Post系统，哥德尔的递归函数，以及图灵机。
按照哥德尔的说法，图灵机是最令人信服的。
冯诺伊曼再次慧眼识英雄，就像他高度评价哥德尔一样，他高度评价了图灵。
实在正是冯诺伊曼给这个领域起的名：“可打算性”。

图灵在普林斯顿大学的两年很无聊。
实在那时普林斯顿相称自由，也有同性恋活动，但他没参加过。
他性情上自闭，而且不喜好美国人的行事办法。
有记载的一次体育活动还是同女校瓦萨尔学院的女生们玩了一次曲棍球。
他博士一毕业，就要回英国。
冯诺伊曼让他留下当助理，他婉拒了。
图灵从美国回来后申请剑桥大学数学讲师职位被拒，只得接着做研究员（Fellow）。
他除了连续数学研究（包括概率论、代数、剖析和数论）外，开始在布莱彻利庄园兼职。
布莱彻利庄园是英国政府代码和加密学校（Government Code and Cypher School，GCCS）所在地。
该庄园的紧张职责是为英国海陆空三军供应密码加解密做事，是机密机构。
现在这儿已成为英国国家打算机博物馆的一部分。

1939年9月1日德军盘踞波兰，2日英国对德宣战，3日图灵被召去布莱彻利庄园全职事情，卖力破解德国传奇Enigma加密机。
实在波兰早就对德国有警觉，他们利用自己聪明的人力资源，组织数学家破解了较早版本的Enigma。
但德国人改进了。
图灵在波兰人的根本上破解改进的Enigma。
图灵在紧张事情的同时爱上了同事，这回是个女的，数学家克拉克（Joan Clarke），也是搞加解密的。
图灵向克拉克求婚，她答应了。
图灵的老实使得他不得不见告她实在自己是同性恋。
克拉克也忍了。
但末了图灵自己不干了。
电影《密码迷情》里演克拉克的是温斯莱特。

搞过密码学的都知道，加解密这东西便是道高一尺魔高一丈。
你改进加密，我改进解密，不断斗争。
Enigma的紧张用户是德国海军，他们的潜艇U-boat便是用这玩意。
德国人也教会了***，这给美国人制造了很大的麻烦。
美国人请英国帮忙，英国派出了图灵，1942年图灵再次踏上美国领土。
图灵在与Enigma的斗争中，逐渐形成了如何建造一台实用的通用打算机的思路。
1946年年初，他向国家物理实验室提交了ACE的报告，这份报告比冯诺伊曼的EDVAC报告晚了几个月。
以是大家还是以为老冯是最早的打算机设计师，但老冯逢人就说“这都是图灵的主张”。

图灵的长跑记录是奥运水平的。
在布莱彻利庄园事情时，常常要到伦敦开会，战时单位派车未便利，图灵也不摆谱，说一句“我自己办理吧”，64公里路，跑着去，完事再跑着回来。
战后，为了表彰破解德国密码的贡献，他被付与OBE爵位。
足球明星贝克汉姆就被女王授过这玩意，图灵和小贝得的是低级的OBE，不能被称为“Sir”的。
图灵被付与OBE，是为了褒奖他战时的机密事情，以是颁布爵位的过程也是保密的。
20年后大家才知道图灵得过爵位。
图灵本来想代表英国参加1948年伦敦奥运会，但他受了伤，只得放弃。
图灵假如只练长跑，说不定能获更高的奖项，可能都封“Sir”了。

1948年图灵向国家物理实验室请假，到他的母校剑桥大学国王学院兼职研究员，表明了他重返学术的意愿。
他本科时的导师纽曼这时在曼彻斯特大学数学系担当主任，他把图灵拉来做数学系的“Reader”。
英国的这个“Reader”大概相称于美国的教授，王浩曾经在牛津做“Reader”，他自称“准教授”。
此时曼彻斯特大学的电工系主任是威廉姆斯，他正在建当时的另一台存储程序打算机Mark-1。
当地的报纸把这台机器叫作“Electric Brain”，这大概是打算机头一次在媒体上被称为“电脑”。
纽曼让图灵帮威廉姆斯做Mark-1的软件，但图灵此时已对工程细节失落去兴趣。
他在私信里表示自己的兴趣已转向“如何布局大脑的动作”。
为了“电脑”这个称呼的事儿，英国公众知识分子还辩论是不是得当。
反对者有著名的科学哲学家波拉尼（Polanyi）。
图灵伪装不知道有这回事，没参与。
实在波拉尼私下和图灵是朋友，他一贯敦促图灵把他的想法写成文章。
便是那篇著名的“打算机与智能”（Computing Machinery and Intelligence），后来揭橥在哲学杂志Mind上。
这篇文章定义了“图灵测试”，大略地说，便是如果人不能区分放在黑箱子里的机器是人还是机器时，这台机器就该被断定为有智能。

图灵和克里斯托弗·斯特拉切（Christopher Strachey）是好朋友。
克里斯托弗的叔叔立顿·斯特拉切是著名文学批评家，是罗素、凯恩斯、伍尔芙等一票人的铁哥们。
克里斯托弗和后来的图灵奖得到者司考特（Dana Scott）创立了“指称语义学”，在中国有传人。
图灵很早就有了打算机下棋的主张，是斯特拉切1952年实现了第一个跳棋程序。
图灵是这个程序的第一个用户，图灵无惊无险地赢了。
在人工智能第一次达特茅斯会议后的1957年，司马贺（Herbert Simon）断言十年内打算机国际象棋程序很快会赢人。
这要到1996年IBM的“深蓝”电脑赢了当时号称要守卫人类肃静的天下冠军卡斯帕罗夫才算数。

而“图灵测试”取得里程碑式的进展则要到2011年。
这次还是IBM，它的“沃森”（名字取自IBM的创办人沃森）超级打算机在美国的电视智力竞猜节目中击败了人类。
这下大家真要想想了，这个比下棋下输的后果严重多了。
在“图灵测试”后，大家在试图探求更好的智能定义。

图灵1951年入选皇家学会，这是英国最高科学名誉组织。
图灵仍旧同剑桥大学来往密切，他同剑桥大学国王学院的两个学生保持着亲密的友情。
两人都是学数学的，一个是约翰逊（Neville Johnson），他被证明是图灵的爱人。
另一个是甘迪（Robin Gandy），必须多说几句，他是图灵的衣钵传人，图灵去世后的遗物（书、信等）都交甘迪保管。
甘迪也是图灵的爱人，这一八卦是一个导演先传出来的。
1986年伦敦西区出了一部说图灵的戏《破解密码》，戏中扮演图灵的是德雷克·雅可比（Derek Jacobi）爵士，后来这部戏在百老汇连演两年也很火，曾得多项托尼奖提名。
甘迪被导演拖去看戏，在后台，导演神秘地先容他说“这便是图灵的爱人”。
令人不解的是，甘迪在图灵文集的出版事情上十分疲塌。
1959年图灵母亲萨拉在图灵传记媒介中就宣告要出版《图灵全集》（Collected Works of Alan Turing）。
一开始的主编是图灵的老师纽曼。
纽曼1963年退休后，主编的职务就传给了甘迪。
北荷兰出版社为此制订了专门的编辑，但每次都是甘迪掉链子。
直到1987年，在图灵遗嘱实行人弗班克（Furbank）的干预下，才有了进展。
弗班克把图灵全集分为四卷，第一卷数学，第二卷逻辑，第三卷机器智能，第四卷形态学（数学生物学）。
只哀求甘迪卖力第二卷。
一三四卷都在1992年出版，而甘迪卖力的第二卷却迟迟没出。
直到甘迪1995年去世后，他的学生耶茨（Yates）接手才有进展，第二卷终于在2012年图灵100年诞辰时出版。

与维特根斯坦喜好普通劳动人民不同，图灵的爱人大多是知识分子。
但图灵末了却栽在一个普通劳动人民的爱人上，这个人便是莫瑞（Arnold Murray）。
图灵在一个酒吧里遇见了他，几杯酒后图灵就把他带回家了。
大概人到中年，品味会变，不好才，更好色了？一个月后图灵就创造莫瑞是个贼。
他一开始只是从图灵钱包里拿钱，图灵也没当回事，可能以为人没把自己当外人呢，图灵干脆就借钱给莫瑞。
但没过多久，图灵家失落窃了。
他知道肯定与莫瑞有关。
图灵伤心地问莫瑞，莫瑞招了：有个哥们在酒吧认识的，叫哈里，有嫌疑。
图灵决定到警察局报案。
但此时他还想着怎么保护莫瑞，就编了一套嗑。
结果一到警察局，人家已经把哈里逮住了，并且已经供出了莫瑞。
警察只问了图灵一句：“你和莫瑞啥关系？”答：“爱人。
”再问：“干过啥？”图灵就把韶光、地点、几次全招了……这还算干过加密算法的。

警察都没想到，本来只是逮个小偷，结果人家自招个大的。
立时以Indecency罪名起诉，这大概相称于中国以前的泼皮罪。
50年前，王尔德（Oscar Wilde）也因此同样的罪名被起诉，援案照抄。
英国这个同性恋泼皮罪直到2000年才立法改过，和中国取消泼皮罪的韶光差不多。
图灵那时想顶着不认罪，他哥约翰是状师，说“豪杰不吃面前亏”。
图灵的状师向法庭陈述：图灵是国家的元勋，他还会为我们这个社会做贡献，把他关起来，是公共利益的丢失。
法官给图灵两个选择：服罪，或接管治疗。
那时对付同性恋便是打荷尔蒙，图灵决定接管治疗，打雌性荷尔蒙。
所有的图灵传记都说那玩融会把胸部打大的，不知他们是否在暗示什么。

图灵在给他的学生和朋友的明信片里开始夹杂自己的诗句。
他常常念叨白雪公主里邪恶女王的词：“吃一口苹果，像酒酿 / 让毒汁流淌。
”（Dip the apple in the brew. / Let the sleeping death seep through.）一个巧合是哥德尔最喜好的电影也是《白雪公主》，他认为只有童话才能呈现天下应有的样貌。

1954年6月8日的凌晨，图灵被创造去世于家中床上。
他的床头几上有一个被咬了几口的苹果。
尸体解剖说他去世于氰化物中毒，去世亡韶光被认定是1954年6月7日。
关于图灵的去世，有三种说法：其一，事件，这是他母亲的说法，由于这孩子小时候就喜好玩化学，欠妥心整错了；其二，自尽，这是目前正宗的说法；其三，阴谋论，由于图灵打仗的战机遇密太多了。
而且那时英国、美国已经涌现了几起案件：苏联用男色和女色领导英美高等职员，无论是同性恋还是异性恋者，又值美国麦卡锡主义盛行。
目前关于这方面的档案，英美还不肯公开。
我们还是用霍奇斯的假设：自尽。
一段韶光有人相信阴谋论：可能政府害怕图灵由于好色而透露机密，以是下了黑手。
实在支持阴谋论也不是没有根据，图灵的事儿一出，英国情报机构立时吊销了图灵的安全容许证（security clearance)。
在美国做过网络安全事情的人都知道，没有安全容许证，基本上没办法在这个行业混。
天才沃尔弗拉姆（Stephen Wolfram）的新书Idea Makers 有一章专门讲图灵。
他认识一些认识图灵的人，以是他更方向于阴谋论的不雅观点。

新西兰逻辑学家寇普兰（Jack Copeland）也是图灵专家，他2012年出版过一本图灵战时事情的评传。
他曾根据最新的资料对图灵的末了几年做过翔实的研究，结论和霍奇斯有所不同。
他认为图灵去世前的两年未必像传说中那么悲惨，他有过新的恋人并和恋人一起去希腊愉快度假。
“阉割治疗”对图灵智力的影响也没那么大。
图灵在1952年开始注射雌激素时还揭橥了他的数学生物学的文章，现在这被认为是非线性动力学的启蒙文章。
这是图灵给人类的末了的贡献。
这时他的荣誉已经被疑惑，已无法从事密码学和打算机研究。
有证据表明，他对数学生物学的兴趣受到他的初恋摩尔康的影响，他以为摩尔康活在自己身上。
甘迪曾多次被问及图灵的去世因。
他每次回答时都有些激动：“有些事太深太隐私，不该被八卦。
”（Some things are too deep and private and should not be pried into.）

美国打算机学会1966年设立图灵奖，被称为打算机科学界的诺贝尔奖。
最早资助人是贝尔实验室，奖金只有区区几千美元。
后来Intel接手，奖金变成了25万美元。
2014年谷歌加入，把奖金抬到了一百万美元。
只管苹果公司和图灵致去世的苹果没紧要，但他们真该资助图灵奖。
图灵去世得不只荣，他的名誉都是去世后得来的。
2009年9月10日图灵去世后55年，在英国公民的强烈呼吁下，英国首相布朗向全国公民正式颁布对图灵的道歉。
布朗说：“我很骄傲地说，我们错了，我们该当更好地对待你。
”著名数学家、逻辑学家戴维斯亲清闲霍奇斯的《艾伦·图灵传：如谜的解谜者》中写过一段评论，末了一句是：对图灵的指控是悲剧，他该当被当作民族英雄。

曼彻斯特公园里图灵雕像的底座上引用了罗素的话：“数学不仅有真理，也有最高的美，那是一种冷艳和简朴的美，就像雕塑。
”我以为得当。
以前不懂为什么蒙克把图灵列为十二位最伟大的哲学家之一。
看了罗素的话，我明白了：伟大光荣实在无所谓，主要的是“真”和“美”。

内容来源：《人工智能简史》

《人工智能简史》，作者：尼克

《人工智能简史》全面讲述人工智能的发展史，险些覆盖人工智能学科的所有领域，包括人工智能的起源、自动定理证明、专家系统、神经网络、自然措辞处理、遗传算法、深度学习、强化学习、超级智能、哲学问题和未来趋势等，以宏阔的视野和生动的措辞，对人工智能进行了全面回顾和深度点评。

《人工智能简史》作者和书中诸多人物或为师友或相熟相知，除了详确的考证还有有趣的轶事。
本书既适宜专业人士理解人工智能鲜为人知的历史，也适宜对人工智能感兴趣的大众读者作为入门的引导。

参考

彭罗斯是霍金的数学合资人，而霍金是牛顿的正统衣钵传人。