1 生平与早期教育
1.1 家庭背景与童年
阿兰·马蒂森·图灵（Alan Mathison Turing）于1912年6月23日出生于英国伦敦的帕丁顿地区。其父亲朱利叶斯·图灵（Julius Turing）是英国印度文官团的一名官员，母亲埃塞尔·萨拉·斯托尼（Ethel Sara Stoney）则出身于爱尔兰工程师家庭。由于父亲长期在印度任职，图灵和哥哥约翰大多由寄养家庭和亲友照顾，童年时期在英格兰和苏格兰的多处居所间辗转。
图灵自小便展现出非凡的智力天赋——他在6岁时自学阅读，8岁便开始撰写简短的“科学笔记”，其中涉及对蜜蜂飞行轨迹的观察。然而，他的性格内向、不修边幅，且对传统教育中的拉丁文和古典文学兴趣寥寥，这使得他在就读于舍尔伯尼公立学校（Sherborne School）期间屡遭同学和老师的冷眼。尽管如此，他在数学和科学方面的才能早已超越同龄人，例如他曾在课堂上独立推导出反正切函数的无穷级数展开式，却因未被教授微积分而被扣分。
1.2 国王学院与数理逻辑启蒙
1931年，图灵进入剑桥大学的国王学院（King's College, Cambridge）攻读数学。剑桥的学术自由环境使他的天赋得到充分释放。他很快对数学基础问题产生浓厚兴趣，尤其受伯特兰·罗素（Bertrand Russell）和阿尔弗雷德·诺斯·怀特海（Alfred North Whitehead）的《数学原理》影响，转向数理逻辑与元数学研究。
1935年，年仅23岁的图灵被选为国王学院的研究员（Fellow），同年他构思并完成了“图灵机”这一理论模型的雏形。这一成果直接源自他对大卫·希尔伯特（David Hilbert）提出的“决策问题”（Entscheidungsproblem）的思考——即是否存在一种通用的机械化过程，能判定任何数学命题的可证明性。图灵凭借其论文《论可计算数及其在判定问题上的应用》（On Computable Numbers, with an Application to the Entscheidungsproblem）于1936年获得史密斯奖。
1.3 普林斯顿大学深造
1936年至1938年，图灵远赴美国普林斯顿大学，在著名数学家阿隆佐·邱奇（Alonzo Church）的指导下攻读博士学位。在普林斯顿期间，他完成了博士学位论文《基于序数的逻辑系统》（Systems of Logic Based on Ordinals），提出了“相对化可计算性”（即带“神谕”的图灵机）这一高阶概念。他还与冯·诺依曼（John von Neumann）等人有过密切交流，后者一度邀请他留校担任助理教授，但图灵选择于1938年返回英国。
在普林斯顿的数月中，图灵深入接触了当时处于萌芽状态的电子计算工程，并受冯·诺依曼正在构想的EDVAC计算机设计思路启发，开始思考将理论图灵机转化为实际机械系统的可能性。
2 主要职业成就
2.1 计算机科学理论奠基
2.1.1 图灵机与可计算性
图灵机（Turing Machine）是图灵为严格定义“算法”与“可计算性”而提出的抽象计算装置。其基本构成包含一条无限长的纸带、一个读写头以及一套有限的状态转移规则。尽管构造极其简洁，图灵证明：只要给定恰当的规则，这一装置能够执行任何人类数学家凭有限步骤可完成的符号计算。这一成果与邱奇提出的“λ演算”等价，共同奠定了“丘奇-图灵论题”（Church-Turing Thesis）的基础——即所有“直觉上可计算”的函数都能被图灵机计算。
2.1.2 决策问题与停机问题
作为对希尔伯特决策问题的回应，图灵在1936年论文中进一步证明了“停机问题”（Halting Problem）的不可判定性。他构造了一个反例：不存在一个通用的算法，能够判定任意给定的图灵机在输入任意数据后，是否会最终停止运行。这一结论揭示了存在一类数学上无法机械化解决的问题，成为计算理论和不完全性定理的里程碑之一。
2.2 二战密码破译工作
2.2.1 布莱切利园与恩尼格玛
1939年二战爆发后，图灵被招募至英国秘密密码破译机构，驻扎在布莱切利园（Bletchley Park）。他加入的第8营（Hut 8）专门负责破解德国海军使用的恩尼格玛（Enigma）密码机。恩尼格玛通过每日更换密钥设置（包括转子顺序、起始位置和插线板接线），理论上存在约10^16种可能密码——传统人工破译几乎不可能。图灵利用德军密码员的固定操作模式（如特定的“天气报告”词句）以及恩尼格玛本身的设计漏洞，开发出基于概率统计的破译方法。
2.2.2 “炸弹机”设计与Colossus计算机
为实现快速破译，图灵与同事戈登·韦尔什曼（Gordon Welchman）合作设计了“炸弹机”（Bombe）——一种专用于恩尼格玛密钥搜索的机电式计算装置。炸弹机通过模拟多个恩尼格玛转子的同步运行，结合逻辑电路筛选无效密钥，将单次密钥试错时间从数小时缩短至15分钟以下。至战争结束时，英方部署了超过200台炸弹机。
此外，图灵还参与了针对更高级的洛伦兹（Lorenz）密码机的破译辅助工作，其思路影响了工程师汤米·弗劳尔斯（Tommy Flowers）设计世界上第一台可编程电子计算机——Colossus。尽管Colossus的硬件实现由弗劳尔斯主导，但图灵的理论分析为它提供了必要框架。
2.3 人工智能先驱
2.3.1 图灵测试与《计算机器与智能》
1950年，图灵在哲学期刊《心智》（Mind）上发表论文《计算机器与智能》（Computing Machinery and Intelligence），提出“图灵测试”（Turing Test）这一判定机器是否具有智能的经典标准。该测试设计为：一位人类裁判通过文字终端同时与一位人类和一台机器对话，若裁判无法可靠地区分两者，则应当认为该机器具备思考能力。图灵在文中预见了反对机器会思考的各种论调（如宗教情感、意识体验等），并逐一予以回应。
2.3.2 早期机器智能实验
图灵并未止于理论。在曼彻斯特大学任职期间，他着手编写了可运行在费兰蒂“马克一号”（Ferranti Mark 1）计算机上的第一个国际象棋程序框架，并探索了如何用机器生成随机噪声以模拟婴儿学习过程。他还提出了“人生竞赛”（实际上为后来“元胞自动机”的雏形）概念，用以研究自组织行为。
2.4 数学生物学贡献
2.4.1 形态发生的化学反应-扩散模型
1952年，图灵发表了他生前最后一部重要著作——《形态发生的化学基础》（The Chemical Basis of Morphogenesis）。该论文提出：生物体在胚胎发育过程中，通过某些“形态发生素”（morphogens）的化学反应与扩散过程，足以解释从对称到非对称模式的涌现，例如斑马条纹、海贝壳花纹以及人类手指的排列。图灵使用偏微分方程对反应-扩散系统进行数学建模，并成功用计算机模拟了斑点与条纹图案的生成，成为理论生物学中“自组织”领域的开创性工作。
3 个人生活与争议事件
3.1 性取向与时代背景
图灵一生中始终是同性恋者。在20世纪中叶的英国，同性恋行为被法律明文禁止，且被社会各界视为“道德败坏”。图灵尽管行事谨慎，但并未刻意隐瞒自己的取向：他在剑桥和普林斯顿期间与多位男性有过情感关系，其中最著名的是他在1930年代末与克里斯托弗·莫尔科姆（Christopher Morcom）的柏拉图式恋情——莫尔科姆因病早逝后，图灵将其视为自己学术动力的源泉，并一度与其母亲保持通信。
3.2 1952年定罪与化学阉割
1952年，图灵家中发生盗窃案——盗窃者实际是其短暂同性伴侣阿诺德·默里（Arnold Murray）的同谋。图灵报案后，警方调查过程中发现了默里与图灵的性关系。图灵被指控“严重猥亵”（gross indecency）罪。出于对法律过错的坦率态度，图灵并未试图否认事实。法庭判决其可选择监禁或化学阉割（即强制注射雌激素以抑制性欲），图灵选择后者。化学阉割导致他乳房发育、阳痿及剧烈体重增加等副作用，也间接导致其心智受损。
3.3 逝世之谜与后续调查
3.3.1 官方死因（氰化物中毒）
1954年6月8日，图灵被女管家发现死于曼彻斯特的家中。床头柜上放着一个咬了几口的苹果，法医检验确认死因为氰化物中毒。官方裁定为自杀，推断图灵因忍受不了化学阉割带来的身心痛苦和精神压迫而选择结束生命。
3.3.2 后世对“被谋杀”假说的讨论
部分研究人员和传记作者指出，图灵之死存有疑点。例如他生前并无明显抑郁症状，甚至在死前数周还规划了新的形态发生实验；他摆放苹果的姿势也与他平时“睡前吃苹果驱散尼古丁味道”的习惯一致。另一些人推测他可能是在从事实验室生产氰化钾过程中发生意外中毒，而非刻意服毒。2009年，计算机科学家杰克·科普兰（Jack Copeland）出版了专门调查图灵死因的报告，认为自杀结论并非无懈可击，但也不足以支撑谋杀假说。目前主流看法仍接受自杀说。
4 遗产与纪念
4.1 科学影响
4.1.1 图灵完备性与编程语言
图灵的“通用图灵机”概念为“图灵完备”（Turing completeness）奠定了标准——如果一个编程语言可以模拟通用图灵机的全部功能，则称该语言是图灵完备的。几乎所有主流编程语言（C、Python、Java等）均满足这一特性，这意味着从理论上说，它们能计算所有可计算函数。这一定义成为软件工程和计算复杂性理论的基石。
4.1.2 图灵奖——计算机界的诺贝尔奖
1966年，美国计算机协会（ACM）设立“图灵奖”（A.M. Turing Award），用以表彰对计算机领域做出根本性贡献的个人。该奖项被公认为“计算机界的诺贝尔奖”，奖金目前为100万美元。历年得主包括：艾伦·佩利（Algol语言）、肯·汤普森和丹尼斯·里奇（Unix/C语言）、蒂姆·伯纳斯-李（万维网）等。截至2024年，图灵奖全球获得者共约70余位。
4.2 文化符号与梗文化
4.2.1 苹果logo的都市传说（调侃）
一个经久不衰的网络段子认为，苹果公司的标志——一个被咬了一口的苹果——是在向图灵致敬（取图灵用沾满氰化物的苹果自杀的传说）。事实上，苹果官方logo设计师罗布·扬诺夫（Rob Janoff）已澄清该设计是为了让苹果看起来不像樱桃，并利用被咬的视觉形状暗示“咬”（bite）与“字节”（byte）的谐音双关。但这一都市传说仍然被广泛调侃，成为科技界圈内笑话。
4.2.2 图灵测试在科幻作品中的泛化
图灵测试作为一个哲学概念，在大量科幻作品中被反复引用和改编。例如《银翼杀手》中的“Voight-Kampff”测试、《模拟人生》中的图灵测验场景，以及无数讨论“人工智能能否拥有情感”的小说和电影。这些作品通常将图灵测试从“语言博弈”延伸至“情感与伦理判断”层面，使其成为大众文化中探讨AI主体性的通用符号。
4.3 平权象征与官方道歉
4.3.1 2013年皇家赦免令
2009年，英国首相戈登·布朗在千余人请愿下正式代表政府向图灵道歉。2013年12月24日，经英国女王伊丽莎白二世签发“皇家赦免令”（royal pardon），图灵因同性恋定罪的罪名被正式撤销。这也是英国历史上罕见的针对去世者的赦免。此后，英国政府通过“图灵法”（Alan Turing Law，正式名称为《1974年警察与刑事证据法修正案》）对历史上所有因同性恋行为获罪者进行了溯及豁免。
4.3.2 英国50英镑纸币肖像
2021年6月23日，图灵诞辰109周年之际，英国央行发行了50英镑新版纸币，其背面印有图灵肖像、图灵机的技术示意图、图灵提出的“This is only a foretaste of what is to come, and only the shadow of what is going to be.”这一名句，以及一枚老式炸弹机的符号。图灵因此成为首位出现在英国纸币上的科学家及LGBTQ+代表人物。
5 相关人物与对比
5.1 同时代合作者：阿兰·图灵与冯·诺依曼
约翰·冯·诺依曼（John von Neumann，1903–1957）与图灵在普林斯顿有过密切合作。冯·诺依曼主导的EDVAC计算机采用了“存储程序”概念，与图灵机中的“状态存储”思路高度一致。尽管冯·诺依曼从未公开引用图灵机，但多位学者认为其存储程序计算机的架构实质上是图灵机思想的具体工程实现。两人的主要差异在于：冯·诺依曼更加关注实际硬件和计算的工程效率，而图灵更侧重于可计算性的哲学与数学边界。
5.2 密码学同行：戈登·韦尔什曼、汤米·弗劳尔斯
戈登·韦尔什曼（Gordon Welchman，1906–1985）是图灵在布莱切利园的主要合作者之一，他设计的“对角线板”（diagonal board）显著提升了炸弹机的效率。战后韦尔什曼移居美国，成为密码学领域的资深顾问，但因泄露机密技术细节而曾被FBI调查。
汤米·弗劳尔斯（Tommy Flowers，1905–1998）是Colossus计算机的首席工程师。他利用大规模真空管实现了电子布尔运算，这是世界上第一台可编程、可重配置的完全电子化计算机。图灵的理论分析与弗劳尔斯的工程能力形成了完美互补，但由于战后的保密政策，Colossus及其设计团队的工作直到1970年代才解密。
5.3 后世继承者：克劳德·香农、约翰·麦卡锡
克劳德·香农（Claude Shannon，1916–2001）在1930年代与图灵有过简短会面，两人分别从数学逻辑和通信角度探讨了信息的本质。香农的《通信的数学理论》与图灵的《计算机器与智能》共同构成了信息时代“计算”与“信息”两大支柱。
约翰·麦卡锡（John McCarthy，1927–2011）在1956年达特茅斯会议上正式提出“人工智能”（Artificial Intelligence）这一术语。麦卡锡创立了Lisp编程语言并发展了“分时系统”概念，延续了图灵对机器智能的早期探索。图灵常被后世视为“人工智能的真正奠基人”，而麦卡锡则被视为该学科的命名者与组织者。