图灵是一个外国人名。
艾伦·麦席森·图灵(Alan Mathison Turing,1912年6月23日-1954年6月7日),英国数学家、逻辑学家,被称为计算机科学之父,人工智能之父。
1931年图灵进入剑桥大学国王学院,毕业后到美国普林斯顿大学攻读博士学位,第二次世界大战爆发后回到剑桥,后曾协助军方破解德国的著名密码系统Enigma,帮助盟军取得了二战的胜利。
扩展资料:
2013年12月24日,在英国司法大臣克里斯·格雷灵(Chris Grayling)的要求下,英国女王向图灵颁发了皇家赦免。
英国司法大臣宣布,“图灵的晚年生活因为其同性取向(同性恋)而被迫蒙上了一层阴影,我们认为当时的判决是不公的,这种歧视现象现在也已经遭到了废除。为此,女王决定为这位伟人送上赦免,以此向其致敬。”
图灵对于人工智能的发展有诸多贡献,提出了一种用于判定机器是否具有智能的试验方法,即图灵试验,至今,每年都有试验的比赛。此外,图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。
1926年,图灵考入英国著名的谢伯恩公学,在中学时就获得了国王爱德华六世数学金盾奖章。
1932年,荣获英国著名的史密斯数学奖。
1946年,由于他在二战中为破译德军密码做出的巨大贡献,获得“不列颠帝国勋章”,这是英国皇室授予为国家和人民做出巨大贡献者的最高荣誉勋章。
参考资料:艾伦·麦席森·图灵-百度百科
在布莱切利园中,德国海军的恩尼格玛密码一直被认为是最难以破解的。
德国海军历来极其重视无线通信的可靠性和保密性,就是他们率先使用了恩尼格玛机来加密。而且,德国海军还频繁地在结构和操作方式上对恩尼格玛机进行改进,以确保它无懈可击、牢不可破。
第二次世界大战前夕,德国陆军和空军将恩尼格玛机的转子从3个增加到了5个,而德国海军则是继续增加到了7个,最后更是丧心病狂的增加到了8个。
而且,德国海军还使用了与陆军及空军不一样的新操作规程,主要包括两个方面:
一、增加“密钥手册”,规定每天0点更新初始参数。
(a)选择8个转子中的3个并规定其基左中右位置;
(b)设定各转子的内外轮之间的相对位置;
(c)设定接线板上的10对接线;
(d)设定3个转子的初始位置。
二、采用“双字替换表”
(a)发报前,先从密钥手册中选3个字母,比如ABC,作为密钥,然后把恩尼格玛机的3个转子调到当天规定的初始位置,输入ABC,假设得到FTN,再把转子调到FTN的位置,开始加密正式电文;
(b)再从密钥手册中选另一组字母,比如XYZ,在XYZ的左边和密钥ABC的右边任意增加一个字母,比如P、Q,列成两行,上下对齐。
P X Y Z
A B C Q
(c)根据当天有效的“双字替换表”把各列的字母对PA、XB、YC、ZQ分别替换,比如替换成IS、OW、MD、UV;
(d)发送电报时,把这4对字母加在正式密文的首尾;
(e)对方接收到电报后,先对4对字母反向操作,得到3个字母ABC,再得到FTN,然后开始解密正文。
这样一来,原来重复加密3个字母密钥的操作就不存在了,以致雷杰夫斯基发明的破解方法完全失效。
在图灵来到布莱切利园之前,几乎所有人都认为德国海军的密码是无法破译的,因此没有人愿意为它浪费时间。图灵到来之后,发明了基于crib方法的“炸弹”机,理论上是可以对德国海军的密码进行破译的,但由于早期的“炸弹”机性能过低,所以破解的效率极为低下。
当时德国的U-潜艇正在严重威胁盟军的大西洋生命线,寻找有效的破解德国海军密码的方法变得刻不容缓。经过一段时间的摸索和研究,图灵终于发明了基于贝叶斯统计原理的“班布里方法”,能够有效破解德国海军的恩尼格玛机。
班布里方法基于语言学中的一个统计事实:把任意两段文字拿来排成行上下对齐进行比较,查看其中有多少对字母是相同的;当这两段文字属于同一编码系统时出现相同字母对的概率,明显高于当它们不属于同一编码系统时的相应概率。
基于这个原理,图灵找到了破解德国海军恩尼格玛机的途径。不过图灵所用的方法包含了大量数学理论,过程也相当繁琐,这里就不详细表述了,我们只说一下图灵的大致思路。
首先,通过对比分析大量的电文头尾的明文字母,部分甚至完全破解“双字替换表”,从而获得电文密钥;
其次,用班布里方法,确定右边转子是8个转子中的哪一个;
再次,重复使用班布里方法,进一步确定中间转子是哪一个;
最后,用“炸弹”机破解全部密文。
这个步骤被验证是行之有效的,图灵就这样搞定了最高级别的德国海军恩尼格玛机。
1940年5月8日,用班布里方法破解德国海军密码首次获得成功。以后的三年里,此方法结合“炸弹”机成为英国破解德国海军密码的主要手段,为盟军重创德国U-潜艇舰队、守住大西洋生命线做出了巨大贡献。
据不完全统计,破解之后,盟军全年被击沉船只的吨位下降了60%;而德军潜艇的损失率,从破译前的不到7%,猛增到50%。
更多文章:
密码那些事儿|(二十)破解恩尼格玛机的图灵方法
密码那些事儿|(十九)在人性与规则中找寻漏洞
密码那些事儿|(十八)跨越英吉利海峡的恩尼格玛机
密码那些事儿|(十七)年轻数学家首次破解恩尼格玛机
密码那些事儿|(十六)二战中大放异彩的“超级情报”
密码那些事儿|(十五)坚持就是胜利——初代恩尼格玛机
密码那些事儿|(十四)古典密码的巅峰——恩尼格玛机
密码那些事儿|(十三)尴尬的维吉尼亚3.0
密码那些事儿|(十二)短命的维吉尼亚2.0
密码那些事儿|(十一)南北战争时的维吉尼亚密码较量
密码那些事儿|(十)“钥匙”打开维吉尼亚的锁
本人是官方授权会员推广专员,点击 会员专属通道 成为会员,您将会获得钻奖励及诸多权益!
《钻奖励调整公告》
图灵全名艾伦·麦席森·图灵英文名(Alan Mathison Turing)于1912年出生在英国伦敦,于1954年死于英国曼彻斯特。是计算机的奠基者被誉为计算机之父 人工智能之父的美称。美国计算机协会还将其拥有计算机界的诺贝尔奖命名为“图林奖”来显示其对计算机的贡献是非常大的。二战爆发后,图林曾经协助军方破解德国的密码系统Enigla,帮助同盟军走向了战争的胜利。
1931年图灵进入剑桥大学国王学院,毕业后到了美国普林斯顿大学攻读博士学位,1952年应为同性恋被判化学阉割--通过注射雌性激素强制治疗,在经过惨无人寰的治疗期间,图灵饱受身体和心灵上的挫折之后选择了服毒自尽,当时只有41岁的图灵面对这样不公平的对待选择了结束自己的生命。2012年12月很多知名人士致涵英国首相卡梅伦要求为其平反,2013年英国女王伊丽莎白二世对图灵的进行平反,这是英国女王代表后人向这位伟人的道歉,这是人们对图灵最崇高的敬意。
2021 年,你将会在 50 英镑钞票上看到下面这位角色:
对,没错,他就是中学计算机信息技术教材都会提到的知名人物——艾伦 · 麦席森 · 图灵,英国数学家、逻辑学家,现代计算机之父、人工智能之父、大英帝国荣誉勋章获得者。总之,荣誉很多,贡献很大,是一名伟人。
2019年7月15日,英国央行英格兰银行宣布,将在新版50英镑上使用新的人物肖像,以此表达对这位天才计算机科学家的崇高敬意。
2015年,以图灵为原型的电影《模仿游戏》,获得奥斯卡最佳改编剧本奖。在影片《模仿游戏》中,图灵与同事为了破解德军的恩尼格码密码忍辱负重、呕心沥血,最终排除万难取得成功,扭转二战战局,让观影者动容。
然而在影片的最后以这样一句话结尾:“在接受了一年的官方授权荷尔蒙疗法后,1954年,艾伦·图灵自杀。”让无数人唏嘘感叹。
事实上,图灵的人生比他被赋予的标签要丰富得多。他充满谜团的死亡也并不能令人信服地用同性恋殉道者的故事来解释。
2020年6月23日是计算机和人工智能的祖师爷-——图灵的108年诞辰。 今天让我们一起看看回顾图灵的一生、成就与贡献以及给教育工作者的启发,致敬图灵诞辰108周年。
人工智能的历史饱经沧桑,作为人工智能的开山鼻祖,最让人称道的就是图灵提出的图灵机模型和图灵测试了。
作为数学家和逻辑学家,图灵每天的日常就是算题,终于,有一天他顿悟了: 人算不如天算,要是有机器人帮忙算就好了。
1936年,图灵在《可计算数字及其在判断性问题中的应用》 中构想出了后来被世人称为“通用图灵机”的抽象设备,包含了数据、指令和程序的基本思想,后来第一台计算机就是在这个模型基础上研制出来的。
这个抽象模型阐明了通用计算机原理,想象这种设备拥有无限的内存,能够同时存储程序和数据;它还包括一个在内存上以一个符号为单位前后移动的扫描器,用于读取信息及写入额外的符号。
简单说,就是模仿人的计算方式:
这个机器的每一种基本行为都十分简单,比如“识别扫描器所处位置的符号”,“写入‘1’”或是“向左移动一个位置”。但当大量类似的基本行为联结在一起,结果就会变得复杂。虽然结构简单,但一台通用图灵机足以执行今天最强大的计算机能够完成的任何任务。
图灵觉得,按照这个思路,机器可以取代人。
1950 年,图灵在他的开创性论文《计算机器与智能》(Computing Machinery and Intelligence)中,提出要解决”机器能思考吗”这个问题,并将其转换为 “机器能做人类(作为会思考的实体)做的事吗?”,提出著名的图灵测试,尝试定义「智能」。即通过一个简单的测试,就可消除人类和机器智能之间的模糊性:
这就是著名的图灵测试。
直至今天,“图灵测试”也是衡量AI智能程度的重要标尺,研究者们乐此不疲地尝尽方法以试图通过测试。可以说,这七十年前提出的思想实验对当今人工智能领域依然有十分深远的影响。在论文中,图灵也建议,与其让机器模拟成年人的心智,不如让机器模拟儿童的心智,并用一系列教育手段让机器学习智能。
图灵测试还启发了后续的一些互联网应用,如验证码应用——用于检验登录用户是人类还是自动化程序。图灵测试之所以经得起时间的考验,是因为它规避了我们对智能的定义中可能包含的极其明显的人类中心主义的偏见。
图灵在计算机科学和人工智能领域扮演的伟大先行者角色,以及留给后人的启蒙式突破成果,也是他至今仍闻名世界、广受赞誉的重要原因。
图灵在计算理论上的贡献就不必说了,邱奇图灵论题,图灵机,停机问题等等。图灵的头衔也有很多,但很少人知道他也是一位出色的跑步者,甚至差点站上了奥运会的舞台。
更重要的是,图灵曾协助英国军方破解德国的著名密码系统“谜”(Enigma),帮助盟军取得了二战的胜利。
1939年-1945年第二次世界大战,30岁左右的图灵,使用刚刚研制出来的计算机,用他的算法,破译了希特勒的情报,使得二战提前两年结束,他一个人就减少了1400万人的死亡,这真是古今中外历史上的战争奇迹。 时任英国首相丘吉尔说:图灵是二战最大的功臣。
1966年,在图灵去世之后,美国计算机协会为纪念其在计算机领域的卓越贡献,设立“图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。图灵奖对获奖条件要求极高,评奖程序又是极严,一般每年只奖励一名计算机科学家,因此有 “计算机界的诺贝尔奖” 之称。
英国央行英格兰银行行长 Mark Carney 评价:“艾伦·图灵是一位杰出的数学家,他的工作对我们今天的生活方式产生了巨大影响。作为计算机科学和人工智能之父,以及战争英雄,图灵的贡献深远且具开创性。他是一位巨人,现在很多人都站在他的肩膀上。
虽然图灵生前对计算机和人工智能领域做出了伟大的贡献,但他依然遭到了英国政府的迫害。这么伟大的人物只活了42岁。
一方面,图灵是大家羡慕的天才儿童,1912年出生在英国富人阶级家庭的图灵,一直享受着良好的贵族教育,小小年纪就拿到了一手好牌。
在很小的时候,就表现出与众不同的天分,在三四岁的时候自己学会了阅读,特别喜欢数字和智力游戏,从小喜欢体育运动,尤其酷爱足球,还是一名天赋异禀的马拉松跑者。
少年时的他,就已经表现出非凡的数学水平和科学理解力,年仅15岁就通晓爱因斯坦理论,并且运用那深奥的理论,独立推导力学定律。
另一方面,图灵有着天才相似的童年,幼年性格孤僻,常遭受欺凌,长大以后性格内向,为人偏执,因为种种经历对同性有着超出常人的感情。
图灵小时候有口吃,直到4岁才被养父母收养,上学之后口吃更严重。在那段日子里,任何一个需要正常社交的地方,图灵都因为口吃而倍受困扰。他本可以在学习上表现优异而弥补自己的不足,但事实并非如此。只有在数学上,他才表现出一些智力天赋的端倪。
在舍伯恩,阿兰没能与其他男孩打成一片。他害羞、孤独,似乎总是衣衫不整、墨迹斑斑。“他的所有特征都容易成为笑柄,尤其是他那害羞、犹豫、尖细的声音——不完全是口吃,而是吞吞吐吐,就像在等待一个复杂的程序将他的想法转化成人类语言一样。”
最好的朋友克里斯托弗总是第一时间解救安抚他、矢志不渝支持他,图灵逐渐对他产生超越友情的同性之爱和依赖,以至于不久后克里斯托弗因重病去世后图灵几近崩溃而更加封闭自我。
而图灵从事信息学研究,也是克里斯朵夫的缘故。当时图灵觉得人们说话就像加密了一样,他永远都猜不对对方想要表达的是什么,而他属于那种有什么说什么的人,为此还十分苦恼。克里斯朵夫就把自己在看的一本密码学理论书推荐给了他。
破译密码多年后,1952年,英国政府对图灵同性恋取向定罪,为保住以他的挚爱克里斯托弗命名的计算机,他接受了注射雌激素的化学阉割,1954 年,最终在精神肉体双重折磨下选择吃下含氯化氢苹果终结了自己命途多舛的一生,年仅42岁。
2009年,在超过3万人的签名请愿下,英国首相布朗向全国人民正式颁布对图灵的道歉。2013 年,图灵出生百年后,英国女王伊丽莎白二世宣告了对图灵“严重猥亵”罪的赦免。这位被历史亏待的人,终于等来了被公正评价的那天。
在《模仿游戏》的最后二十分钟,在审讯室里,面对着探长的图灵说出该剧的题眼:人和机器的最大区别是什么?二者最本质的区别是,人是有不同想法的,机器则不是。你爱草莓,我讨厌滑冰,你喜欢看书,我对花粉过敏.....
图灵这番话,给了我们教育工作者以深刻的启示, 人与机器的最大的不同在于:自我意识、情感和个性的自由与多元化,我们要做到的是因材施教,尊重、理解、平等、包容的个性化教育,而不是人云亦云、党同伐异、对不同于常人的少数派施以冷漠残酷的对待。
平等地对待每一个孩子,尊重孩子的兴趣与个性,挖掘孩子的潜能与天赋,即使无法成为天才,也能一生受益、健康正常地成长,甚至很好地实现个人与社会价值 ——这是我们教育工作者需要谨记的。 在图灵108周年诞辰之际,谨用此文纪念二十世纪最伟大的科学家之一图灵。
图灵发明了破译德国格恩密码机,是计算机的雏形。但并不是人工智能,但对人工智能有很多贡献。艾伦·麦席森·图灵(Alan Mathison Turing,1912年6月23日-1954年6月7日),英国数学家、逻辑学家,称为计算机科学之父,人工智能之父。图灵对于人工智能的发展有诸多贡献,提出了一种用于判定机器是否具有智能的试验方法,即图灵试验,至今,每年都有试验的比赛。图灵发明了破译德国格恩密码机,是计算机的雏形。但并不是人工智能,但对人工智能有很多贡献。艾伦·麦席森·图灵(Alan Mathison Turing,1912年6月23日-1954年6月7日),英国数学家、逻辑学家,称为计算机科学之父,人工智能之父。图灵对于人工智能的发展有诸多贡献,提出了一种用于判定机器是否具有智能的试验方法,即图灵试验,至今,每年都有试验的比赛。
艾伦·麦席森·图灵(英文:Alan Mathison Turing,1912年6月23日-1954年6月7日),英国数学家、逻辑学家,被称为计算机科学父,人工智能之父。1931年图灵进入剑桥大学国王学院,毕业后到美国普林斯顿大学攻读博士学位,第二次世界大战暴发后回到剑桥,后曾协助军方破解德国的著名密码系统Enigma,帮助盟军取得二战的胜利。
1952年,英国振幅对图灵的同性恋取向定罪,随后图灵进行化学阉割(雌激素注射)。1954年6月7日,图灵吃下有氰化物的苹果中毒身亡,享年41岁。2013年12月24日,在英国司法大臣克里斯·格雷灵的要求下,英国女王伊丽莎白二世向图灵颁发了皇家赦免。
图灵对于人工智能的发展有诸多贡献,提出了一种用于判定机器是否具有智能化的试验方法,即图灵试验,至今,每年都有试验的比赛。此外,图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。
艾伦·麦席森·图灵,1912年6月23日生于英国伦敦。艾伦·麦席森·图灵少年时就表现出独特的直觉创造能力和对数学的爱好。
1926年,14岁的图灵考入伦敦有名的谢伯恩公学去学习,受到良好的中等教育,他在中学期间表现出对自然的极大兴趣和敏锐的数学头脑。
1927年末,年仅15岁的图灵为帮助母亲理解爱因斯坦的相对论,写了爱因斯坦的一部著作的内容提要,表现出他已具备非同凡响的数学水平和科学理解力。
图灵对自然可写的兴趣使他在1930年和1931年两次获得他的一位同学莫克姆的父母设立的自然科学奖,获奖工作中有一篇论文题为“亚硫盐酸和卤化物在酸性溶液中的反应”,受到了政府派来的督学的赞赏,对自然科学的虚拟光驱为他后来的一些研究奠定了基础,他的数学能力使他在念中学时获得过国王爱德华六世数学金盾奖章。
1931年,图灵考进剑桥国王学院,由于成绩优异而获得数学奖学金,在剑桥,他的数学能力得到充分的发展。1935年,他的第一篇数学论文“左右殆周期性的等价”发表于《伦敦数学会杂志》上。同一年,他还写出“论高斯误差函数”一文。这一论文使他又一名大学生直接当选为国王学院的研究员,并与次年荣获英国著名的史密斯(Smith)数学奖,成为国王学院声名显赫的毕业生之一。
1936年5月,图灵向英国权威的数学杂志投了一篇论文,题位《论数学计算在决断难题中的应用》。该文于1937年在《伦敦数学会文集》第42期上发表后立即引起了广泛的注意。在论文的附录里他描述了一可以辅助数学研究的机器,后来我们所熟知的电脑,以及还没有实现的”人工智能“都基于这个设想。这是他人生第一篇重要文章,也是他的成名之作。
1937年,图灵发表的另一篇文章“可计算性与λ可定义性”则拓广了丘奇(Church)提出的“丘奇论点”,形成“丘奇-图灵论点”,对计算机理论的严格化,对计算机科学的形成和发展都具有奠基性的意义。
1936年9月,图灵应邀到美国普林斯顿高级研究院学习,并于丘奇一同工作。
在美国期间,他对群论做了一些研究,并撰写了博士论文。1938年在普林斯顿获得博士学位,其论文题目为“以序数为基础的逻辑系统”,1939年正式发表,在数理逻辑研究中产生了深远的影响。
1938年夏,图灵回到英国,仍在剑桥大学国王学院任研究员,继续研究数理逻辑和计算理论,同时开始了计算机的研制工作。
第二次世界大战打断了图灵的正常研究工作,1939年秋,他应召到英国外交部通信处从事军事工作,主要是破译敌方密码的工作。由于破译工作的需要,他参与了世界上最早的电子计算机的研制工作。他的工作取得了极好的成就,因而于1945年获政府的最高奖——大英帝国荣誉勋章(O.B.E.勋章)。
1945年,图灵结束了在外交部的工作,他试图恢复战前在理论计算机科学方面的研究,并结合战时的工作,具体研制出新的计算机来。这一想法得到当局的支持。同年,图灵被录用为泰丁顿Teddington)国家物理研究所的研究人员,开始从事“自动计算机” (ACE) 的逻辑设计和具体研制工作。这一年,图灵写出一份长达50页的关于ACE的设计说明书。这一说明书在保密了27年之后,于1972年正式发表。在图灵的设计思想指导下,1950年制出了ACE样机,1958年制成大型ACE机。人们认为,通用计算机的概念就是图灵提出来的。
1945年到1948年,他在英国国家物理实验室工作,负责自动计算引擎的研究。
1946年的8月,图灵参加了他正式跑步训练后的第一个比赛。那是在他加入沃尔顿田径俱乐部后参加的3英里 (4.8公里) 比赛,图灵以15分37秒的成绩夺得第一,这一成绩当年在英国排名第20位。
1947年,在莱斯特郡拉夫堡 (Loughborough) 大学体育场举行的英国业余田径协会马拉松锦标赛上,图灵跑出了他在马拉松赛中的个人最好成绩2小时46分03秒,在那场比赛中列第五名。
1948年,图灵接受了[曼彻斯特大学]的高级讲师职务,并被指定为曼彻斯特自动数字计算机(Madam)项目的负责人助理,具体领导该项目数学方面的工作,作为这一工作的总结。
1949年成为曼彻斯特大学计算机实验室的副主任,负责最早的真正意义上的计算机——“曼彻斯特一号”的软件理论开发,因此成为世界上第一位把计算机实际用于数学研究的科学家。
1950年,图灵编写并出版了《曼彻斯特电子计算机程序员手册》(The programmers’handbook for the Manchester electronic computer)。这期间,他继续进行数理逻辑方面的理论研究。并提出了著名的“图灵测试”。同年,他提出关于机器思维的问题,他的论文“计算机和智能(Computingmachiery and intelligence),引起了广泛的注意和深远的影响。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日,在英国司法大臣克里斯・格雷灵(ChrisGrayling)的要求下,英国女王终于向图灵颁发了皇家赦免。英国司法部长宣布,“图灵的晚年生活因为其同性取向而被迫蒙上了一层阴影,我们认为当时的判决是不公的,这种歧视现象如今也已经遭到了废除。为此,女王决定为这位伟人送上赦免,以此向其致敬。”
图灵在他的“论可计算数及其在判定问题中的应用”一文中从一个全新的角度定义了可计算函数。他全面分析了人的计算过程,把计算归结为最简单、最基本、最确定的操作动作,从而用一种简单的方法来描述那种直观上具有机械性的基本计算程序,使任何机械(能行)的程序都可以归约为这些动作。这种简单的方法是以一个抽象自动机概念为基础的,其结果是:算法可计算函数就是这种自动机能计算的函数。这不仅给计算下了一个完全确定的定义,而且第一次把计算和自动机联系起来,对后世产生了巨大的影响,这种“自动机”后来被人们称为“图灵机”。
图灵在第二次世界大战中从事的密码破译工作涉及到电子计算机的设计和研制,但此项工作严格保密。直到70年代,内情才有所披露。从一些文件来看,很可能世界上第一台电子计算机不是ENIAC,而是与图灵有关的另一台机器,即图灵在战时服务的机构于1943年研制成功的CO-LOSSUS(巨人)机,这台机器的设计采用了图灵提出的某些概念。它用了1500个电子管,采用了光电管阅读器;利用穿孔纸带输入;并采用了电子管双稳态线路,执行计数、二进制算术及布尔代数逻辑运算,巨人机共生产了10台,用它们出色地完成了密码破译工作。战后,图灵任职于泰丁顿国家物理研究所(Teddington National Physical Laboratory),开始从事“自动计算机”(Automatic Computing Engine)的逻辑设计和具体研制工作。1946年,图灵发表论文阐述存储程序计算机的设计。他的成就与研究离散变量自动电子计算机(Electronic Discrete Variable Automatic Computer)的约翰·冯·诺伊曼(John von Neumann)同期。图灵的自动计算机与诺伊曼的离散变量自动电子计算机都采用了二进制,都以“内存储存程序以运行计算机”打破了那个时代的旧有概念。
从1952年直到去世,图灵一直在数理生物学方面做研究。他在1952年发表了一篇论文《形态发生的化学基础》(The Chemical Basis of Morphogenesis)。他主要的兴趣是斐波那契叶序列,存在于植物结构的斐波那契数。他应用了反应-扩散公式,如今已经成为图案形成范畴的核心。他后期的论文都没有发表,一直等到1992年《艾伦·图灵选集》出版,这些文章才见天日。
1945年到1948年,图灵在国家物理实验室,负责自动计算引擎(ACE)的工作 。1949年,他成为曼彻斯特大学计算机实验室的副主任,负责最早的真正的计算机---曼彻斯特一号的软件工作。在这段时间,他继续作一些比较抽象的研究,如“计算机械和智能”。图灵在对人工智能的研究中,提出了一个叫做图灵试验的实验,尝试定出一个决定机器是否有感觉的标准。