高中英语Unit3 Computers文章 图灵 1人教版必修二VIP专享VIP免费

图灵世界上第一台电子计算机ENIAC,1946年2月诞生于美国宾夕法尼亚大学莫尔学院。但学术界公认，电子计算机的理论和模型是由英国数学家图灵在此前10年即1936年发表的一篇论文“论可计算数及其在判定问题中的应用”(OnComputableNumbersWithanApplicationtotheEntscheidungsProblem)中奠定了基础的。因此，当美国计算机协会ACM在1966年纪念电子计算机诞生20周年，也就是图灵的有历史意义的论文发表30周年的时候，决定设立计算机界的第一个奖项(在此之前，作出杰出贡献的计算机科学家只能获得数学方面或电气工程方面的奖项)，并且很自然地把它命名为“图灵奖”以纪念这位计算机科学理论的奠基人。被称为“计算机界的诺贝尔奖”的这个奖设立至今，已经颁发了34届，共有40名计算机科学家获此殊荣。阿伦•图灵(AlanMathisonTuring)1912年6月23日生于伦敦近郊的自治镇帕丁顿(Paddington，现归属伦敦Westminster区，英国议会大厦和世界闻名的威斯敏斯特大教堂就在这里)。图灵的父亲是英国在印度的行政机构的一名官员，母亲平常也在印度陪伴其丈夫。1926年图灵的父亲退休以后，因为退休金不高，为了节省，他们夫妇又选择在生活费用较低的法国居住，没有回英国定居，因此图灵和他的一个叫约翰的哥哥很少见到父母亲，他们是由从军队中退休的沃德(Ward)夫妇带大的。童年时缺乏父爱和母爱，也许正是图灵自幼起性格和行为就比较怪僻，并最终酿成悲剧结局的一个重要原因。图灵13岁进入寄宿的谢博恩中学(SherboumeSch001)，学习成绩并不特别好，只有数学例外，演算能力特别强。此外，就是擅长赛跑，我们现在还能看到图灵在运动会上参加赛跑中冲过终点时留下的照片。1931年中学毕业以后，图灵想进剑桥大学最负盛名的“三圣学院”(TrinityCollege)，但两次未被录取，只好进了剑桥的另外一所学院——“国王学院”(King’sCollege)攻读数学。第一年的课比较浅，图灵很厌烦，没有好好学，结果在剑桥大学特设的一种叫Tripos的荣誉学位考试中只得了“二等”。好在他急用心爱心专心起直追，最后毕业时的数学学位考试还是拿了第一等，取得这个成绩的学生在剑桥大学有一个特别的荣誉称号，叫Wrangler。图灵的学位论文课题是关于概率论的中心极限定理(theCentralLimitTheoremofProbability)的。实际上，由于他在研究这个课题时对前人在这方面所做的工作一无所知，可以说是图灵自己又重新发现了这个定理。1936年图灵因就同一课题所发表的论文而获得史密斯奖(SmithPrize)。1935年，图灵开始对数理逻辑发生兴趣。数理逻辑(mathematicallogic)又叫形式逻辑(formal10gic)或符号逻辑(symboliclogic)，是逻辑学的一个重要分支。数理逻辑用数学方法，也就是用符号和公式、公理的方法去研究人的思维过程、思维规律，其起源可追溯到17世纪德国的大数学家莱布尼茨(GottfriedWilhelmLeibniz，1646—1716)，其目的是建立一种精确的、普遍的符号语言，并寻求一种推理演算，以便用演算去解决人如何推理的问题。在莱布尼茨的思想中，数理逻辑、数学和计算机三者均出于一个统一的目的，即人的思维过程的演算化、计算机化，以至在计算机上实现。但莱布尼茨的这些思想和概念还比较模糊，不太清晰和明朗。两个多世纪来，许多数学家和逻辑学家沿着莱布尼茨的思路进行了大量实质性的工作，使数理逻辑逐步完善和发展起来，许多概念开始明朗起来。但是，“计算机”到底是怎样一种机器，应该由哪些部分组成，如何进行计算和工作，在图灵之前没有任何人清楚地说明过。正是图灵上述1936年那篇标题有些古怪(其中“判定问题”用的是“外文”——德文!)的论文第一次回答了这些问题，提出了一种计算机的抽象模型利用这种计算机，可以把推理化作一些简单的机械动作。图灵提出的计算模型现在被大家称作“图灵机”(TuringMachine)。说来有趣，具有重大科学价值和历史意义的计算模型，并非图灵那篇论文的主题图灵那篇论文主要是回答同样是德国大数学家的戴维•希尔伯特(DavidI-Hilbert，1862—1943)在1900年举行的世界数学家大会上提出的著名的“23个数学难题”中的一个问题的，这个问题涉及逻辑的完备性，即是否所有的数学问题在原则上都是可解的...