图灵
(1912-1954)计算机科学之父
艾伦·麦席森·图灵(英语:Alan Mathison Turing;1912年6月23日—1954年6月7日),英国计算机科学家、数学家、逻辑学家、密码分析学家、哲学家及数理生物学家。他是理论计算机科学之父,曾提出图灵机模型,形式化算法和计算等概念,成为通用型电脑的一种模型。
图灵于1912年出生在伦敦,在于英格兰南部成长。他毕业于剑桥大学国王学院,并于1938年获取普林斯顿大学博士学位。第二次世界大战期间,图灵任职于英国政府的密码破译中心通信密码学校(英语:Government Code and Cypher School),负责产制“超级机密”(Ultra)情报。图灵领导第8号小组负责德国海军密码的破译工作。他设计多种加速破解德国密码的方法,其中包括改良战前波兰所发展的“炸弹(英语:Bomba (cryptography))”方法。他在破解截获的德军消息方面发挥关键作用,协助盟军在大西洋海战及其他战场击败轴心国。
战争结束后,图灵任职于英国国家物理实验室,并设计了最早期的存储程序电脑设计之一自动计算机。1948年,图灵加入曼彻斯特大学的马克斯·纽曼计算机实验室,参与早期曼彻斯特计算机(英语:Manchester computers)的开发。此外,他开始对数理生物学产生兴趣。1952年,图灵因同性恋行为遭到起诉。他选择接受荷尔蒙治疗(通常被称为化学阉割)以作为监禁的替代措施。1954年6月7日,图灵因氰化物中毒去世,享年41岁。死因调查认定其死亡为自杀,但相关证据同样与意外中毒的可能性相符。
2009年,英国首相戈登·布朗在一场要求政府为图灵遭受的待遇道歉的运动之后,正式为“图灵所遭受的骇人对待”公开道歉。2013年,英国女王伊丽莎白二世特赦图灵。2017年,英国通过一项俗称艾伦·图灵法的法律,该法追溯性地赦免那些依据过去禁止同性恋行为的法律而遭到警告或定罪的男性。图灵在数学与计算领域留下了广泛而深远的遗产,其贡献如今已获得广泛认可。2019年,BBC一系列节目的观众投票将图灵评选为20世纪最伟大的科学家。
生平
孩童和年轻时代
图灵的父亲朱利斯·麦席森·图灵(Julius Mathison Turing)是一名英属印度的公务员。1911年,图灵的母亲Ethel Sara Stoney(德语:Ethel Sara Turing)在英属印度怀了孕。因为他们希望艾伦在英国出生,所以回到伦敦,住在帕丁顿,并在那里生下了艾伦。父亲的公务员委任使他在小时候经常来往于英伦和印度。由于担心印度的气候不利于儿童成长,他便把家庭留在英伦与朋友同住。图灵很小的时候就表现出他的天赋,后来越发明显。
1927年,他的父母在吉尔福德购买了一所房子,图灵在学校放假期间住在该处。该位置附近还标有蓝色路牌。
六岁的时候,他的父母为他在一间叫圣迈克尔(St. Michael's)的日间学校注册。女校长很快就注意到他的才能,随后马尔伯勒学院的许多教育家也注意到这点。1926年,他十三岁的时候考入在多塞特郡的舍伯恩学校(英语:Sherborne School)。开学的第一天,不幸遇上了大罢工。图灵坚决要上第一天的课,于是他独自从南安普顿骑了六十英里的自行车去上学,途中还在一间旅社度过一宿。
图灵天生对科学的喜好并没有给他在谢尔本的老师留下好印象。他们对教育较为着重于人文学科而不是科学。虽然如此,图灵继续在他喜欢的学科表现出惊人的能力,还没有学过基础微积分的他,就已经能够解答以他年纪来说算是很高深的难题。
1928年,在图灵16岁的时候,他就开始阅读阿尔伯特·爱因斯坦的著作。他不但能够理解,还看出了爱因斯坦对牛顿运动定律存有质疑,即使爱因斯坦的著作中并没有明白指出这点。
大学生涯
剑桥大学国王学院的电脑房现在以图灵为名
1931年,图灵考入剑桥大学国王学院攻读本科,并获得了数学一等荣誉。
1934年他以优异成绩毕业。
1935年,22岁的他凭借证明中心极限定理的论文被选为国王学院研究员。虽然说图灵不知道,该定理已在1922年由亚尔·瓦尔德马·林德伯格(英语:Jarl Waldemar Lindeberg)证明。尽管如此,委员会认为这项研究值得考虑提供研究金。
图灵在他的重要论文《论可计算数及其在判定问题上的应用》(英语:On Computable Numbers, with an Application to the Entscheidungsproblem)里,对哥德尔1931年在证明和计算的限制的结果作了重新论述,他用现在叫做图灵机的简单形式的抽象设备代替了哥德尔的以通用算术为基础的形式语言。虽然图灵机过于缓慢的速度使其没有实际用途,图灵还是证明了这样的机器有能力解决任何可想像的,并以数学式表达的数学难题。现今,图灵机还是计算理论研究的中心课题。他继续证明了判定问题是没有答案的。他的证明首先展示了图灵机的停机问题没有答案,这是说不可能用一个算法来决定一台指定的图灵机是否会停机。尽管他的证明比阿隆佐·邱奇在λ演算方面相等的证明晚发表了几个月,图灵的著作是更易于理解和直观。他的通用(图灵)机的概念也很新颖。这一通用机能够完成任何其他机器所能做的任务。这篇论文还介绍了可定义数的概念。
1936年9月到1938年7月间,图灵大部分时间都在普林斯顿大学的教堂下学习,第二年被评选为简·伊丽莎·宝洁奖学金客座教授(Jane Eliza Procter Visiting Fellow)。除了他的纯数学工作外,他亦研究密码学,并建造了机电二进制乘法器的四个阶段中的其中三个。1938年6月,获普林斯顿数学系博士学位;他的论文基于序数的逻辑系统,介绍了序数逻辑的概念和相对计算的概念,其中图灵机增加了所谓的预言机,允许学者进一步研究图灵机无法解决的问题。冯·诺依曼有意聘请图灵做他的博士后助理,但他谢绝后又回到了英国。
1939年图灵回到剑桥,聆听了维特根斯坦关于数学基本原理(Foundations of mathematics)的讲座。他们激烈地争论,图灵为形式主义辩护,而维特根斯坦则认为把数学抬得太高反而不能发现任何绝对真理。
密码分析
在第二次世界大战期间,图灵是布莱切利庄园破解德国密码的主要参与者。历史学家和战时密码破译员Asa Briggs(英语:Asa Briggs)曾说过:“你需要非凡的天赋,你需要布莱切利的天才,而图灵就是那个天才。”
从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 年这一事实证明了它们的重要性,以及它们与战后密码分析的相关性:
说,内容受到限制的事实“表明它在我们学科的基础中具有多么巨大的重要性”。...论文详细使用“数学分析来尝试确定哪些是更有可能的设置,以便尽快尝试它们。” ......理查德说,GCHQ 现在已经从这两篇论文中“榨取了汁液”,并且“很高兴将它们发布到公共领域”。
图灵在布莱切利庄园以其古怪的性格而闻名。他的同事称他为“教授”(Prof),而他关于恩尼格玛密码机的论文被也被称为“教授之书”。根据历史学家Ronald Lewin(英语:Ronald Lewin)的说法,与图灵一起工作的密码分析家I·J·古德(英语:I. J. Good)谈到他的同事时说:
每年六月的第一周,他都会患上花粉热,他会戴着杀毒面具骑自行车去办公室,以防花粉。他的自行车有毛病:链条会定期脱落。他没有修理它,而是计算踏板转动的次数,并及时下车手动调整链条。他的另一个怪癖是他把杯子拴在散热器管上以防被偷。
彼得希尔顿在他的“美国数学世纪的回忆”中讲述了他在小屋8中与图灵合作的经历:
遇到真正的天才是一种难得的经历。我们这些有幸居住在学术世界的人都熟悉才华横溢的同事提供的智力刺激。我们可以欣赏他们与我们分享的想法,并且通常能够理解它们的来源;我们甚至可能经常相信我们自己可以创造这样的概念并产生这样的想法。然而,分享天才的智力生活的体验却完全不同;一个人意识到自己是在一种智能的面前,一种对如此深刻和独创性的敏感性,以至于一个人充满了惊奇和兴奋。艾伦·图灵就是这样一个天才,而那些像我一样,在第二次世界大战的奇怪紧急情况下拥有惊人而意想不到的机会的人
希尔顿在 Nova PBS纪录片《解码纳粹秘密》中也表达了类似的想法。
在布莱奇利庄园工作期间,图灵是也一位才华横溢的长跑运动员,当需要开会时,他偶尔会跑 40 英里(64 公里)到伦敦,他有能力达到世界级的马拉松标准。图灵为 1948 年英国奥运代表队进行了试训,但他也被伤病的阻碍。他的马拉松选拔时间仅比英国银牌得主托马斯·理查德兹(Thomas Richards)的奥运会比赛时间(2小时35分钟)慢了11分钟。他是沃尔顿竞技俱乐部最好的跑者,这一事实是在他独自跑过小组时发现的。 当被问及为什么他在训练中跑得如此努力时,他回答说:
我的工作压力很大,要想摆脱它,唯一的办法就是努力奔跑。这是我释放压力的唯一方法。
由于历史反事实的问题,很难准确估计超智能对战争的影响。然而,官方战争历史学家哈里·欣斯利(英语:Harry Hinsley)估计,这项工作将欧洲的战争缩短了两年多,挽救了超过 1400 万人的生命。
战争结束时,所有在布莱切利庄园工作的人收到了一份备忘录,提醒他们《官方保密法》规定的沉默守则不会随着战争而结束,而是会无限期地继续下去。因此,尽管图灵在 1946 年被乔治六世国王任命为大英帝国勋章(OBE),以表彰他在战时的服务,但他的工作多年来一直保密。
早期的计算机研究:图灵测试
在布莱切利庄园的图灵石像
1945年到1948年,图灵在国家物理实验室负责自动计算引擎(ACE)的研究工作。1949年,他成为曼彻斯特大学计算机实验室的副主任,负责最早的真正的计算机——曼彻斯特一号的软件工作。在这段时间,他继续作一些比较抽象的研究,如“计算机械和智能”。图灵在对人工智能的研究中,提出了一个叫做图灵测试的实验,尝试定出一个决定机器是否有感觉的标准。
1952年,图灵写了一个国际象棋程序。可是,当时没有一台计算机有足够的运算能力去执行这个程序,他就模仿计算机,每走一步要用半小时。他与一位同事下了一盘,结果程序输了。
后来美国新墨西哥州洛斯阿拉莫斯国家实验室的研究组根据图灵的理论,在ENIAC上设计出世界上第一个电脑程序的国际象棋——洛斯阿拉莫斯象棋。
图案形成和数理生物学的研究
从1952年直到去世,图灵一直在生物数学方面做研究。他在1952年发表了一篇论文《形态发生的化学基础》(英语:The Chemical Basis of Morphogenesis)。他主要的兴趣是斐波那契叶序列,存在于植物结构的斐波那契数。他应用了反应-扩散公式,现在已经成为图案形成范畴的核心。他后期的论文都没有发表,一直等到1992年《艾伦·图灵选集》出版,这些文章才见天日。2012年,《自然》杂志称赞他是有史以来最具科学思想的人物之一。
迫害和逝世
图灵在东柴郡威姆斯洛的家,挂有蓝色牌匾。
因为图灵的同性恋倾向而遭到的迫害使得他的职业生涯尽毁。1952年,他的同性伴侣协同一名同谋一起闯进图灵的房子行窃,但是英国警方的调查结果使得他被控以“明显的猥亵和性颠倒行为”罪(请参看性悖轨法)。他没有申辩,并被定罪。在公审后,他被给予了两个选择:坐牢或女性荷尔蒙注射“疗法”(即化学阉割)。他最后选择了雌激素注射,并持续一年。在这段时间里,药物产生了包括乳房不断发育的副作用,也使原本热爱体育运动的图灵在身心上受到极大伤害。1954年,图灵因食用浸过氰化物溶液的苹果而死亡。很多人相信他有意吃这苹果,并判决他是自杀。但是他的母亲Ethel Sara Stoney(德语:Ethel Sara Turing)极力争辩他的死是意外,因为图灵工作室有很多化学品,而他不小心让苹果沾上氰化物溶液。
政府的道歉和平反
在2009年9月10日,一份超过3万人的请愿签名,使英国首相戈登·布朗在《每日电讯报》撰文,因为英国政府当年以同性恋相关罪名起诉图灵并定罪,让他自杀身亡,正式向艾伦·图灵公开道歉。
至2012年,有2万多人签名请愿,要求英国政府追授图灵死后赦免状,但被当场拒绝。英国上议院的麦克纳利勋爵(英语:Lord McNally)解释说:“死后赦免状是不合理的,因为图灵是根据当时的法律被定罪。图灵应当知道他的所做所为会触犯法律,他也应当意识到他有可能会受到迫害。图灵在当时的判罪在今天看来既残酷又荒唐,这无疑是一个悲剧,尤其我们应当知道他对战争胜利做出了卓越的贡献。然而,我们不应当脱离历史背景看待这一事件,在那时的法律这的确是重刑。我们不应该在纠结于把不正确的事强行拨乱反正,我们所能做的是确保今日的社会再也不要回到过去及重复历史。”
2013年12月24日,英国司法部宣布英国女王伊丽莎白二世赦免1952年因同性恋行为被定罪的艾伦·图灵,不过有抗议者指出应将此赦免令范围扩大到所有和图灵同时代且受到同样待遇的同性恋者。
2015年2月23日,图灵的家人向英国首相府邸发出了一份超过50万人签名的请愿书,要求英国政府赦免49,000个和图灵一样因同性恋而获罪的人。2017年1月31日,艾伦·图灵法案生效,约49,000位因同性恋定罪者被赦免。
奖项、荣誉、表彰和敬意
曼彻斯特大学的艾伦图灵大厦(英语:Alan Turing Building)
图灵纪念雕像,位于曼彻斯特的Sackville公园。
图灵被授予1946年大英帝国勋章。他在1951年还被选为皇家学会(FRS)的成员。有几件事情以他的名字命名:
艾伦图灵研究所(英语:Alan Turing Institute)
邱奇-图灵论题
图灵估计
图灵完备性
不可解度,或图灵度
图灵不动点组合子
图灵研究所(英语:Turing Institute)
图灵机
图灵归约
图灵测试
自1966年以来,图灵奖每年由计算机协会颁发给计算机界,为其提供技术或理论贡献。 它被广泛认为是计算机科学世界的最高荣誉,相当于诺贝尔奖。
2021年英格兰银行选择了图灵作为印刷在新版50英镑纸币背面的人物。
苹果公司的商标
苹果公司的商标有时会被误认为是源于图灵自杀时咬下的半个苹果,但该图案的设计师和苹果公司都否认了这一说法。而公司创办人史蒂夫·乔布斯在接受史蒂文·弗莱问到此事时说:“上帝啊,我们希望它(LOGO向图灵致敬)是真的。但它只是巧合。”("God we wish it were. It's just a coincidence.")
显卡
图灵的名字也被英伟达用来命名NVIDIA GeForce 16系列和NVIDIA GeForce 20系列显卡核心名称。
流行文化
影视作品
《模仿游戏》:2014年电影,由本尼迪克特·康伯巴奇饰演艾伦·图灵。