阿兰·麦席森·图灵

《阿兰·麦席森·图灵》由会员分享，可在线阅读，更多相关《阿兰·麦席森·图灵（15页珍藏版）》请在金锄头文库上搜索。

1、阿兰麦席森图灵 Alan Mathison Turing ，6 月 23 日生于英国伦敦。是英国著名的数学家 和逻辑学家，被称为计算机科学之父、人工智能之父，是计算机逻辑的奠基者，提出了“图 灵机”和“图灵测试”等重要概念。人们为纪念其在计算机领域的卓越贡献而设立“图灵奖”。 中文名： 阿兰麦席森图灵 外文名： Alan Mathison Turing 国籍：英国 民族：英格兰 出生地： 英国伦敦 出生日期：1912 年 6 月 23 日逝世日期：1954 年 6 月 7 日职业：数学家及计算机逻辑 学家毕业院校：剑桥大学国王学院信仰：科学主要成就：提出“图灵机”概念 提出“图灵测试”概念 开

2、创非线性力学 破解德国密码系统 Enigma 代表作品： 论数字计算在决断难题中的应用 ， 机器 能思考吗？目录 人物履历 早期生活 科研时期 人物逝世 获得平反 大事年表 重要成就 可计算性理论与图灵机 判定问题 电子计算机 人工智能 数理生物学 图灵试验 人物影响 图灵奖 图灵机 图灵实验 人物履历 早期生活 科研时期 人物逝世 获得平反 大事年表 重要成就 可计算性理论与图灵机 判定问题 电子计算机 人工智能 数理生物学 图灵试验 人物影响 图灵奖 图灵机 图灵实验 展开 编辑本段人物履历 早期生活图灵的 阿兰麦席森图灵 父亲 JM图灵早年就读于牛津大学科帕斯克斯蒂学院历史系，后来从政，

3、被派往印度，担 任民政部的官员图灵的母亲 ES斯托尼(Stoney)生于一个铁路工程师家庭，曾就读于巴黎 大学文理学院，图灵是他们的次子。因为工作原因，孩子们经常住在一位朋友家中阿 兰麦席森图灵少年时就表现出独特的直觉创造能力和对数学的爱好。1926 年，他考入伦 敦有名的舍本(Sherborne)公学，受到良好的中等教育他在中学期间表现出对自然科学的 极大兴趣和敏锐的数学头脑。 1927 年末，年仅 15 岁的阿兰麦席森图灵为了帮助母亲理解爱因斯坦的相对论，写了 爱因斯坦的一部著作的内容提要，表现出他已具备非同凡响的数学水平和科学理解力。他 对自然科学的兴趣使他在 1930 年和 1931

4、年两次获得他的一位同学莫科姆的父母设立的自 然科学奖，获奖工作中有一篇论文题为“亚硫酸盐和卤化物在酸性溶液中的反应”，受到政 府派来的督学的赞赏，对自然科学的兴趣为他后来的一些研究奠定了基础，他的数学能力 使他在念中学时获得过国王爱德华六世数学金盾奖章。 科研时期1931 年，图灵考入剑桥大学国王学院，由于成绩优异而获得数学奖学金在剑桥，他 的数学能力得到充分的发展1935 年，他的第一篇数学论文“左右殆周期性的等价”发表于 伦敦数学会杂志上。同一年，他还写出“论高斯误差函数”一文这一论文使他由一名 大学生直接当选为国王学院的研究员，并于次年荣获英国著名的史密斯(Smith)数学奖，成 为国王

5、学院声名显赫的毕业生之一。1936 年 5 月， 阿兰麦席森图灵 图灵写出了表述他的最重要的数学成果的论文“论可计算数及其在判定问题中的应用”，该 文于 1937 年在伦敦数学会文集第 42 期上发表后，立即引起广泛的注意。1937 年，阿 兰麦席森图灵发表的另一篇文章“可计算性与 可定义性”则拓广了丘奇(Church)提出的 “丘奇论点”，形成“丘奇-图灵论点”，对计算理论的严格化，对计算机科学的形成和发展都 具有奠基性的意义,1936 年 9 月，阿兰麦席森图灵应邀到美国普林斯顿高级研究院学习， 并与丘奇一同工作。在美国期间，他对群论作了一些研究，并撰写了博士论文，1938 年在 普林斯顿

