阿兰·图灵

(1912-1954)计算机科学之父

艾伦·麦席森·图灵,OBE,FRS(英语:Alan Mathison Turing,又译阿兰·图灵,Turing也常翻译成涂林或者杜林,1912年6月23日-1954年6月7日)是英国计算机科学家、数学家、逻辑学家、密码分析学家和理论生物学家,他被誉为计算机科学与人工智能之父。

二次世界大战期间,“Hut 8”小组,负责德国海军密码分析。 期间他设计了一些加速破译德国密码的技术,包括改进波兰战前研制的机器Bombe(英语:Bombe (cryptography)),一种可以找到恩尼格玛密码机设置的机电机器。 图灵在破译截获的编码信息方面发挥了关键作用,使盟军能够在包括大西洋战役在内的许多重要交战中击败轴心国海军,并因此帮助赢得了战争。

图灵对于人工智能的发展有诸多贡献,例如图灵曾写过一篇名为《计算机器和智能(英语:Computing Machinery and Intelligence)》的论文,提问“机器会思考吗?”(Can Machines Think?),作为一种用于判定机器是否具有智能的测试方法,即图灵测试。至今,每年都有试验的比赛。此外,图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。

图灵是著名的男同性恋者,并因为其性倾向而遭到当时的英国政府迫害,职业生涯尽毁。他亦患有花粉过敏症。

图灵还是一位世界级的长跑运动员。他的马拉松最好成绩是2小时46分03秒(手动计时),比1948年奥林匹克运动会金牌成绩慢11分钟。1948年的一次越野赛跑中,他跑赢了同年奥运会银牌得主汤姆·理查兹。

生平

孩童和年轻时代

图灵的父亲朱利斯·麦席森·图灵(Julius Mathison Turing)是一名英属印度的公务员。1911年,图灵的母亲Ethel在英属印度怀了孕。因为他们希望艾伦在英国出生,所以回到伦敦,住在帕丁顿,并在那里生下了艾伦。父亲的公务员委任使他在艾伦小时候经常来往于英伦和印度。由于担心印度的气候不利于儿童成长,他便把家庭留在英伦与朋友同住。图灵很小的时候就表现出他的天赋,后来越发明显。

1927年,他的父母在吉尔福德购买了一所房子,图灵在学校放假期间住在该处。该位置附近还标有蓝色路牌。

六岁的时候,他的父母为他在一间叫圣迈克尔(St. Michael's)的日间学校注册。女校长很快就注意到他的才能,随后Marlborough学院的许多教育家也注意到这点。1926年,他十三岁的时候考入在多塞特郡的谢尔本寄宿学校。开学的第一天,不幸遇上了大罢工。图灵坚决要上第一天的课,于是他独自从南安普顿骑了六十英哩的自行车去上学,途中还在一间旅社度过一宵。

图灵天生对科学的喜好并没有给他在谢尔本的老师留下好印象。他们对教育较为着重于人文学科而不是科学。虽然如此,图灵继续在他喜欢的学科表现出惊人的能力,还没有学过基础微积分的他,就已经能够解答以他年纪来说算是很高深的难题。

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曾说过:“你需要非凡的天赋,你需要布莱切利的天才,而图灵就是那个天才。”

从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的说法,与图灵一起工作的密码分析家Jack 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年,图灵因食用浸过氰化物溶液的苹果而死亡。很多人相信他有意吃这苹果,并判决他是自杀。但是他的母亲极力争辩他的死是意外,因为图灵工作室有很多化学品,而他不小心让苹果沾上氰化物溶液。

政府的道歉和平反

在2009年9月10日,一份超过3万人的请愿签名,使英国首相戈登·布朗在《每日电讯报》撰文,因为英国政府当年以同性恋相关罪名起诉图灵并定罪,让他自杀身亡,正式向艾伦·图灵公开道歉。

至2012年,有2万多人签名请愿,要求英国政府追授图灵死后赦免状,但被当场拒绝。英国上议院的麦克纳利勋爵(英语:Lord McNally)解释说:“死后赦免状是不合理的,因为图灵是根据当时的法律被定罪。图灵应当知道他的所做所为会触犯法律,他也应当意识到他有可能会受到迫害。图灵在当时的判罪在今天看来既残酷又荒唐,这无疑是一个悲剧,尤其我们应当知道他对战争胜利做出了卓越的贡献。然而,我们不应当脱离历史背景看待这一事件,在那时的法律这的确是重刑。我们不应该在纠结于把不正确的事强行拨乱反正,我们所能做的是确保今日的社会再也不要回到过去及重复历史。”

2013年12月24日,英国司法部宣布英国女王伊丽莎白二世赦免1952年因同性恋行为被定罪的艾伦·图灵,不过有抗议者指出应将此赦免令范围扩大到所有和图灵同时代且受到同样待遇的同性恋者。

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.")

显卡

图灵这名字也被英伟达用来命名NVIDIA GeForce 16系列,NVIDIA GeForce 20系列显卡核心名称。

流行文化

影视作品

收藏分享

复制网址 > https://maohaha.com/c/10580/

留言评论