-
艾伦·麦席森·图灵 编辑
艾伦·麦席森·图灵(英语:Alan Mathison Turing,1912年6月23日~1954年6月7日),英国计算机科学家、数学家、逻辑学家、密码分析学家、理论生物学家,“计算机科学之父”、“人工智能之父”,英国皇家学会院士。艾伦·麦席森·图灵于1935年当选为剑桥大学国王学院研究员;1936年提出被称为图灵机的逻辑机通用模型;1938年获普林斯顿大学博士学位;1939年开始在英国军方工作,期间破解德国密码系统恩尼格玛密码机和金枪鱼密码机,加速了盟军取得了二战的胜利;1946年获大英帝国勋章;1945年—1948年在伦敦泰丁顿国家物理实验室负责自动计算引擎(ACE)的研究工作;1948年任曼彻斯特大学高级讲师、自动数字计算机(Madam)项目的负责人助理;1949年任曼彻斯特大学计算机实验室副主任;1950年提出机器具备思维的可能性和“图灵测试”的概念;1951年当选为英国皇家学会院士;1954年服用含氰化物的苹果去世,享年41岁。图灵主要从事数理逻辑、纯数学、计算机科学、理论生物学方面研究。
中文名:艾伦·麦席森·图灵
外文名:Alan Mathison Turing
国籍:英国
出生地:英国伦敦
出生日期:1912年6月23日
逝世日期:1954年6月7日
毕业院校:普林斯顿大学
职业:教学科研工作者
代表作品:《论可计算的数及其在密码问题中的应用》、《计算机器与智能》
主要成就:1936年提出图灵机模型1950年提出图灵测试1951年当选为英国皇家学会院士
学历:研究生
学位:博士
年轻时期
16岁时的图灵
1922年6月,就读于哈泽尔赫斯特名为“威尔士”的预科学校,他写给父母的信显示了他对数学和化学的兴趣以及他的最新发明。
1926年,考入伦敦谢伯恩公学,受到良好的中等教育。在中学期间图灵就能读懂爱因斯坦的相对论,撰写了爱因斯坦的一部著作的内容提要,并获得国王爱德华六世数学金盾奖章。
科研时期
图灵在剑桥大学国王学院
1935年,发表论文《论高斯误差函数》,因此当选为国王学院的研究员,并于次年获得英国史密斯数学奖。
1936年,发表论文《论可计算的数及其在密码问题中的应用》,提出被后人称为图灵机的逻辑机通用模型。 同年9月,图灵应邀到美国普林斯顿高级研究院学习,在阿朗佐·丘奇(Alonzo Church)的指导下攻读博士学位。
1938年,获普林斯顿大学博士学位,主要工作为纯粹数学和早期的密码研究。同年夏天,回到英国工作,仍在剑桥大学国王学院任研究员。
二战期间
1939年秋,图灵应召到英国外交部通信处从事军事工作,主要是破译敌方密码的工作。
英国国家计算机博物馆内的Bombe复制品
1942年,图灵发现了第一种破译金枪鱼密码机信息的系统方法,让盟军对德国的战略有了更深入的了解,同时也改变了战争的进程。金枪鱼密码机的通信网络是移动电话网络的先驱,它横跨欧洲和北非,为希特勒和柏林的陆军总司令部以及前线将领建立了联系。
1946年,图灵被授予大英帝国勋章,以表彰他在战时的贡献。
战后工作
图灵(右一)在曼彻斯特大学工作
1948年,担任曼彻斯特大学高级讲师,并被指定为曼彻斯特自动数字计算机(Madam)项目的负责人助理,具体领导该项目数学方面的工作。
1949年成为曼彻斯特大学计算机实验室的副主任,负责最早的真正意义上的计算机——“曼彻斯特一号”的软件理论开发。
1950年,图灵编写并出版了《曼彻斯特电子计算机程序员手册》,继续进行数理逻辑方面的理论研究,并提出了著名的“图灵测试”。同年10月,图灵发表论文《机器能思考吗》,这一划时代的作品使图灵赢得了“人工智能之父”的称号。
1951年,由于在可计算数方面所取得的成就,当选为英国皇家学会院士。
1952年,图灵开始研究理论生物学,并发表了一篇论文《形态发生的化学基础》(The Chemical Basis of Morphogenesis)。
迫害逝世
1953年1月,图灵家里被盗,警察调查案件的过程中发现了他与同性伴侣的关系,结果图灵被审判并定以严重猥亵的罪名。图灵面临两个选择:坐牢或接受化学阉割(注射雌激素),他选择了后者。持续一年的合成雌激素注射造成了他的性无能和乳房发育。
1954年6月7日,图灵被发现死于家中的床上,床头还放着一个被咬了一口的泡过氰化物的苹果。
2009年,时任首相戈登·布朗代表英国政府就“图灵所受的骇人听闻的对待方式”作出正式道歉。
2013年,英国女王伊丽莎白二世向图灵追加了“皇家赦免令”,赦免令说,“图灵对战争的卓越贡献和在科学界留下的遗产应该被后人铭记和认可。”
科研成就
图灵主要从事数理逻辑和计算机科学方面研究,其研究成果构成了现代计算机技术的基础。
图灵机
图灵机示意图
图灵机不是一种具体的机器,而是一种思想模型;虽然简单但运算能力极强,可以计算出所有想象到的可计算函数。它有一条无限长的纸带,纸带分成了一个一个的小方格,每个方格有不同的颜色。有一个机器头在纸带上移来移去。机器头有一组内部状态,还有一些固定的程序。在每个时刻,机器头都要从当前纸带上读入一个方格信息,然后结合自己的内部状态查找程序表,根据程序输出信息到纸带的方格上,并转换自己的内部状态,然后进行移动。
经典的计算机实际上就是一个通用的图灵机,冯·诺依曼计算机是图灵机的一种物理化。图灵机被公认为现代计算机的原型,这台机器可以读入一系列的0和1 ,这些数字代表了解决某些问题所需要的步骤,按这个步骤走下去,就可以解决某一特定的问题。虽然图灵机只是一种理论的计算模型,但图灵的这一创新思想奠定了整个现代计算机的理论基础。
丘奇-图灵论题
戴维·希尔伯特(David Hilbert)于1928年提出了著名的“判定性问题”(Entscheidungs problem):是否存在一系列有限的步骤,它能判定任意一个给定的数学命题的真假?丘奇和图灵在1936-1937年各自独立解决了这一问题。他们的主要贡献在于将“判定性问题”形式化,详细定义了何为“一系列有限的步骤”。丘奇描述“有限的步骤”的模型为算子(-Calculus),而图灵描述“有限的步骤”的模型为图灵机(Turing Machine)。
1937年,图灵发表论文《可计算性与λ可定义性》(Computability and λ-definability)拓广了丘奇(Church)提出的“丘奇论题”而形成“丘奇-图灵论题”,这个论题断言图灵机同直观的有效的函数计算具有等价的问题求解机制。即所有“能解”的问题都存在一个图灵机,只要把问题放在图灵机带子上,若有解则停机后带子内容即是解答。这个断言叫做“论题”是由于他无法严格证明。这个论题对计算理论的严格化,对计算机科学的形成和发展都具有奠基性的意义。
图灵测试
图灵测试示意图
图灵测试,也就是图灵所说的“模仿游戏”的操作很简单:一位询问者将自己的问题写下来,发给处于另外一个房间之中的一个人和一台机器,然后根据他们给出的答案确定哪个是真人——如果无法判断或混淆了被考察的机器和人,则可认为被测试的机器具有某种程度的智慧。
理论生物学
1952年,图灵发表了一篇论文《形态发生的化学基础》,他用相当深奥而独特的数学方法,研究了决定生物的颜色或形态的化学物质(他称之为成形素)在形成平面形态(如奶牛体表的花斑)和立体形态(如放射形虫和叶序的分布方式)中的分布规律性,试图阐释“物理化学规律可以充分解释许多形态形成的事实”这一思想。图灵还进行了后来被称为“数学胚胎学”的奠基性研究工作,他还试图用数学方法研究人脑的构造问题,例如估算出一个具有给定数目的神经元的大脑中能存贮多少信息的问题等。
学术论著
图灵一生中撰写了大量的论文,但其大部分工作并没有以正式的形式发表在当时的科学期刊上,而是以内部报告、谈话等形式发表,一些甚至在多年之后才得以解密。以下列举了图灵公开发表的部分论文。
Turing A M. On computable numbers, with an application to the Entscheidungsproblem(论可计算的数及其在密码问题中的应用). J. of Math, 1936, 58(345-363): 5. |
Turing A M. Computability and λ-definability(可计算性与λ可定义性). The Journal of Symbolic Logic, 1937, 2(4): 153-163. |
Turing A M. Systems of logic based on ordinals(基于序数的逻辑系统). Proceedings of the London Mathematical Society, Series 2, 1939, 45: 161-228. |
Newman M H A, Turing A M. A formal theorem in Church's theory of types. The Journal of Symbolic Logic, 1942, 7(1): 28-33. |
Turing A M. The use of dots as brackets in Church's system. The Journal of Symbolic Logic, 1942, 7(4): 146-156. |
Turing A M. Practical forms of type theory. The Journal of Symbolic Logic, 1948, 13(2): 80-94. |
Turing A M. Equivalence of left and right almost periodicity(左右殆周期性的等价性). Journal of the London Mathematical Society, 1935, 1(4): 284-285. |
Turing A M. Finite approximations to lie groups(对李群的有限逼近). Annals of Mathematics, 1938: 105-111. |
Turing A M. The extensions of a group. Compositio Mathematica, 1938, 5: 357-367. |
Turing A M. A Method for the Calculation of the Zeta‐Function. Proceedings of the London Mathematical Society, 1945, 2(1): 180-197. |
Turing A M. Rounding-off errors in matrix processes. The Quarterly Journal of Mechanics and Applied Mathematics, 1948, 1(1): 287-308. |
Turing A M. The word problem in semi-groups with cancellation. Annals of Mathematics, 1950: 491-505. |
Turing A M. Some calculations of the Riemann zeta-function. Proceedings of the London Mathematical Society, 1953, 3(1): 99-117. |
Turing A M. Computing machinery and intelligence(计算机器与智能). Mind, 1950, 59(236): 433. |
Turing A M. The Chemical Basis of Morphogenesis(形态发生的化学基础). Philosophical Transactions of the Royal Society of London B, 1952, 59(236): 433. |
参考资料: |
人才培养
指导学生
艾伦·麦席森·图灵在剑桥大学期间于1953年指导了罗宾·甘迪(Robin Gandy),并与道格拉斯·哈特里(Douglas Hartree)共同指导了比阿特丽斯·沃斯利(Beatrice Worsley)。
荣誉表彰
授予时间 | 荣誉名称 | 授予单位 |
---|---|---|
1934年 | “B级明星牧马人(B Star Wrangler)”一等荣誉 | 剑桥大学 |
1936年 | 史密斯数学奖 | 剑桥大学 |
1946年 | 不列颠帝国勋章 | 英国政府 |
1999年 | 20世纪全世界最具影响力的100位人物 | 美国《时代》周刊 |
2019年 | 20世纪最伟大科学家 | BBC |
时间 | 职务 |
---|---|
1942年11月 | 美国贝尔实验室访问成员 |
感情关系
1941年春,图灵向他在布莱切利园的同事琼·克拉克(Joan Clarke)求婚,她在被聘来做解码工作前在剑桥大学研究数学。求婚几天后,图灵向她坦白自己有同性恋倾向。克拉克虽然有些担心,但依然将感情维持了下去。但六个月后,图灵感到这段感情不会圆满收场,便结束了这段感情。
1952年1月,图灵在曼彻斯特期间看电影时在影院门口遇到了名叫阿诺德·穆雷(Arnold Murray)的19岁青年。图灵对他一见如故,约他到家中过夜。穆雷将他与图灵的事告诉了一个朋友,朋友却认为应该抓住图灵是同性恋者这个把柄,敲诈一笔钱,图灵却不愿屈服。
家庭成员
图灵的父亲是朱利叶斯·马西森·图灵,他早年就读于牛津大学基督学院,并获得学士学位。1896年7月,朱利叶斯通过英属印度文职人员统一考试,担任印度民政部的官员。
图灵的母亲是艾赛儿·斯托尼,她生于一个铁路工程师家庭,曾就读于巴黎大学文理学院。
个人爱好
图灵在参加跑步比赛
图灵是一位出色的长跑爱好者,他说过:“我的工作压力很大,唯一能让我忘掉它的方法就是努力跑步,这是我获得释放的唯一途径。”他在剑桥国王学院时,会沿着剑桥和伊利之间的河边步道奔跑。后来学校为纪念他也在这里举办一年一度的“图灵接力赛”。在布莱切利园工作时,图灵甚至偶尔会跑40英里到伦敦参加会议。他还参加了1948年英国奥运代表队的选拔赛,但当天由于伤病,没有获得参赛资格。然而,他的马拉松选拔赛成绩只比英国银牌得主托马斯·理查兹(Thomas Richards)慢了11分钟。
艾伦·图灵博士是一位才华横溢的杰出人物,因其对战争的杰出贡献和对科学的遗产而值得被铭记和认可。(英国原司法部长克里斯·格雷林评 )
一个古怪的不信上帝的同性恋,一个成就辉煌的英国数学家,两顶大帽子把图灵扣得好生纠结。然而,他却肩负着两项伟大的历史使命,一边是计算机科学中最有诗意的概念和理论,一边是在第二次世界大战时为世界和平而解谜。(《哥德尔·艾舍尔·巴赫》作者,人工智能专家道格拉斯·理查·郝夫斯台特评 )
2012年,是一个伟人的百年诞辰。即使他们把所有崇高的致意奉献给他都不为过。他就是艾伦·图灵。100年前,艾伦·图灵诞生在一个文化和科技水平都与如今完全不同的时代里,但这并不影响他成为最伟大最值得纪念的人之一。他为计算机领域奠定了不可埋没的基础,没有他就没有的计算机。(图灵奖获得者、Google资深副总裁兼首席因特网专家文特·瑟夫评价 )
图灵奖
1966年,美国计算机协会(ACM)设立图灵奖,用以奖励那些对计算机事业作出重要贡献的个人,是美国计算机协会在计算机技术方面所授予的最高奖项,被喻为计算机界的诺贝尔奖。
纪念雕像
布莱切利园内图灵的塑像
2013年12月,英国女王伊丽莎白二世正式为图灵平反,在曼彻斯特的图灵故居前竖起了纪念图灵的铜牌与铜像。
人物传记
《艾伦-图灵传》
影视形象
《破解密码》(Breaking the Code):休·怀特摩尔(Hugh Whitemore)于1986年创作的一部关于图灵的戏剧,在伦敦西区和百老汇等地上演。图灵由德里克·雅各比(Derek Jacobi)扮演。该剧获得了三项托尼奖提名。
《模仿游戏》:莫腾·泰杜姆(Morten Tyldum)执导的传记电影,改编自安德鲁·霍奇斯编著的传记《艾伦·图灵传》,2014年11月28日上映。本尼迪克特·康伯巴奇(Benedict Cumberbatch)饰演主人公艾伦·图灵。故事主要聚焦于天才数学家艾伦·图灵协助盟军破译德国密码系统恩尼格玛,从而扭转二战战局的经历。该片获得第87届奥斯卡金像奖最佳改编剧本奖。
登上英镑
50英镑纸币(背面)
图灵法案
2017年1月31日,英国宣布赦免历史上其他因过时的“严重猥亵法”而被定罪的上万名同性恋以及双性恋人群,向那些在1967年前因同性恋倾向而被定罪的人道歉,这也被称为“图灵法案”。
1、本站所有文本、信息、视频文件等,仅代表本站观点或作者本人观点,请网友谨慎参考使用。
2、本站信息均为作者提供和网友推荐收集整理而来,仅供学习和研究使用。
3、对任何由于使用本站内容而引起的诉讼、纠纷,本站不承担任何责任。
4、如有侵犯你版权的,请来信(邮箱:baike52199@gmail.com)指出,核实后,本站将立即删除。
下一篇 奥利弗·彭罗斯
上一篇 圣地亚哥德孔波斯特拉大学