6、获博士学位，其论文题目为“以序数为基础的逻辑系统”，1939 年正式发表，在数 理逻辑研究中产生了深远的影响。 1938 年夏，阿兰麦席森图灵回到英国，仍在剑桥大学国王学院任研究员，继续研究 数理逻辑和计算理论，同时开始了计算机的研制工作。第二次世界大战打断了他的正常研 究工作，1939 年秋，他应召到英国外交部通信处从事军事工作，主要是破译敌方密码的工 作由于破译工作的需要，他参与了世界上最早的电子计算机的研制工作他的工作取得 了极好的成就，因而于 1945 年获政府的最高奖大英帝国荣誉勋章(OBE勋章) 人们认为，通用计算机的概念就是阿兰麦席森图灵提出来的1945 年，阿兰麦席 森图灵结束

7、了在外交部的工作，他试图恢复战前在理论计算机科学方面的研究，并结合战 时的工作，具体研制出新的计算机来这一想法得到当局的支持同年，图灵被录用为泰 丁顿(Teddington)国家物理研究所的研究人员，开始从事“自动计算机”(ACE)的逻辑设计和 具体研制工作。这一年，图灵写出一份长达 50 页的关于 ACE 的设计说明书。这一说明书 在保密了 27 年之后，于 1972 年正式发表在图灵的设计思想指导下，1950 年制出了 ACE 样机，1958 年制成大型 ACE 机。1948 年，图灵接受了曼彻斯特大学的高级讲师职务，并 被指定为曼彻斯特自动数字计算机(Madam)项目的负责人助理，具体领

