图灵博士毕业论文

您知道计算机科学之父是谁吗？你知道阿兰•图灵背后的故事吗？计算机科学之父阿兰图灵的故事是图灵生平的缩影，摘自《图灵的秘密：他的生平、思想及论文解读》。励志故事:图灵的秘密，365语录台词把这篇文章分享给大家，下面就是365语录台词网为你搜集整理的精彩内容，就让我们一起来欣赏一下吧！ 2014年6月7日是阿兰·图灵逝世60周年。这个名人故事是图灵生平的缩影，摘自《图灵的秘密：他的生平、思想及论文解读》。 阿兰•图灵（1912—1954）是英国数学家、逻辑学家，被称为计算机科学之父、人工智能之父，是计算机逻辑的奠基者，提出了“图灵机”和“图灵测试”等重要概念。为纪念他在计算机领域的卓越贡献，美国计算机协会于1966年设立图灵奖，此奖项被誉为计算机科学界的诺贝尔奖。 1912年6月23日，阿兰·图灵生于伦敦，是家中的第二个男孩。 1926年图灵进入公立学校舍伯恩学习。他害羞、孤独，似乎总是衣衫不整，学习上也没有表现得特别优异。只有在数学上，他的智力天赋初露端倪。1929年，图灵开始着迷于《物理世界的自然》（1928）一书。期间认识克里斯托弗·莫科姆，并交往密切，他们在科学和数学上有着共同的兴趣。回想起来，图灵很可能在那时发现了他的同性恋倾向。 1929年12月，图灵和克里斯托弗共同参加了剑桥大学奖学金考试，随后克里斯托弗被三一学院录取，图灵落榜。但两个月后，克里斯托弗突然生病，在一周内去世。一位舍伯恩的旧日同窗在信中写道：“可怜的图灵因为这个打击几乎崩溃，他们一定是极其要好的朋友。” 1930年12月，图灵再次参加了三一学院的考试，仍然未被录取。他调整目标，瞄准第二选择剑桥大学国王学院，全心钻研G. H. 哈代的经典著作《纯数学教程》备考。1931年秋，图灵开始了他在剑桥大学国王学院的学习。 1935年春，图灵修读了麦克斯·纽曼的“数学基础”课程，课程涵盖了尚未解决的判定性问题。同年夏天，图灵开始研究判定性问题。 图灵的毕业论文发表在伦敦数学学会1936年11月和12月的论文集里，这就是图灵流芳百年的“OnComputable Numbers, with an Application to the Entscheidungsproblem”（论可计算数及其在判定性问题上的应用）。他的论文采用了一种不同寻常的数学证明方法，甚至创造了一个通用机器，它能模拟其他任何一台计算机器的操作。 毕业后图灵来到美国普林斯顿大学攻读数学博士学位，期间他对密码学产生了兴趣。 1939年9月1日，德国入侵波兰，第二次世界大战爆发。两天后，英国向德国宣战。9月4日，图灵受邀到英国政府情报破译中心布莱切利庄园报到，致力于破译德国海军的密码。1940年，第一台“图灵Bombe”开始运行。它重达一吨，可模拟30台并行运行的恩尼格玛密码机。1941年，德军恩尼格玛加密的通信被攻破，图灵在其中起到了重要作用。 1943年初，图灵到贝尔实验室待了两个月，在这里遇到了开辟数位采样理论的哈利·奈奎斯特和克劳德·香农。 1951年3月15日，因在可计算数方面所做的工作，图灵被评为英国皇家学会会士，举荐人是麦克斯·纽曼和伯特兰·罗素。 1952年2月，因同性恋行为，警方传讯了图灵。最终，法庭判处图灵“严重猥亵罪”，且强制实施荷尔蒙治疗。图灵的择业因此受到限制，计算机之路也严重受阻。 1954年6月7日晚，睡前，图灵照例吃下苹果，但是，这只苹果蘸上了剧毒氰化物，41岁的天才就此了结了自己的一生。 2009年9月10日，英国前首相戈登·布朗代表英国政府为图灵当年受到的不公正待遇公开致歉。2013年12月24日，英国女王伊丽莎白二世为图灵追授死后赦免状。 由Windows编程大师Charles Petzold耗时多年编写的《图灵的秘密：他的生平、思想及论文解读》剖析了现代计算机原理开山之作、阿兰•图灵流芳百世的论文 “On Computable Numbers, with an Application to the Entscheidungsproblem”。图灵在其中描述了一种假想的计算机器，探索了其功能和内在的局限性，由此建立了现代程序设计和可计算性的基础。这本书也像是一本小说，行文间穿插讲述了图灵的成长经历和教育背景，以及他跌宕起伏的一生，包括破解德国恩尼格密码的传奇经历，他对人工智能的探索，他的性取向，以及最终因同性恋的罪名而在41岁时自杀的悲惨结局。全书完整揭示了阿兰•图灵非凡、传奇而悲剧的一生，是了解图灵的思想和生平的极好著作。（365语录台词网为您编辑发布，喜欢我请持续关注）

