艾伦·麦席森·图灵简介 图灵是同性恋?艾伦图灵初恋

社会人物        2017-02-26 15:21:11   来源:丢豆影视   作者:admin

艾伦·麦席森·图灵人物生平

艾伦·麦席森·图灵,1912年生于英国伦敦。艾伦·麦

艾伦·麦席森·图灵

照片

席森·图灵少年时就表现出独特的直觉创造能力和对数学的爱好。

 

1926年,他考入伦敦有名的舍本公学,受到良好的中等教育.他在中学期间表现出对自然科学的极大兴趣和敏锐的数学头脑。

1927年末,年仅15岁的艾伦·麦席森·图灵为了帮助母亲理解爱因斯坦的相对论,写了爱因斯坦的一部著作的内容提要,表现出他已具备非同凡响的数学水平和科学理解力。他对自然科学的兴趣使他在1930年和1931年两次获得他的一位同学莫科姆的父母设立的自然科学奖,获奖工作中有一篇论文题为“亚硫酸盐和卤化物在酸性溶液中的反应”,受到政府派来的督学的赞赏,对自然科学的兴趣为他后来的一些研究奠定了基础,他的数学能力使他在念中学时获得过国王爱德华六世数学金盾奖章。

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

1935年,他的第一篇数学论文“左右殆周期性的等价”发表于《伦敦数学会杂志》上。同一年,他还写出“论高斯误差函数”一文.这一论文使他由一名大学生直接当选为

跑步比赛中的图灵

国王学院的研究员,并于次年荣获英国著名的史密斯数学奖,成为国王学院声名显赫的毕业生之一。

 

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

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

1936年9月,艾伦·麦席森·图灵应邀到美国普林斯顿高级研究院学习,并与丘奇一同工作。

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

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

第二次世界大战打断了他的正常研究工作,1939年秋,他应召到英国外交部通信处从事军事工作,主要是破译敌方密码的工作。由于破译工作的需要,他参与了世界上最早的电子计算机的研制工作.他的工作取得了极好的成就,因而于1945年获政府的最高奖——大英帝国荣誉勋章。人们认为,通用计算机的概念就是艾伦·麦席森·图灵提出来的。1945年,艾伦·麦席森·图灵结束了在外交部的工作,他试图恢复战前在理论计算机科学方面的研究,并结合战时的工作,具体研制出新的计算机来。这一想法得到当局的支持。同年,图灵被录用为泰丁顿国家物理研究所的研究人员,开始从事“自动计算机”的逻辑设计和具体研制工作。这一年,图灵写出一份长达50页的关于ACE的设计说明书。这一说明书在保密了27年之后,于1972年正式发表.在图灵的设计思想指导下,1950年制出了ACE样机,1958年制成大型ACE机。

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

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

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

1950年,图灵编写并出版了《曼彻斯特电子计算机程序员手册》。这期间,他继续进行数理逻辑方面的理论研究。并提出了著名的“图灵测试”。

1950年,他提出关于机器思维的问题,他的论文“计算机和智能,引起了广泛的注意和深远的影响。1950年10月,图灵发表论文《机器能思考吗》。这一划时代的作品,使图灵赢得了“人工智能之父”的桂冠。

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

1952年,他辞去剑桥大学国王学院研究员的职务,专心在曼彻斯特大学工作.除了日常工作和研究工作之外,他还指导一些博士研究生,还担任了制造曼彻斯特自动数字计算机的一家公司——弗兰蒂公司的顾问。1952年,图灵写了一个国际象棋程序。可是,当时没有一台计算机有足够的运算能力去执行这个程序,他就模仿计算机,每走一步要用半小时。他与一位同事下了一盘,结果程序输了。后来美国新墨西哥州洛斯阿拉莫斯国家实验室的研究群根据图灵的理论,在MANIAC上设计出世界上第一个电脑程序的象棋。

