阿兰·麦席森·图灵

1 人物履历

1.1 早期生活

　　图灵的父亲J·M·图灵早年就读于牛津大学科帕斯克斯蒂学院历史系，后来从政，被派往印度，担任民政部的官员。图灵的母亲E·S·斯托尼（Stoney）生于一个铁路工程师家庭，曾就读于巴黎大学文理学院，图灵是他们的次子。因为工作原因，孩子们经常住在一位朋友家中。阿兰·麦席森·图灵少年时就表现出独特的直觉创造能力和对数学的爱好。1926年，他考入伦敦有名的舍本（Sherborne）公学，受到良好的中等教育。他在中学期间表现出对自然科学的极大兴趣和敏锐的数学头脑。

　　他对自然科学的兴趣使他在1930年和1931年两次获得他的一位同学莫科姆的父母设立的自然科学奖，获奖工作中有一篇论文题为“亚硫酸盐和卤化物在酸性溶液中的反应”，受到政府派来的督学的赞赏，对自然科学的兴趣为他后的一些研究奠定了基础，他的数学能力使他在念中学时获得过国王爱德华六世数学金盾奖章。

1.2 科研时期

　　1931年，图灵考入剑桥大学国王学院，由于成绩优异而获得数学奖学金。在剑桥，他的数学能力得到充分的发展。1935年，他的第一篇数学论文“左右殆周期性的等价”发表于《伦敦数学会杂志》上。同一年，他还写出“论高斯误差函数”一文。这一论文使他由一名大学生直接当选为国王学院的研究员，并于次年荣获英国著名的史密斯(Smith）数学奖，成为国王学院声名显赫的毕业生之一。1936年5月，灵写出了表述他的最重要的数学成果的论文“论可计算数及其在判定问题中的应用”，该文于1937年在《伦敦数学会文集》第42期上发表后，立即引起广泛的注意。1937年，阿兰·麦席森·图灵发表的另一篇文章“可计算性与λ可定义性”则拓广了丘奇(Church）提出的“丘奇论点”，形成“丘奇-图灵论点”，对计算理论的严格化，对计算机科学的形成和发展都具有奠基性的意义，1936年9月，阿兰·麦席森·图灵应邀到美国普林斯顿高级研究院学习，并与丘奇一同工作。在美国期间，他对群论作了一些研究，并撰写了博士论文，1938年在普林斯顿获博士学位，其论文题目为“以序数为基础的逻辑系统”，1939年正式发表，在数理逻辑研究中产生了深远的影响。

　　1938年夏，阿兰·麦席森·图灵回到英国，仍在剑桥大学国王学院任研究员，继续研究数理逻辑和计算理论，同时开始了计算机的研制工作。第二次世界大战打断了他的正常研究工作，1939年秋，他应召到英国外交部通信处从事军事工作，主要是破译敌方密码的工作。他在布莱奇利庄园（Bletchley Park）利用工具Bombe破译德军的密码“谜（Enigma）”，并参与了世界上最早的电子计算机的研制工作。他的工作取得了极好的成就，因而于1945年获政府的最高奖——大英帝国荣誉勋章（O。B。E。勋章）。人们认为，通用计算机的概念就是阿兰·麦席森·图灵提出来的。1945年，阿兰·麦席森·图灵结束了在外交部的工作，他试图恢复战前在理论计算机科学方面的研究，并结合战时的工作，具体研制出新的计算机来。这一想法得到当局的支持。同年，图灵被录用为泰丁顿（Teddington）国家物理研究所的研究人员，开始从事“自动计算机”（ACE）的逻辑设计和具体研制工作。这一年，图灵写出一份长达50页的关于ACE的设计说明书。这一说明书在保密了27年之后，于1972年正式发表。在图灵的设计思想指导下，1950年制出了ACE样机，1958年制成大型ACE机。1948年，图灵接受了曼彻斯特大学的高级讲师职务，并被指定为曼彻斯特自动数字计算机（Madam）项目的负责人助理，具体领导该项目数学方面的工作。作为这一工作的总结，1950年图灵编写并出版了《曼彻斯特电子计算机程序员手册》（The programmers’handbook for the Manchester electronic computer）。这期间，他继续进行数理逻辑方面的理论研究。早在1947年，图灵就提出过自动程序设计的思想，1950年，他提出关于机器思维的问题，他的论文“计算机和智能（Computing machinery and intelligence），引起了广泛的注意和深远的影响。

　　1956年，在收入一部文集时此文改名为“机器能够思维吗？”（Can machine think？），至今仍是研究人工智能的首选读物之一。1951年，图灵当选为英国皇家学会会员。1952年，他辞去剑桥大学国王学院研究员的职务，专心在曼彻斯特大学工作。除了日常工作和研究工作之外，他还指导一些博士研究生，还担任了制造曼彻斯特自动数字计算机的一家公司——弗兰蒂公司的顾问。1952年，图灵写了一个国际象棋程序。可是，当时没有一台计算机有足够的运算能力去执行这个程序，他就模仿计算机，每走一步要用半小时。他与一位同事下了一盘，结果程序输了。后来美国新墨西哥州洛斯阿拉莫斯国家实验室的研究群根据图灵的理论，在MANIAC上设计出世界上第一个电脑程序的象棋。

2 自杀事件

　　1952年，艾伦·麦席森·图灵的同性伴侣协同一名同谋一起闯进了艾伦·麦席森·图灵的房子实施盗窃。艾伦·麦席森·图灵为此而报警。但是警方的调查结果使得他被控以“明显的猥亵和性颠倒行为”（因为在当时英国的法律认为同性恋为违法行为）。他没有申辩，并被定罪。在著名的公审后，他被给予了两个选择：坐牢或荷尔蒙疗法。他选择了荷尔蒙注射，并持续了一年。在这段时间里，药物产生了包括乳房不断发育的副作用。1954年，艾伦·麦席森·图灵因食用浸过氰化物溶液的苹果死亡。

2.1 政府赦免

　　随着时代的进步，英国的法律不再视同性恋为违法行为并开始允许同性伴侣民事结合。在这一大环境下，2009年9月10日，在三万民众的联名请愿下，英国当时的首相戈登。布朗正式代表英国政府向图灵因为同性恋被定罪并导致其自杀公开道歉。^[1]但英国政府在2012年拒绝了为其追赠死后赦免状的请愿。^[2]

　　2013年12月24日，英国司法部长宣布，当时的判决“不公，有歧视”，图灵已经获得英国女王伊莉莎白二世的赦免，“女王的赦免是对这位优秀人物的献礼”。

　　英国首相卡梅伦则表示说，图灵在破解二战德军密码、拯救国家上发挥了关键作用，是一个“了不起的人”。^[3]

3 人物影响

　　图灵思想活跃，他的创造力也是多方面的。据同事们回忆，他在战时的秘密工作中，曾创造好几种新的统计技术，但都未形成论文发表，后来又重新为他人所创建，由A。瓦尔德(Wald）重新发现并提出的“序贯分析”就是其中之一。他对群论也有所研究，在“形态形成的化学基础”一文中，他用相当深奥而独特的数学方法，研究了决定生物的颜色或形态的化学物质（他称之为成形素）在形成平面形态（如奶牛体表的花斑）和立体形态（如放射形虫和叶序的分布方式）中的分布规律性，试图阐释“物理化学规律可以充分解释许多形态形成的事实”这一思想。在生物学界，80年代才开始探讨这一课题，图灵还进行了后来被称为“数学胚胎学”的奠基性研究工作。他还试图用数学方法研究人脑的构造问题，例如估算出一个具有给定数目的神经元的大脑中能存贮多少信息的问题等。这些，至今仍然是吸引着众多科学家的新颖课题。人们认为，图灵是一位科学史上罕见的具有非凡洞察力的奇才：他的独创性成果使他生前就已名扬四海，而他深刻的预见使他死后倍受敬佩。当人们发现后人的一些独立研究成果似乎不过是在证明图灵思想超越时代的程度时，都为他的英年早逝感到由衷的惋惜。

　　苹果公司的标志一度被误认为源于图灵自杀时咬下的半个苹果。但该图案的设计师和苹果公司都否认了这一说法。^[4]

　　2012年是阿兰图灵的100周年诞辰，被定为“阿兰图灵年”。

4 个人生活

　　图灵还是一位世界级的长跑运动员。他的马拉松最好成绩是2小时46分3秒，比1948年奥林匹克运动会金牌成绩慢11分钟。1948年的一次跨国赛跑比赛中，他跑赢了同年奥运会银牌得主汤姆·理查兹（Tom Richards）。

5 图灵奖

　　“图灵奖”是美国计算机协会（ACM，Association for Computer Machinery）于1966年设立的，专门奖励那些对计算机科学研究与推动计算机技术发展有卓越贡献的杰出科学家。设立的初衷是因为计算机技术的飞速发展，尤其到20世纪60年代，其已成为一个独立的有影响的学科，信息产业亦逐步形成，但在这一产业中却一直没有一项类似“诺贝尔”、“普利策”等的奖项来促进该学科的进一步发展，为了弥补这一缺陷，于是“图灵”奖便应运而生，它被公认为计算机界的“诺贝尔”奖。

　　图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。目前图灵奖由Google公司赞助，奖金为100,000美元。

　　每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。

　　截止至2005年，获此殊荣的华人仅有一位，他是2000年图灵奖得主姚期智。