图灵，全名艾伦·麦席森·图灵，出生于1912年6月23日，是英国著名的数学家，逻辑学家，被称为现代计算机科学之父，人工智能之父。于1931年，图灵考入剑桥大学国王学院，由于成绩优异而获得数学奖学金/在剑桥，他的数学能力得到了充分的发展。 1935年，他的第一篇数学论文"左右殆周期性的等价"发表于《伦敦数学会杂志》同年，还写出了"论高斯误差函数"一文，这一论文直接使他从一名大学生当选为国王学院的研究员，并获得英国著名的史密斯数学奖，成为国王学院声名显赫的毕业生之一。 1936年9月，图灵受美国普林斯顿高级研究院邀请学习，与丘奇一同工作，在美期间，对群论作了很深的研究，并撰写了博士论文。1938年在普林斯顿荣获博士学位。 1945年，图灵结束了自己之前的工作，试图恢复战前在理论计算机科学方面的研究，并且结合战时的工作，研究出新的计算机来。 同年，图灵被录用到了泰丁顿国家物理研究所的研究人员，开始从事"自动计算机"的逻辑设计和具体研究工作。这一年，图灵写出了一份长达50页的关于ACE的设计说明书。这一说明书在保密了27年之后，于1972年正式发表。 1948年，图灵接受了曼切斯特大学的高级讲师职务，并被指定为曼切斯特的自动数学计算机项目的负责人助理。并在1950年编写了《曼切斯特电子计算机程序员手册》，期间，他继续进行数理逻辑方面的理论研究。图灵少年时期就形成了对自然科学的兴趣，一直使他乐于思考自然科学问题，40年代末表现出对生物学浓厚的兴趣，1951年，撰写了“形态形成的化学基础”并于次年发表，利用数学工具深刻的阐释了生物形态和生物化学的问题，对生物数学的发展起到了直接的推动作用。 图灵思想活跃，但性格比较内向，且爱好体育，在剑桥上学时就当过赛艇划手，更是把长跑作为主要的锻炼和休息形式。 1954年6月7日，艾伦·席麦森·图灵在曼切斯特逝世。

图灵对自然科学的兴趣使他在1930年和1931年两次获得他的一位同学莫科姆的父母设立的自然科学奖，受到政府派来的督学的赞赏，对自然科学的兴趣为他后来的一些研究奠定了基础，他的数学能力使他在念中学时获得过国王爱德华六世数学金盾奖章。

1931年，图灵考入剑桥大学国王学院 ，由于成绩优异而获得数学奖学金。在剑桥，他的数学能力得到充分的发展。

1935年，他的第一篇数学论文“左右殆周期性的等价”发表于《伦敦数学会杂志》上。同一年，他还写出“论高斯误差函数”一文。这一论文使他由一名大学生直接当选为国王学院的研究员，并于次年荣获英国著名的史密斯 （Smith） 数学奖，成为国王学院声名显赫的毕业生之一。

1936年5月，图灵向伦敦权威的数学杂志投了一篇论文，题为《论数字计算在决断难题中的应用》。该文于1937年在《伦敦数学会文集》第42期上发表后，立即引起广泛的注意。在论文的附录里他描述了一种可以辅助数学研究的机器，后来被人称为“图灵机”，这个设想最有变革意义的地方在于，它第一次在纯数学的符号逻辑，和实体世界之间建立了联系，后来我们所熟知的电脑，以及还没有实现的“人工智能”，都基于这个设想。这是他人生第一篇重要论文，也是他的成名之作。

1937年，图灵发表的另一篇文章“可计算性与λ可定义性”则拓广了丘奇（Church）提出的“丘奇论点”，形成“丘奇-图灵论点”，对计算理论的严格化，对计算机科学的形成和发展都具有奠基性的意义。

1936年9月，图灵应邀到美国普林斯顿高级研究院学习，并与丘奇一同工作。

在美国期间，他对群论作了一些研究，并撰写了博士论文。1938年在普林斯顿获博士学位，其论文题目为“以序数为基础的逻辑系统”，1939年正式发表，在数理逻辑研究中产生了深远的影响。

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

第二次世界大战打断了图灵的正常研究工作，1939年秋，他应召到英国外交部通信处从事军事工作，主要是破译敌方密码的工作。由于破译工作的需要，他参与了世界上最早的电子计算机的研制工作。他的工作取得了极好的成就，因而于1945年获政府的最高奖——大英帝国荣誉勋章 （.勋章） 。

1945年，图灵结束了在外交部的工作，他试图恢复战前在理论计算机科学方面的研究，并结合战时的工作，具体研制出新的计算机来。这一想法得到当局的支持。同年，图灵被录用为泰丁顿 （Teddington） 国家物理研究所的研究人员，开始从事“自动计算机” （ACE） 的逻辑设计和具体研制工作。这一年，图灵写出一份长达50页的关于ACE的设计说明书。这一说明书在保密了27年之后，于1972年正式发表。在图灵的设计思想指导下，1950年制出了ACE样机，1958年制成大型ACE机。人们认为，通用计算机的概念就是图灵提出来的。

1945年到1948年，他在英国国家物理实验室工作，负责自动计算引擎的研究。

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

1949年成为曼彻斯特大学计算机实验室的副主任，负责最早的真正意义上的计算机——“曼彻斯特一号”的软件理论开发，因此成为世界上第一位把计算机实际用于数学研究的科学家。

1950年，图灵编写并出版了《曼彻斯特电子计算机程序员手册》 （The programmers’handbook for the Manchester electronic computer） 。这期间，他继续进行数理逻辑方面的理论研究。并提出了著名的“图灵测试”。同年，他提出关于机器思维的问题，他的论文“计算机和智能 （Computingmachiery and intelligence） ，引起了广泛的注意和深远的影响。1950年10月，图灵发表论文《机器能思考吗》。这一划时代的作品，使图灵赢得了“人工智能之父”的桂冠。

1951年，由于在可计算数方面所取得的成就，成为英国皇家学会会员，时年39岁。

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

1952年，图灵写了一个国际象棋程序。可是，当时没有一台计算机有足够的运算能力去执行这个程序，他就模仿计算机，每走一步要用半小时。他与一位同事下了一盘，结果程序输了。后来美国新墨西哥州洛斯阿拉莫斯国家实验室的研究群根据图灵的理论，在MANIAC上设计出世界上第一个电脑程序的象棋。