五二小说网

手机浏览器扫描二维码访问

第五课 普林斯顿大学名人榜人工智能之父阿兰图灵（第2页）

在剑桥，他的数学能力得到充分的发展。

1935年，他的第一篇数学论文“左右周期性的等价”

发表于《伦敦数学会杂志》上。

同一年，他还写出“论高斯误差函数”

一文。

这一论文使他由一名大学生直接当选为国王学院的研究员，并于次年荣获英国著名的史密斯（Smith）数学奖，成为国王学院声名显赫的毕业生之一。

1936年5月，图灵写出了表述他的最重要的数学成果的论文“论可计算数及其在判定问题中的应用”

，该文于1937年在《伦敦

数学会杂志》第42期上发表后，立即引起广泛的注意。

1937年，阿兰·麦席森·图灵发表的另一篇文章“可计算性与λ可定义性”

则拓广了丘奇（Church）提出的“丘奇论点”

，形成“丘奇一图灵论点”

，对计算理论的严格化，对计算机科学的形成和发展都具有奠基性的意义，1936年9月，阿兰·麦席森·图灵应邀到美国普林斯顿高级研究院学习，并与丘奇一同工作。

在美国期间，他对群论作了一些研究，并撰写了博士论文，1938年在普林斯顿大学获博士学位，其论文题目为“以序数为基础的逻辑系统”

，1939年正式发表，在数理逻辑研究中产生了深远的影响。

1938年夏，阿兰·麦席森·图灵回到英国，仍在剑桥大学国王学院任研究员，继续研究数理逻辑和计算理论，同时开始了计算机的研制工作。

第二次世界大战打断了他的正常研究工作，1939年秋，他应召到英国外交部通信处从事军事工作，主要是破译敌方密码的工作。

他在布莱奇利庄园（BletchleyPark）利用工具Bombe破译德军的密码“谜（Enigma）”

，并参与了世界上最早的电子计算机的研制工作。

他的工作取得了极好的成就，因而于1945年获政府的最高奖——大英帝国荣誉勋章。

人们认为，通用计算机的概念就是阿兰·麦席森·图灵提出来的。

1945年，阿兰·麦席森·图灵结束了在外交部的工作，他试图恢复战前在理论计算机科学方面的研究，并结合战时的工作，具体研制出新的计算机来。

这一想法得到当局的支持，同年，图灵被录用为泰丁顿（Teddington）国家物理研究所的研究人员，开始从事“自动计算机”

（ACE）的逻辑设计和具体研制工作。

这一年，图灵写出一份长达50页的关于ACE的设计说明书。

这一说明书在保密了27年之后，于1972年正式发表.在图灵的设计思想指导下，1950年制出了ACE样机，1958年制成大型ACE机。

1948年，图灵接受了曼彻斯特大学的高级讲师职务，并被指定为曼彻斯特自动数字计算机（Madam）项目的负责人助理，具体领导该项目数学方面的工作。

作为这一工作的总结，1950年图灵编写并出版了《曼彻斯

特电子计算机程序员手册》。

这期间，他继续进行数理逻辑方面的理论研究。

早在1947年，图灵就提出过自动程序设计的思想，1950年，他提出关于机器思维的问题，他的论文“计算机和智能（adintelligence），引起了广泛的注意和深远的影响。

1956年，在收入一部文集时此文改名为“机器能够思维吗?”

，至今仍是研究人工智能的首选读物之一。

1951年，图灵当选为英国皇家学会会员。

1952年，他辞去剑桥大学国王学院研究员的职务，专心在曼彻斯特大学工作.除了日常工作和研究工作之外，他还指导一些博士研究生，还担任了制造曼彻斯特自动数字计算机的一家公司——弗兰蒂公司的顾问。

1952年，图灵写了一个国际象棋程序。