Alan Turing 提交 On Computable Numbers 以供出版。
艾伦·马西森·图灵(Alan Mathison Turing;1912 年 6 月 23 日 - 1954 年 6 月 7 日)是英国数学家、计算机科学家、逻辑学家、密码分析家、哲学家和理论生物学家。图灵在理论计算机科学的发展中具有很大的影响力,用图灵机提供了算法和计算概念的形式化,可以被认为是通用计算机的模型。图灵被广泛认为是理论计算机科学和人工智能之父。图灵出生于伦敦的麦达维尔,在英格兰南部长大。他毕业于剑桥国王学院,获得数学学位。当他还是剑桥大学的研究员时,他发表了一个证明,证明了一些纯数学的“是-否”问题永远无法通过计算来回答,并定义了图灵机,并继续证明图灵机的停机问题是不可判定的。 1938年在普林斯顿大学数学系获得博士学位。在第二次世界大战期间,图灵在布莱切利公园的政府密码和密码学校 (GC&CS) 工作,这是英国产生超智能的密码破译中心。有一段时间,他领导着负责德国海军密码分析的 Hut 8。在这里,他设计了许多加速破解德国密码的技术,包括对战前波兰炸弹方法的改进,这是一种可以找到 Enigma 机器设置的机电机器。图灵在破解截获的编码信息方面发挥了至关重要的作用,这些信息使盟军能够在包括大西洋之战在内的许多关键交战中击败轴心国。战后,图灵在国家物理实验室工作,在那里他设计了自动计算引擎(ACE),存储程序计算机的首批设计之一。 1948 年,图灵加入了曼彻斯特维多利亚大学 Max Newman 的计算机实验室,在那里他帮助开发了曼彻斯特计算机,并对数学生物学产生了兴趣。他写了一篇关于形态发生的化学基础的论文,并预测了振荡化学反应,例如在 1960 年代首次观察到的 Belousov-Zhabotinsky 反应。尽管取得了这些成就,但在他的一生中,他从未在祖国得到充分认可,因为他的大部分工作都受到《官方保密法》的保护。图灵于 1952 年因同性恋行为被起诉。他接受了 DES 激素治疗,一种通常被称为化学阉割的程序,作为监狱的替代方案。 2009年,英国首相戈登·布朗在一场网络运动之后,代表英国政府就“他受到的骇人听闻的对待方式”正式公开道歉。英国女王伊丽莎白二世于 2013 年授予图灵死后赦免。“艾伦·图灵法”一词现在非正式地用于指英国 2017 年的一项法律,该法律追溯性赦免了根据禁止同性恋行为的历史立法警告或定罪的男性。图灵死于1954 年 6 月 7 日,也就是他 42 岁生日的前 16 天,死于氰化物中毒。一项调查确定他的死是自杀,但已经注意到已知证据也与意外中毒一致。
图灵拥有丰富的遗产,包括他的雕像和许多以他命名的东西,包括计算机科学创新年度奖。他出现在当前的英格兰银行 50 英镑纸币上,该纸币于 2021 年 6 月 23 日发行,恰逢他的生日。由观众投票选出的 2019 年 BBC 连续剧将他评为 20 世纪最伟大的人。