图灵和图灵奖.doc

图灵和图灵奖
世界上第一台计算机ENIAC 1946年2月诞生于美国宾夕法尼亚大学莫尔学院。但学术界公认,电子计算机的理论和模型
是由英国数学家图灵在此前10年即1936年发表的一篇论文“论可计算数及其在判定问题中的前应用”(putable Numbers With an Application to the Entscheidungs Problem)中奠定了基础的。因此,当美国计算机协会ACM在1996年纪念电子计算机诞生20周年, 也就是图灵的有历史意义的论文发表30周年的时候,决定设立计算机界的第一个奖项(在此之前,作出杰出贡献的计算机科学家只能获得数学方面或电气工程方面的奖项),并且很自然地把它命名为“图灵奖”以纪念这位计算机科学理论的奠基人。被称为“计算机界的诺贝尔奖”的这个奖设立至今,已经颁发了34届, 共有40名计算机科学家获此殊荣。
(Alan Mathison Turing)1912年6月23日生于伦敦近郊的自治镇帕丁顿(Paddington,现归属伦敦Westminster区,英国议会大厦和世界闻名的威斯敏斯特大教堂就在这里)。图灵的父亲是英常也在印度陪伴其丈夫。1926年图灵的父亲退休以后,因为退休金不高,为了节省,他们夫妇又选择在生活费用较低的法国居住,没有回英国定居,因此图灵和他的一个叫约翰的哥哥很少见到父母亲,他们是由从军队中退休的沃德(Ward)夫妇带大的。童年时缺乏父爱和母爱,也许正是图灵自幼起性格和行为就比较怪辟,并最终酿成悲剧结局的一个重要原因。图灵13岁进入寄宿的谢博恩中学(Sherbourne School),学习成绩并不特别好,只有数学例外,演算能力特别强。此外,就是擅长赛跑。
1931年中学毕业以后,图灵想进剑桥大学最负盛名的“三圣学院”(Trinity College),但两次未被录取,只好进了剑桥的另外一所学院——“国王学院”(King’s College)攻读数学。第一年的课比较浅,图灵很厌烦,没有好好学,结果在剑桥大学特设的一种叫Tripos 的荣誉学位考试中只得了“二等”。好在他急起直追,最后毕业时的数学学位考试还是拿了第一等,取得这个成绩的学生在剑桥大学有一个特别的荣誉称号,叫Wrangler。图灵的学位论文课题是关于概率论的中心极限定理(the Central Limit Theorem of Probability)的。实际上,由于他在研究这个课题时对前人的这方面所做的工作一无所知,可以说是图灵自己又重新发现了这个定理。1936年图灵因就同一课题所发表的论文而获得史密斯奖(Smith Prize)。
1935年,图灵开始对数理逻辑发生兴趣。数理逻辑(mathematicallogic)又叫形式逻辑(formal logic)或符号逻辑(symbolic logic),是逻辑学的一个重要分支。数理逻辑用数学方法,也就是用符号和公式、公理的方法去研究人的思维过程、思维规律,其起源可追溯到17世纪德国的大数学家莱布尼茨(Gottfried Wilhelm leribniz,1646-1716),其目的是建立一种精确的、普遍的符号语言,并寻求一种推理演算,以便用演算去解决人如何推理的问题。在莱布尼茨的思想中,数理逻辑、数学和计算机化,以至在计