8、导该项目数学方面 的工作作为这一工作的总结，1950 年图灵编写并出版了曼彻斯特电子计算机程序员手 册(The programmershandbook for the Manchester electronic computer)。这期间，他继续进 行数理逻辑方面的理论研究。早在 1947 年，图灵就提出过自动程序设计的思想，1950 年， 他提出关于机器思维的问题，他的论文“计算机和智能(Computing machinery and intelligence)， 引起了广泛的注意和深远的影响。 1956 年，在收入一部文集时此文改名为“机器能够思维吗？”(Can machine think

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

10、森图灵的同性伴侣协同一名同谋一起闯进了艾伦 阿兰麦席森图灵 麦席森图灵的房子实施盗窃。艾伦麦席森图灵为此而报警。但是警方的调查结果使得他 被控以“明显的猥亵和性颠倒行为”（因为在当时英国的法律认为同性恋为违法行为） 。他没 有申辩，并被定罪。在著名的公审后，他被给予了两个选择：坐牢或荷尔蒙疗法。他选择 了荷尔蒙注射，并持续了一年。在这段时间里，药物产生了包括乳房不断发育的副作用。 1954 年，艾伦麦席森图灵因食用浸过氰化物溶液的苹果死亡。为了纪念他对计算机科学 的巨大贡献，美国计算机协会从 60 年代起设立一年一度的图灵奖，以表彰在计算机科学中 做出突出贡献的人。 获得平反随着时代的进步，英

11、国的法律不再视同性恋为违法行为并开始允许同性伴侣民事结合。 在这一大环境下，2009 年 9 月 10 日，英国当时的首相戈登.布朗正式代表英国政府向图灵 因为同性恋被定罪并导致其自杀公开道歉，阿兰麦席森图灵正式获得平反。 编辑本段大事年表1912 年 6 月 23 日，出生于英国伦敦。 1931 年-1934 年，在英国剑桥大学国王学院（Kings College）学习。 1932 年-1935 年，主要研究量子力学、概率论和逻辑学。 1935 年，年仅 23 岁的图灵，被选为剑桥大学国王学院院士。 1936 年，主要研究可计算理论，并提出“图灵机”的构想。 1936 年-1938 年，主要

12、在美国普林斯顿大学做博士研究，涉及逻辑学、代数和数论等 领域。 1938-1939 年，返回剑桥从事研究工作，并应邀 阿兰麦席森图灵 加入英国政府破译二战德军密码的工作。 1940 年-1942 年，作为主要参与者和贡献者之一，在破译纳粹德国通讯密码的工作上 成就杰出，并成功破译了德军 U-潜艇密码，为扭转二战盟军的大西洋战场战局立下汗马功 劳。 1943 年-1945 年，担任英美密码破译部门的总顾问。 1945 年，应邀在英国国家物理实验室从事计算机理论研究工作。 1946 年，这个时候，图灵在计算机和程序设计原始理论上的构思和成果，已经确定了 他的理论开创者的地位。由于图灵的杰出贡献，年

13、轻的他被英国皇室授予 OBE 爵士勋衔。 1947 年-1948 年，主要从事计算机程序理论的研究，并同时在神经网络和人工智能领 域做出开创性的理论研究。 1948 年，应邀加入英国曼彻斯特大学从事研究工作，担任曼彻斯特大学计算实验室副 主任。 1949 年，成为世界上第一位把计算机实际用于数学研究的科学家。 1950 年，发表论文“计算机器与智能”，为后来的人工智能科学提供了开创性的构思。 提出著名的“图灵测试”理论。 1951 年，从事生物的非线性理论研究。年仅 39 岁的图灵，被选为英国皇家学会会员。1952 年，在当年保守和冷战的时代，当警察得知图灵与同性朋友密切交往的消息之后， 同性

14、恋倾向的图灵被逮捕入狱。在法庭审判过程中，图灵明确告知人们，他认为自己没有 做错什么事。在那个观念相对保守的年代，为了避免被判刑入狱，图灵被迫选择了为期一 年的雌性激素注射的所谓“治疗”，才得以重新返回研究工作。 1953 年-1954 年，继续在生物和物理学等方面的研究。被迫承受的对同性恋倾向的“治 疗”，致使原本热爱体育运动的图灵在身心上受到极大的伤害。 1954 年 6 月 7 日，图灵被发现死于家中的床上，床头还放着一个被咬了一口的苹果。 警方调查后认为是氰化物中毒，调查结论为自杀。 编辑本段重要成就 可计算性理论与图灵机在 20 世纪以前，人们普遍认为，所有的问题类都是有算法的，人们

15、的计算研究就是找 出算法来似乎正是为了证明一切科学命题，至少是一切数学命题存在算法，莱布尼茨 (Leibniz)开创了数理逻辑的研究工作。但是 20 世纪初，人们发现有许多问题已经过长期研 究，仍然找不到算法，例如希尔伯特第 10 问题，半群的字的问题等。于是人们开始怀疑， 是否对这些问题来说，根本就不存在算法， 剑桥大学国王学院的计算机房现在以图灵为名 即它们是不可计算的。这种不存在性当然需要证明，这时人们才发现，无论对算法还是对 可计算性，都没有精确的定义。1934 年，哥德尔(Godel)在埃尔布朗(Herbrand)的启示下提 出了一般递归函数的概念，并指出：凡算法可计算函数都是一般递

16、归函数，反之亦然1936 年，克林(Kleene)又加以具体化因此，算法可计算函数的一般递归函数定义后 来被称为埃尔布朗哥德尔克林定义。同年，丘奇证明了他提出的 可定义函数与一般递 归函数是等价的，并提出算法可计算函数等同于一般递归函数或 可定义函数，这就是著 名的“丘奇论点”,用一般递归函数虽给出了可计算函数的严格数学定义，但在具体的计算过 程中，就某一步运算而言，选用什么初始函数和基本运算仍有不确定性。为消除所有的不 确定性，艾伦麦席森图灵在他的“论可计算数及其在判定问题中的应用”一文中从一个全 新的角度定义了可计算函数，他全面分析了人的计算过程，把计算归结为最简单、最基本、 最确定的操作动作，从而用一种简单的方法来描述那种直观上具有机械性的基本计算程序， 使任何机械(能行)的程序都可以归约为这些动作。这种简单的方法是以一个抽象自动机概 念为基础的