图灵.doc

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