1952年,艾伦·麦席森·图灵的同性伴侣协同一名同谋一起闯进了艾伦·麦席森·图灵的房子实施盗窃。艾伦·麦席森·图灵为此而报警。但是警方的调查结果使得他被控以“明显的猥亵和性颠倒行为”(同性恋)。他没有申辩,并被定罪。在著名的公审后,他被给予了两个选择:坐牢或荷尔蒙疗法。他选择了荷尔蒙注射,并持续了一年。在这段时间里,药物产生了包括乳房不断发育的副作用。

1954年6月7日,图灵被发现死于家中的床上,床头还放着一个被咬了一口的苹果。警方调查后认为是剧毒的氰化物中毒,调查结论为自杀。当时图灵41岁。

2009年,英国计算机科学家康明(John Graham-Cumming)发起了为图灵平反的在线请愿,截止到2009年9月10日请愿签名人数已经超过了3万,为此,当时的英国政府及首相戈登布朗不得不发表正式的道歉声明。

2012年12月,霍金、纳斯(Paul Nurse,诺贝尔医学奖得主)、里斯(Martin Rees,英国皇家学会会长)等11位重要人士致函英国首相卡梅伦,要求为其平反。

2013年12月24日,在英国司法部长克里斯?格雷灵(Chris Grayling)的要求下,英国女王终于向图灵颁发了的皇家赦免。英国司法部长宣布,“图灵的晚年生活因为其同性取向而被迫蒙上了一层阴影,我们认为当时的判决是不公的,这种歧视现象现在也已经遭到了废除。为此,女王决定为这位伟人送上赦免,以此向其致敬。”

艾伦·麦席森·图灵主要成就

图灵在科学、特别在数理逻辑和计算机科学方面,取得了举世瞩目的成就,他的一些科学成果,构成了现代计算机技术的基础。

 

剑桥大学国王学院的计算机房现在以图灵为名

 计算,可以说是人类最先遇到的数学课题,并且在漫长的历史年代里,成为人们社会生活中不可或缺的工具.那么,什么是计算呢?直观地看,计算一般是指运用事先规定的规则,将一组数值变换为另一数值的过程.对某一类问题,如果能找到一组确定的规则,按这组规则,当给出这类问题中的任一具体问题后,就可以完全机械地在有限步内求出结果,则说这类问题是可计算的。这种规则就是算法,这类可计算问题也可称之为存在算法的问题。这就是直观上的能行可计算或算法可计算的概念.

 

在20世纪以前,人们普遍认为,所有的问题类都是有算法的,人们的计算研究就是找出算法来。似乎正是为了证明一切科学命题,至少是一切数学命题存在算法,莱布尼茨开创了数理逻辑的研究工作。但是20世纪初,人们发现有许多问题已经过长期研究,仍然找不到算法,例如希尔伯特第10问题,半群的字的问题等.于是人们开始怀疑,是否对这些问题来说,根本就不存在算法,即它们是不可计算的。这种不存在性当然需要证明,这时人们才发现,无论对算法还是对可计算性,都没有精确的定义!按前述对直观的可计算性的陈述,根本无法作出不存在算法的证明,因为“完全机械地”指什么?“确定的规则”又指什么?仍然是不明确的。实际上,没有明确的定义也不能抽象地证明某类问题存在算法,不过存在算法的问题一般是通过构造出算法来确证的,因而可以不涉及算法的精确定义问题。

解决问题的需要促使人们不断作出探索。1934年,哥德尔在埃尔布朗的启示下提出了一般递归函数的概念,并指出:凡算法可计算函数都是一般递归函数,反之亦然。1936年,克林又加以具体化.因此,算法可计算函数的一般递归函数定义后来被称为埃尔布朗-哥德尔-克林定义.同年,丘奇证明了他提出的λ可定义函数与一般递归函数是等价的,并提出算法可计算函数等同于一般递归函数或λ可定义函数,这就是著名的“丘奇论点”。

丢豆图库