1950图灵发表论文

冯·诺依曼：2进制思想与程序内存思想布尔：用一套符号来进行逻辑演算，把数学建立在严格逻辑基础上图灵：他提出的有限状态自动机也就是图灵机的概念，对于人工智能，它提出了重要的衡量标准“图灵测试”，如果有机器能够通过图灵测试，那他就是一个完全意义上的智能机，和人没有区别了。

图灵在计算机的发展史上是做出了一些卓绝的贡献，大家都知道。

艾伦·麦席森·图灵（Alan Mathison Turing），别名：图灵、艾伦·图灵、人工智能之父，生于1912年6月23日，雨1954年6月7日去世，代表作有：《论数字计算在决断难题中的应用》、《机器能思考吗？》。         他是英国数学家、逻辑学家，被称为计算机科学之父，人工智能之父。         1931年图灵进入剑桥大学国王学院，毕业后到美国普林斯顿大学攻读博士学位，第二次世界大战爆发后回到剑桥，后曾协助军方破解德国的著名密码系统Enigma，帮助盟军取得了二战的胜利。         1952年，英国政府对图灵的同性恋取向定罪，随后图灵接受化学阉割（雌激素注射）。1954年6月7日，图灵吃下含有氰化物的苹果中毒身亡，享年41岁。2013年12月24日，在英国司法大臣克里斯·格雷灵的要求下，英国女王伊丽莎白二世向图灵颁发了皇家赦免。         图灵对于人工智能的发展有诸多贡献，提出了一种用于判定机器是否具有智能的试验方法，即图灵试验，至今，每年都有试验的比赛。此外，图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。         由于图灵对计算机科学、人工智能方面做出的杰出贡献，特此美国计算机协会（ACM）于1966年设立了图灵奖，专门奖励那些对计算机事业作出重要贡献的个人。 其名称就取自计算机科学的先驱、英国科学家艾伦·麦席森·图灵（Alan M. Turing）。         艾伦·麦席森·图灵从小就表现出极强的创造能力和对数学的痴迷。 年仅14岁的图灵就考入了伦敦有名的谢伯恩（Sherborne）公学去学习 ，在良好的中等教育条件下又表现出了对自然科学有着极大兴趣和敏锐的数学头脑。         15岁的时候为了帮助母亲理解爱因斯坦的相对论，写了爱因斯坦的一部著作的内容提要，表现出他已具备非同凡响的数学水平和科学理解力。         由于图灵对自然科学极大的兴趣，促使他在1930年和1931年两次获得他的一位同学（莫科姆）的父母设立的自然科学奖，获奖工作中有一篇论文题为“亚硫酸盐和卤化物在酸性溶液中的反应”，受到政府派来的督学的赞赏，对自然科学的兴趣为他后来的一些研究奠定了基础，他的数学能力使他在念中学时获得过国王爱德华六世数学金盾奖章。         于是在1931年，图灵考入了剑桥大学国王学院，由于成绩优异而获得数学奖学金。在剑桥，他的数学能力得到充分的发展。         在1935年的时候，他的第一篇数学论文“左右殆周期性的等价”发表于《伦敦数学会杂志》上。同一年，他还写出“论高斯误差函数”一文。这一论文使他由一名大学生直接当选为国王学院的研究员，并于次年荣获英国著名的史密斯（Smith）数学奖，成为国王学院声名显赫的毕业生之一。         1936年5月，图灵向伦敦权威的数学杂志投了一篇论文，题为《论数字计算在决断难题中的应用》。该文于1937年在《伦敦数学会文集》第42期上发表后，立即引起广泛的注意。在论文的附录里他描述了一种可以辅助数学研究的机器，后来被人称为“图灵机”，这个设想最有变革意义的地方在于，它第一次在纯数学的符号逻辑，和实体世界之间建立了联系，后来我们所熟知的电脑，以及还没有实现的“人工智能”，都基于这个设想。这是他人生第一篇重要论文，也是他的成名之作。         1937年，图灵发表的另一篇文章“可计算性与λ可定义性”则拓广了丘奇（Church）提出的“丘奇论点”，形成“丘奇-图灵论点”，对计算理论的严格化，对计算机科学的形成和发展都具有奠基性的意义。         1936年9月，图灵应邀到美国普林斯顿高级研究院学习，并与丘奇一同工作。         在美国期间，他对群论作了一些研究，并撰写了博士论文。1938年在普林斯顿获博士学位，其论文题目为“以序数为基础的逻辑系统”，1939年正式发表，在数理逻辑研究中产生了深远的影响。         1938年夏，图灵回到英国，仍在剑桥大学国王学院任研究员，继续研究数理逻辑和计算理论，同时开始了计算机的研制工作。         然而第二次世界大战到来了，打断了图灵的正常研究工作，1939年秋，他被应召到英国外交部通信处从事军事工作，主要是破译敌方密码的工作。由于破译工作的需要，他参与了世界上最早的电子计算机的研制工作。他的工作取得了极好的成就，因而于1945年获政府的最高奖——大英帝国荣誉勋章（O.B.E.勋章）。         1945年，图灵结束了在外交部的工作，他试图恢复战前在理论计算机科学方面的研究，并结合战时的工作，具体研制出新的计算机来。这一想法得到当局的支持。同年，图灵被录用为泰丁顿（Teddington）国家物理研究所的研究人员，开始从事“自动计算机”（ACE）的逻辑设计和具体研制工作。这一年，图灵写出一份长达50页的关于ACE的设计说明书。这一说明书在保密了27年之后，于1972年正式发表。在图灵的设计思想指导下，1950年制出了ACE样机，1958年制成大型ACE机。人们认为，通用计算机的概念就是图灵提出来的。         1945年到1948年，他在英国国家物理实验室工作，负责自动计算引擎的研究。 1946年的8月，图灵参加了他正式跑步训练后的第一个比赛。那是在他加入沃尔顿田径俱乐部后参加的3英里（4.8公里）比赛，图灵以15分37秒的成绩夺得第一，这一成绩当年在英国排名第20位。         1947年，在莱斯特郡拉夫堡（Loughborough）大学体育场举行的英国业余田径协会马拉松锦标赛上，图灵跑出了他在马拉松赛中的个人最好成绩2小时46分03秒，在那场比赛中列第五名。         1948年，图灵接受了曼彻斯特大学的高级讲师职务，并被指定为曼彻斯特自动数字计算机(Madam)项目的负责人助理，具体领导该项目数学方面的工作，作为这一工作的总结。         1949年成为曼彻斯特大学计算机实验室的副主任，负责最早的真正意义上的计算机——“曼彻斯特一号”的软件理论开发，因此成为世界上第一位把计算机实际用于数学研究的科学家。         1950年，图灵编写并出版了《曼彻斯特电子计算机程序员手册》（The programmers’handbook for the Manchester electronic computer）。这期间，他继续进行数理逻辑方面的理论研究。并提出了著名的“图灵测试”。同年，他提出关于机器思维的问题，他的论文“计算机和智能（Computingmachiery and intelligence），引起了广泛的注意和深远的影响。1950年10月，图灵发表论文《机器能思考吗》。这一划时代的作品，使图灵赢得了“人工智能之父”的桂冠。         1951年，由于在可计算数方面所取得的成就，成为英国皇家学会会员，时年39岁。 1952年，他辞去剑桥大学国王学院研究员的职务，专心在曼彻斯特大学工作．除了日常工作和研究工作之外，他还指导一些博士研究生，还担任了制造曼彻斯特自动数字计算机的一家公司——弗兰蒂公司的顾问。         1952年，图灵写了一个国际象棋程序。可是，当时没有一台计算机有足够的运算能力去执行这个程序，他就模仿计算机，每走一步要用半小时。他与一位同事下了一盘，结果程序输了。后来美国新墨西哥州洛斯阿拉莫斯国家实验室的研究群根据图灵的理论，在MANIAC上设计出世界上第一个电脑程序的象棋。