图灵 郭世林 033

《图灵 郭世林 033》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、AlanMathisonTuring一、图灵人物简介二、图灵所做贡献一、人物简介1、基本信息中文名：阿兰·麦席森·图灵外文名：AlanMathisonTuring国籍：英国民族：英格兰出生地：英国伦敦出生日期：1912年6月23日逝世日期：1954年6月7日职业：数学家及计算机逻辑学家毕业院校：剑桥大学国王学院信仰：科学主要成就：提出“图灵机”概念提出“图灵测试”概念开创非线性力学破解德国密码系统Enigma代表作品:《论数字计算在决断难题中的应用》2、人生履历（1）早期生活图灵的父亲J·M·图灵早年就读于牛津

2、大学科帕斯克斯蒂学院历史系，后来从政，被派往印度，担任民政部的官员．图灵的母亲E·S·斯托尼（Stoney）生于一个铁路工程师家庭，曾就读于巴黎大学文理学院，图灵是他们的次子。因为工作原因，孩子们经常住在一位朋友家中．阿兰·麦席森·图灵少年时就表现出独特的直觉创造能力和对数学的爱好。1926年，他考入伦敦有名的舍本（Sherborne）公学，受到良好的中等教育．他在中学期间表现出对自然科学的极大兴趣和敏锐的数学头脑。（2）科研时期1931年，图灵考入剑桥大学国王学院，由于成绩优异而获得数学奖学金．在剑桥，他的数

3、学能力得到充分的发展．1935年，他的第一篇数学论文“左右殆周期性的等价”发表于《伦敦数学会杂志》上。同一年，他还写出“论高斯误差函数”一文．这一论文使他由一名大学生直接当选为国王学院的研究员，并于次年荣获英国著名的史密斯(Smith）数学奖，成为国王学院声名显赫的毕业生之一。1938年夏，阿兰·麦席森·图灵回到英国，仍在剑桥大学国王学院任研究员，继续研究数理逻辑和计算理论，同时开始了计算机的研制工作。第二次世界大战打断了他的正常研究工作，1939年秋，他应召到英国外交部通信处从事军事工作，主要是破译敌方密码的

4、工作．1948年，图灵接受了曼彻斯特大学的高级讲师职务，并被指定为曼彻斯特自动数字计算机（Madam）项目的负责人助理，具体领导该项目数学方面的工作．作为这一工作的总结，1950年图灵编写并出版了《曼彻斯特电子计算机程序员手册》（Theprogrammers’handbookfortheManchesterelectroniccomputer）。这期间，他继续进行数理逻辑方面的理论研究。早在1947年，图灵就提出过自动程序设计的思想，1950年，他提出关于机器思维的问题，他的论文“计算机和智能（Computin

5、gmachineryandintelligence），引起了广泛的注意和深远的影响。（3）人物逝世1952年，艾伦·麦席森·图灵的同性伴侣协同一名同谋一起闯进了艾伦·席森·图灵的房子实施盗窃。艾伦·麦席森·图灵为此而报警。但是警方的调查结果使得他被控以“明显的猥亵和性颠倒行为”（因为在当时英国的法律认为同性恋为违法行为）。他没有申辩，并被定罪。在著名的公审后，他被给予了两个选择：坐牢或荷尔蒙疗法。他选择了荷尔蒙注射，并持续了一年。在这段时间里，药物产生了包括乳房不断发育的副作用。1954年，艾伦·麦席森·图灵因

6、食用浸过氰化物溶液的苹果死亡。为了纪念他对计算机科学的巨大贡献，美国计算机协会从60年代起设立一年一度的图灵奖，以表彰在计算机科学中做出突出贡献的人。二、主要成就1、电子计算机电子计算机的出现和广泛应用是20世纪新技术革命的主要标志之一。很长时期中人们一直认为，第一台电子计算机是美国人按J．W．莫奇利(Mauchly）提出的方案于1946年制成的“电子数字积分和自动计算机”（ENIAC）。艾伦·麦席森·图灵在第二次世界大战中从事的密码破译工作涉及到电子计算机的设计和研制，但此项工作严格保密．直到70年代，内情才

7、有所披露．从一些文件来看，很可能世界上第一台电子计算机不是ENIAC，而是与图灵有关的另一台机器，即图灵在战时服务的机构于1943年研制成功的CO-LOSSUS（巨人）机，这台机器的设计采用了图灵提出的某些概念．它用了1500个电子管，采用了光电管阅读器；利用穿孔纸带输入；并采用了电子管双稳态线路，执行计数、二进制算术及布尔代数逻辑运算，巨人机共生产了10台，用它们出色地完成了密码破译工作。2、人工智能艾伦·麦席森·图灵是人工智能研究的先驱者之一，实际上，图灵机，尤其是通用图灵机作为一种非数值符号计算的模型，就

8、蕴含了构造某种具有一定的智能行为的人工系统以实现脑力劳动部分自动化的思想，这正是人工智能的研究目标。1947年，图灵在一次关于计算机的会议上作了题为“智能机器”（intelligentmachinery）的报告，详细地阐述了他关于思维机器的思想，第一次从科学的角度指出：“与人脑的活动方式极为相似的机器是可以制造出来的．”在该报告中，图灵提出了自动程序设计的思想，即借助证明来构造程序的思