打开主菜单

求真百科

艾伦·麦席森·图灵(Alan Mathison Turing) 数学家、逻辑学家

艾伦·麦席森·图灵
数学家、逻辑学家
出生 1912年6月23日
国籍 英国
职业 数学家、逻辑学家
知名于 被称为计算机科学之父
知名作品 《论数字计算在决断难题中的应用》
《机器能思考吗》
《说说显微镜》
《左右周期性的等价》

目录

生平介绍

人物经历

英国数学家、逻辑学家,被称为计算机之父,人工智能之父。1931年图灵进入剑桥大学国王学院,毕业后到美国普林斯顿大学攻读博士学位,二战爆发后回到剑桥,后曾协助军方破解德国的著名密码系统Enigma,帮助盟军取得了二战的胜利。

1912年生于英国伦敦,1954年死于英国的曼彻斯特,他是计算机逻辑的奠基者,许多人工智能的重要方法也源自于他。他对计算机的重要贡献在于他提出的有限状态自动机也就是图灵机的概念,对于人工智能,他提出了重要的衡量标准“图灵测试”,如果有机器能够通过图灵测试,那他就是一个完全意义上的智能机,和人没有区别了。他杰出的贡献使他成为计算机界的第一人,人们为了纪念这位伟大的科学家将计算机界的最高奖定名为“图灵奖”。

上中学时,他在科学方面的才能就已经显示出来,这种才能仅仅限于非文科的学科上,他的导师希望这位聪明的孩子也能够在历史和文学上有所成就,但是都没有太大的建树。少年图灵感兴趣的是数学等学科。在加拿大他开始了他的职业数学生涯,在大学期间这位学生似乎对前人现成的理论并不感兴趣,什么东西都要自己来一次。大学毕业后,他前往美国普林斯顿大学,也正是在那里,他制造出了以后称之为图灵机的东西。

二战时,图灵在英国通信部工作,他运用他的专业技能破译德国密码,这在当时十分不容易,因为德国人开发出一种用于计算的机器称为Enigma,它能够定期将密码改变,让破译者根本摸不到头绪。在通信部工作的时候,图灵和同事们一起使用一台称为COLOSSUS的设备破译德国的密码,COLOSSUS干得相当不错,COLOSSUS虽然是用马达和金属做的,与数字式计算机根本不是一回事,但它是现代计算机重要的一步。二战后,图灵需要找一种放松自己的方法,于是他选择了长跑,他选择的一般都是他善长的。

已经有软件可以通过图灵测试的子测试,软件这个人类智慧的机器反映应该可以解决一些人类智力的问题。在完成ACE之前,图灵离开了NPL,它在曼彻斯特大学开发曼彻斯特自动计算机(Manchester Automatic Digital Machine,MADAM)。他相信在2000年前一定可以制造出可以模拟人类智力的机器,图灵开始创立算法,并使用MADAM继续他的工作。

图灵对生物也十分感兴趣,他希望了解生物的各个器官为什么是这个样子而不是那个样子,他不相信达尔文的进化论,他觉得生物的发展与进化没什么关系。对于生物学,他也用它钟爱的数学进行研究,它的研究对他进行计算机的研究有促进作用。它把生物的变化也看做是一种程序,也就是图灵机的基本概念,按程序进行。最后,这位伟大的计算机先驱于1954年6月7日去世,他终生未娶。

年幼时代

图灵的家族成员里有三位当选过英国皇家学会会员,他的祖父还曾获得剑桥大学数学荣誉学位。可他父亲居里欧的才能十分平常。但他倒能踏实办事,于是被政府派到英属殖民地印度去当一名小公务员。

图灵很小的时候就表现出与众不同的天分,在他三四岁的时候自己学会了阅读,读的第一本书叫做《每个儿童都该知道的自然奇观》。他特别喜欢数字和智力游戏,并为之着迷。图灵自幼充满好奇与想象,母亲回忆说:“他把一个玩具木偶的胳膊、腿掰下来栽到花园里,期待能‘生长’出更多的玩具木偶,那年他3岁。”

6岁正式读书后,校长和老师都注意到这个特殊的小孩。8岁时,他写了他的第一篇“科学”短文,题目叫《说说显微镜》。

图灵从小喜欢体育运动,尤其酷爱足球。可是在和小朋友们踢足球的时候,他并不热衷于上场,而是更喜欢在场外担任巡边,为的是能有机会观察、估算每次足球飞出边界的角度,他从中获得了极大的乐趣,乐趣就在于能够一眼看出问题的答案。

图灵16岁就能弄懂爱因斯坦的相对论,并且运用那深奥的理论,独立推导力学定律。

科研时期

1931年,图灵考入剑桥大学国王学院,由于成绩优异而获得数学奖学金。在剑桥,他的数学能力得到充分的发展。1935年,他的第一篇数学论文“左右周期性的等价”发表于《伦敦数学会杂志》上。同一年,他还写出“论高斯误差函数”一文,这一论文使他由一名大学生直接当选为国王学院的研究员,并于次年荣获英国著名的史密斯(Smith)数学奖,成为国王学院声名显赫的毕业生之一。1936年5月,图灵写出了表述他的最重要的数学成果的论文“论可计算数及其在判定问题中的应用”,该文于1937年在《伦敦数学会文集》第42期上发表后,立即引起广泛的注意。1937年,阿兰·麦席森·图灵发表的另一篇文章“可计算性与λ可定义性”则拓广了丘奇(Church)提出的“丘奇论点”,形成“丘奇-图灵论点”,对计算理论的严格化,对计算机科学的形成和发展都具有奠基性的意义,1936年9月,阿兰·麦席森·图灵应邀到美国普林斯顿高级研究院学习,并与丘奇一同工作。在美国期间,他对群论作了一些研究,并撰写了博士论文,1938年在普林斯顿获博士学位,其论文题目为“以序数为基础的逻辑系统”,1939年正式发表,在数理逻辑研究中产生了深远的影响。

图灵毕业后留校执教,不到一年工夫,他就发表了几篇很有分量的数学论文。1935年,刚刚毕业,年仅23岁的图灵就被剑桥大学国王学院甄选为研究员,成为剑桥大学有史以来最年轻的研究员。 为此,剑桥大学特地宣布放假半天以示庆贺。罗素教授也异常器重图灵,安排图灵讲学授课。同年,图灵又因他在“概率论”上的成就,荣获“斯密思奖”。

1936年他来到美国的普林斯顿大学攻读数学博士学位,他的研究涉及逻辑学、代数和数论等等领域。