阿兰·图灵（Alan Mathison Turing）

他用一张无限长的纸带定义了什么是「计算」，又用同一张纸带证明了「计算」本身的边界——这是计算机科学的创世时刻；接着他把那台纸上的机器搬到布莱切利园，在二战里撬开德军的恩尼格玛；战后他把机器写进 ACE 设计图、把智能写进 1950 年的《心灵》、把生命的花纹写进反应扩散方程。他在 41 岁死去，留下一个被半个世纪才慢慢偿还的国家亏欠。

一、生平与时代背景

阿兰·麦席森·图灵（Alan Mathison Turing）于 1912 年 6 月 23 日出生在伦敦帕丁顿（Paddington）区，具体出生地为沃灵顿大道的沃灵顿庄园（Warrington Lodge, Warrington Avenue，今属麦达维尔 Maida Vale，仍在帕丁顿范围内；麦考瑞档案与剑桥国王学院页二者记载一致，仅详略不同）。父亲朱利叶斯·麦席森·图灵（Julius Mathison Turing）是英属印度文官（Indian Civil Service），长年在印度；母亲埃塞尔·萨拉·斯托尼（Ethel Sara Stoney）是马德拉斯铁路总工程师爱德华·沃勒·斯托尼之女，父母在印度相识结婚。阿兰一岁多，母亲即返回印度与丈夫团聚，把他留在英国由亲友照管——这种「帝国式寄养」贯穿他的童年，与哥哥约翰（比他大四岁）一同在寄宿家庭间辗转，塑造了他内向、倔强、不轻易服从权威的性格。

他先被送进一所小学，数月后校方认为他「没有受益」而退学；随后入黑兹尔赫斯特预备学校（Hazlehurst Preparatory School），成绩在多数科目上「中等偏上」，却痴迷于自己的想法，学下棋、加入辩论社。1926 年通过公学入学考试，入谢伯恩公学（Sherborne School）。这一年英国爆发总罢工，14 岁的图灵骑车 60 英里从家赶到学校报到——这对后来成为马拉松健将的他不算难事。他极不适应公学的古典人文训练：字写得潦草、英语吃力、数学也偏爱用自己的方法而非老师教的套路，但他几乎拿遍了谢伯恩所有数学奖；化学从幼年起就是他的最爱，常按自己的日程做实验，惹恼老师。校长写过一段著名评语：「若他要留在公学，就必须立志成为有教养的人；若他只想做科学专家，那他在公学是在浪费时间」（MacTutor 转引）——这句话更多暴露的是体制而非图灵。在校期间他独立研读了爱因斯坦的相对论论文和爱丁顿《物理世界的本质》中的量子力学。

1928 年，他与高一届的克里斯托弗·莫科姆（Christopher Morcom）结下亲密友谊，两人一起钻研科学——这是图灵第一次找到可以分享思想的人。莫科姆于 1930 年 2 月因肺结核早逝，给图灵带来毁灭性打击；他在莫科姆发病的同一瞬间产生「预感」，从此对心灵与物质、科学能否解释意识这类问题念兹在兹，他后来说：「这些事要解释掉并不难——但，我还是怀疑！」

1931 年图灵考入剑桥大学国王学院（King's College, Cambridge）读数学。1929 年他首次参考只得「展览奖学金（exhibition）」而非全额奖学金，不服，次年重考即获奖学金。剑桥远比公学适合他：1933 年他读了罗素《数理哲学导论》与冯·诺依曼 1932 年的量子力学教材，并在 12 月向剑桥「道德科学俱乐部」宣读一篇《数学与逻辑》的论文，主张纯逻辑主义的数学观是不充分的。同年他加入反战运动，但既未转向马克思主义也未走向和平主义。1934 年以一等荣誉学位毕业；1935 年春，他旁听了马克斯·纽曼（Max Newman）的数学基础高级课程，第一次系统接触哥德尔不完备定理与希尔伯特的判定问题（Entscheidungsproblem）——这门课改变了他的一生。同年，他凭一篇关于高斯误差函数/中心极限定理的论文当选国王学院院士（Fellow），1936 年获剑桥史密斯奖（Smith's Prize）。

1936 年，他完成改变世界的论文《论可计算数及其在判定问题上的应用》（On Computable Numbers, with an Application to the Entscheidungsproblem），提出图灵机，证明判定问题不可解。由于丘奇（Alonzo Church）几乎同时用 λ 演算证明了同一结论，论文几经周折才由纽曼力荐发表于《伦敦数学会会刊》（1937 年刊出）。1936 年 9 月他赴普林斯顿大学做丘奇的研究生，1938 年获博士学位，论文《基于序数的逻辑系统》（Systems of Logic Based on Ordinals）引入谕示机（oracle machine）与序数逻辑，1939 年正式发表。在普林斯顿，冯·诺依曼邀请他留下做助手，他婉拒，于 1938 年夏回国——此时欧战在即，他已准备为英国效力。回国后他动手制造一台研究黎曼猜想的机械齿轮机（ζ 函数计算装置），但很快被政府密码学校（GC&CS）征召。

1939 年 9 月二战爆发，图灵立即全职进驻布莱切利园（Bletchley Park）。他在这里度过了据纽曼所说「他一生中也许最快乐的几年」。他与戈登·韦尔奇曼（Gordon Welchman）共同设计Bombe 机，1940 年 3 月起破译德国空军恩尼格玛；他专攻最艰难的海军恩尼格玛，发明Banburismus 统计法，结合缴获材料，到 1941 年中开始稳定破译德军潜艇通信，对大西洋反潜战至关重要。1942 年 11 月至 1943 年 3 月他赴美联络破译工作并参与Delilah 语音加密系统；战后因战功获OBE（大英帝国官佐勋章）。

1945 年他受邀到伦敦国家物理实验室（NPL）设计计算机，于 1945 年秋写出《提议的电子计算器》（ACE 方案）报告，是最早的存储程序通用电子计算机的完整工程规格之一。但项目因保密与资源掣肘进展缓慢，他于 1947—1948 学年回剑桥进修神经学与生理学（同时坚持马拉松训练，1947 年 AAA 马拉松获第 5 名，成绩 2:46:03，几乎达到 1948 年奥运选拔水平）。1948 年纽曼在曼彻斯特大学任数学教授，聘他为计算机理论高级讲师（Reader in the Theory of Computing），参与威廉姆斯（F. C. Williams）与基尔伯恩（T. Kilburn）的计算机研制；他为曼彻斯特机编写子程序与程序员手册。

1950 年他在《心灵》（Mind）发表《计算机器与智能》，提出图灵测试；同年在《数学年刊》发表关于可消去半群字问题不可解的论文。1951 年当选英国皇家学会院士（FRS）（推荐依据是 1936 年论文）。1952 年《形态发生的化学基础》发表，开创反应扩散斑图理论。

1952 年 1 月，图灵家中失窃，报警后警方调查暴露其同性恋关系，他被以严重猥亵（gross indecency）罪起诉；3 月 31 日定罪，被给予选择：入狱或接受以雌激素注射（化学去势）为条件的缓刑。他选择后者，为期一年，并因此丧失在政府通信总部（GCHQ）从事机密密码工作的安全许可。1954 年 6 月 7 日，他在威尔姆斯洛（Wilmslow）的家中去世，享年 41 岁；6 月 8 日被清洁工发现，身边有半个咬过的苹果，验尸认定死因为氰化物中毒、自杀。但他当时正在做镀金实验、常接触氰化物，且死前并无明显异常，其母与部分史家（如 Jack Copeland）主张系意外——死因至今仍有争议（见第六节）。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 图灵机与「可计算性」的精确定义（1936）——数理逻辑 / 理论计算机科学

问题背景：1935 年图灵从纽曼课上学到希尔伯特纲领的核心难题之一——判定问题（Entscheidungsproblem）：是否存在一个「明确的机械程序」，能判定任意给定的一阶逻辑命题是否有效（可证）？要否定这个问题，必须先给出「机械程序 / 有效可计算」的精确定义，否则无法证明「不存在」。当时已有丘奇的 λ 可定义性（1936）和哥德尔—埃尔布朗—克莱尼的一般递归函数两种刻画，但都偏代数/句法，缺乏直观说服力。

关键思想：图灵没有从任何已有的计算机器出发，而是把「人在做计算」这一心理动作还原为最基本的原子操作——在一张被划成方格的无限长纸带上读写符号、左右移动、按有限规则切换「心智状态」。他用这个极简模型捕捉了「机械过程」的全部本质。这个模型后来被命名为图灵机（Turing machine）。

精确表述：一台自动机（a-machine）由以下要素组成： - 一条双向无限长纸带，划分为方格，每格可写一个有穷字母表 $\Sigma$（含空白符）中的符号； - 一个读写头，每次扫描一个方格，可读取、擦除、改写当前格，然后左移或右移一格； - 一个有穷状态集 $Q$，含初始状态与若干停机状态； - 一张有穷转移表 $\delta: Q\times\Sigma \to Q\times\Sigma\times{L,R,N}$，把「当前状态 + 读到的符号」映射到「新状态 + 写入符号 + 头移动方向」。

机器动作完全由转移表决定（这就是「自动机」；图灵另定义了需要人工输入的「选择机 c-machine」）。一个实数 $r$ 是可计算的，当且仅当存在一台从空白纸带出发的图灵机，能依次打印出 $r$ 的（二进/十进）小数展开的所有位（其余写入的符号只是「辅助记忆」的草稿，可擦除）。图灵证明 $\pi$ 可计算；但图灵机的转移表可被编码为「描述数」，故图灵机只有可数无穷多个，而实数不可数——因此几乎所有实数都是不可计算的。

更深刻的是，图灵证明存在通用图灵机（universal Turing machine）$\mathcal{U}$：把任意图灵机 $M$ 的转移表编码后写在 $\mathcal{U}$ 的纸带上，$\mathcal{U}$ 就能模拟 $M$ 的全部行为——「一台机器可以做任何专用机器的工作，只要插入带有合适『指令』的纸带」。这正是存储程序思想的理论源头：程序即数据。

与前人关系：巴贝奇 19 世纪已有「分析机」的通用可编程构想，但受限于机械技术且无完整理论；图灵是第一个把「通用可编程」抽象为可证明的数学模型的人。丘奇、哥德尔的刻画与图灵机等价（见成果 3），但图灵模型的机器直观使它成为最被广泛接受的「计算」定义。哥德尔本人起初不相信丘奇论题，直到看到图灵机后才信服。

局限性：图灵机是理论模型（纸带无限、忽略物理资源），并非要真的制造；它刻画的是「原则上可计算」，不涉及计算效率（那是后来计算复杂性理论的事）。其转移表依赖经典物理的可实现性，量子计算的出现拓展了「物理可计算」的视野，但未推翻丘奇—图灵论题的经典版本。

2. 判定问题不可解与停机问题（1936）——数理逻辑 / 可计算性理论

问题背景：希尔伯特 1928 年在博洛尼亚国际数学家大会上明确提出判定问题：给定一阶逻辑的任意公式，是否存在一个有效程序判定它是不是普遍有效（universally valid）的？这是希尔伯特纲领的「收官问题」——若有解，全部数学（至少一阶部分）原则上可被机械化判定。

关键思想：图灵用对角线方法（康托尔、罗素、哥德尔一脉相承的自我指涉）证明：不存在能判定「任意图灵机是否会输出无穷多位数字（即是否『circle-free』、不陷入循环/停机）」的图灵机；再把这个不可解的「机器问题」归约为一阶逻辑的可满足性/有效性问题——若判定问题有解，就能判定机器是否打印某符号，矛盾。

精确表述：①（对角线引理）假设存在图灵机 $H$ 能判定任意图灵机的「描述数」是否「令人满意（satisfactory，即该机能打印出无穷十进制展开）」。则可构造一台新机器：对第 $N$ 台 satisfactory 机器，取其第 $N$ 位数字并改成不同的数字，逐位打印一个新数。这台新机器本身也是 satisfactory 的，但其输出在第 $N$ 位上与第 $N$ 台机器不同——与「它出现在列表中」矛盾，故 $H$ 不存在。

②（归约到判定问题）图灵证明：对任意图灵机 $M$ 和符号 $s$，可以构造一个一阶逻辑公式 $\phi(M,s)$，使得 $\phi(M,s)$ 可满足当且仅当 $M$ 曾经打印过 $s$。若判定问题（「$\phi$ 是否有效？」）可解，则其对偶「$\phi$ 是否可满足？」也可解，从而能判定 $M$ 是否打印 $s$——但由 ① 这不可解。故一阶逻辑的判定问题无算法解。

现代形式（停机问题）：后世将该核心结果整理为「停机问题」——不存在图灵机 $H$ 使得对任意编码 $\langle M,w\rangle$，$H(\langle M,w\rangle)=1$ 当且仅当 $M$ 在输入 $w$ 上停机。「停机问题」这一名称与标准表述由克莱尼（Kleene, 1943）与戴维斯（Davis, 1958, 《可计算性与不可解性》）定型，但其论证本质属图灵 1936 年工作。

与前人关系：丘奇 1936 年 4 月先于图灵发表用 λ 演算证明的「初等数论中一个不可解问题」，同样否定判定问题；图灵方法完全独立且更具机器直观。两人结果合流，标志希尔伯特判定问题被否定解决。哥德尔不完备定理（1931）说「足够强的系统内存在不可证真命题」，图灵/丘奇说「不存在统一算法判定命题是否可证」——二者互补，共同终结了希尔伯特纲领的机械化梦想。

局限性：不可解是「原则上无算法」，不排除对具体子类（如命题逻辑、一元谓词逻辑、某些可判定片段）存在判定程序；也不排除近似、启发式方法。停机问题的不可解性催生了整个不可解度理论（见成果 4）。

3. 丘奇—图灵论题与可计算性的多重等价刻画（1936—1937）——数理逻辑

问题背景：判定问题的否定解决依赖于「什么是有效可计算」的定义。但这定义若只是一家之言，结论就可能有漏洞——也许存在比图灵机更强的「算法」？

关键思想：图灵在 1937 年发表《可计算性与 λ 可定义性》，证明图灵可计算 = λ 可定义；此前克莱尼已证明 λ 可定义 = 一般递归。于是三种独立提出、表面迥异的形式刻画被证明等价：图灵机、λ 演算、一般递归函数（后来又加入波斯特系统、马尔可夫算法、寄存器机等，均等价）。这一收敛性构成了丘奇—图灵论题的核心证据。

精确表述：丘奇—图灵论题（Church–Turing Thesis）：直观上「有效可计算（effectively calculable）」的函数，恰好就是图灵可计算函数（等价于 λ 可定义、一般递归函数）。该论题不是一条可在某个形式系统内证明的定理，因为「有效可计算」是前理论的、非形式概念；它是一个被广泛接受的等同断言，其证据是：(i) 所有已知计算模型都等价；(ii) 从未发现一个被直觉承认为「算法」、却不能被图灵机实现的过程；(iii) 图灵对「人做计算」的分析极为信服。

与前人关系：丘奇 1936 年提出「有效可计算 = λ 可定义」；哥德尔对「一般递归」刻画心存保留，明确表示只有看到图灵机分析后才接受论题。图灵的机器模型把论题从「代数约定」提升为「概念分析」，这是它被奉为标准的原因。

局限性 / 争议：①论题的「物理版本」（任何物理过程可计算的函数都是图灵可计算的）涉及量子/模拟/相对论计算，是否成立仍有哲学讨论；②存在所谓「超计算（hypercomputation）」设想（如无限加速、实数编码），但通常不被承认为物理可实现；③论题刻画「可计算性」不刻画「可行性/高效性」——后者由计算复杂性（P/NP 等）补充。

4. 序数逻辑与谕示机 / 相对可计算性（1939，博士论文）——数理逻辑 / 可计算性理论

问题背景：哥德尔不完备定理表明，任何足够强的一致形式系统都有它证不出的真命题（其哥德尔句 $G_S$）。能否通过不断把哥德尔句加进系统来逐步克服不完备性？这会把我们带到无穷——需要用序数来索引迭代的层次。

关键思想：图灵在普林斯顿博士论文《基于序数的逻辑系统》中构造了序数逻辑（ordinal logics）：从一个基础系统出发，在后继序数步把「上一步系统的一致性/哥德尔句」作为新公理加入，在极限序数步取前面所有系统的并。他还引入了谕示机（oracle machine，o-machine）——一台除标准操作外，还能「查询」某个不可计算集合（如停机集 $K$）的机器，一步得到答案。这奠定了相对可计算性的基础。

精确表述：设 $A\subseteq\mathbb{N}$ 为任意集合（谕示）。一台带谕示 $A$ 的图灵机在计算中可问「$n\in A$？」并立即得到回答。由此定义相对可计算性：$B$ 是$A$-可计算（$B\le_T A$，图灵归约）当且仅当存在带谕示 $A$ 的图灵机计算 $B$ 的特征函数。把 $\le_T$ 下的等价类称为图灵度（Turing degrees）；不含谕示的可计算集构成最小度 $\mathbf{0}$，停机集 $K$ 的度 $\mathbf{0}'$ 是它的「图灵跳跃（Turing jump）」。

关于序数逻辑的完备性，图灵证明：对适当的序数逻辑，每个真的 Π²（或相应层）算术命题都在某个序数层可证；但这种「完备性」是非不变的（not invariant）——同一序数的不同记号（notation）可证命题集不同，因此不能给出一个统一、绝对的可证性概念。纽曼评价该文「充满有趣的想法，极大地澄清了图灵关于直觉在数学证明中之位置的观点」。

与前人关系：序数逻辑由图灵首创；谕示机与相对可计算性直接启发了克莱尼与波斯特（1954）开创的不可解度理论（degree theory），「图灵度」「图灵跳跃」「图灵归约」均以他命名，是递归论的核心概念。

局限性：序数逻辑对「逃逸不完备」只给出部分回答——完备性与不变性不可兼得；用超限迭代获得的证明在实践中不可把握。但它开启了「用更强公理/无穷方法扩展可证性」的研究路线，影响了后来的证明论与反向数学。

5. 恩尼格玛破译：Bombe 机与 Banburismus 统计法（1939—1945）——密码学 / 应用数学

问题背景：德军「恩尼格玛（Enigma）」机通过三个（后来四个）转子、反射器与插线板产生巨量密钥空间（插线板 10 对线就有约 $1.5\times10^{14}$ 种组合），每日更换密钥；战前波兰密码局（Rejewski、Zygalski、Różycki）已破译旧版指示器下的空军恩尼格玛，并于 1939 年 7 月把成果与复制机转让给英法。但 1939 年 5 月德军改用新的指示器规程，波兰「炸弹（bomba）」方法失效；海军恩尼格玛更有额外转子与更严格规程，最难攻克。

关键思想：图灵的 Bombe 不依赖波兰方法所用的旧指示器，而是基于明文猜测（crib）：猜测密文中某段对应已知明文，推导出「字母环」（loop/menu）约束。一台 Bombe 包含 36 组（每台 12×3 转子的）恩尼格玛模拟电路，并联同时尝试所有转子位置与接线，利用矛盾（logical contradiction）快速排除不可能的插线板设置，只留下少数候选供人工验证。韦尔奇曼贡献的对角板（diagonal board）利用恩尼格玛的对称性（互为反射），在一次测试中同时消除所有与此矛盾的插线板设置，大幅减少步数。

精确机制：对一条 crib（如猜密文片段对应 "WETTERVORHERSAGE" 气象报告），可建立明文—密文字母配对的图，其中含闭合环路（如 $A\to B\to C\to A$）。图灵证明：若存在一个转子起始位置与插线板设置同时满足环上所有配对，则这些配对间有强一致性；Bombe 电气模拟该约束，当某组设置不引发矛盾时停下（「drop」），输出候选日密钥。1940 年 3 月首台「Victory」运行；加上对角板的第二台「Agnus Dei」8 月启用。到战争结束时共有约 211 台 Bombe 在运转（The National Museum of Computing）。

海军恩尼格玛与 Banburismus：海军密钥每天更换，且 crib 稀少。图灵发明Banburismus（因早期用班伯里市出产的宽纸带打洞比较而得名）：利用两个密文消息在相同明文位置出现相同字母的概率高于随机，比较截获消息的「称重（weighting）」，用贝叶斯式序贯分析推断转子次序与当日核心设定，从而在没有 Bombe 运行之前减少需测试的设置数。这套统计思想（含「ban」「deciban」信息量单位，由图灵与 Good 提出）事实上是序贯分析与贝叶斯证据权重的早期系统应用，比亚伯拉罕·瓦尔德的序贯分析正式发表更早（但因保密晚为人知）。1941 年 5 月俘获 U-110 潜艇获得密码本后，结合 Banburismus，布莱切利开始稳定阅读海军通信，对护航船队避开 U 艇狼群至关重要。

与前人关系：波兰人奠定基础（破解旧版、提供转子接线与复制品）；图灵独立发明 crib/menu 路线与 Bombe，韦尔奇曼加对角板；海军方面图灵是首席科学家。战后史学界（如 Hinsley）估计布莱切利的破译使欧战缩短约 2—4 年、挽救数百万生命——这是广为引用的估算（具体数字存疑，不同史家差异较大）。

局限性：Bombe 是机电式（继电器），速度有限；破译依赖 crib 与缴获材料，并非万能。图灵未直接参与后来更复杂的洛伦兹（Lorenz / Tunny）密码的 Colossus 破译（那是纽曼、Flowers 等人的工作），但他的思想与统计方法影响深远。

6. ACE 自动计算引擎与存储程序计算机设计（1945—1946）——计算机工程

问题背景：战争结束时，电子计算的硬件条件（真空管）已成熟，但还没有一台真正的存储程序通用电子计算机——程序要么靠插线板/开关硬连（如 ENIAC），要么存于只读介质。图灵 1936 年的通用图灵机早已在理论上说明「程序可作为数据存储」，现在他要把它工程化。

关键思想：1945 年 10—12 月，图灵在 NPL 写出《提议的电子计算器（Proposed Electronic Calculator）》报告（上司 Womersley 命名为 ACE，Automatic Computing Engine，致敬巴贝奇的差分机与分析机）。这是第一份相当完整的电子存储程序通用数字计算机工程规格（SEP: The Modern History of Computing）。其核心是把程序和数据都存放在可读写的高速存储器（拟用水银延迟线）中，机器按地址取指执行，允许修改自身程序与子程序调用——这正是通用图灵机的工程实现。

精确内容：ACE 设计包含：约 32 位字长、水银延迟线主存（图灵原计划规模在当时被同行视为「过于野心勃勃」）、硬件乘法器、浮点运算、完整指令集、子程序库与子程序调用机制、以及「子程序可被其他程序当作数据操作」的思想。报告还讨论了指令表（即编程语言的雏形）与错误诊断。与同期冯·诺依曼的 EDVAC 报告（1945 年 6 月）相比，ACE 在指令系统与存储组织上更为详细具体；二者共同确立了「冯·诺依曼架构 / 存储程序」范式，但图灵的版本直接源自他自己的通用机理论。

结局：由于战时保密、跨部门协调与资源迟滞，ACE 项目进展缓慢，图灵于 1948 年离开 NPL。NPL 后来建成了缩小型 Pilot ACE（1950 年 5 月首次运行），商业化为 English Electric DEUCE；图灵去曼彻斯特参与了威廉姆斯—基尔伯恩的曼彻斯特机（Manchester Mark I / Ferranti Mark I，1949—1951），为其编写最早的程序员手册与子程序库。

与前人关系：巴贝奇有通用可编程构想但无电子实现；祖斯（Zuse）、艾肯（Aiken）的机电计算机程序外置；图灵是第一个把通用图灵机 → 存储程序电子计算机这一链条在理论与工程两端都打通的人。存储程序思想通常与冯·诺依曼并列署名（「von Neumann architecture」），但图灵的 ACE 与理论贡献是独立且同源的。

局限性：ACE 未在图灵手中完整建成；英国在计算机商业化上最终落后于美国。但图灵的设计思想——子程序库、浮点、存储程序——定义了现代计算机的基本形态。

7. 图灵测试与机器智能判据（1950）——人工智能哲学

问题背景：战后图灵把目光从「计算的极限」转向「机器能否拥有智能」。当时「机器能思考吗」被当作模糊的哲学问题，常陷入对「思考」一词的定义之争。

关键思想：图灵在 1950 年《心灵》发表的《计算机器与智能》（Computing Machinery and Intelligence）中，用一个可操作的行为测试替代无法回答的定义问题——「机器能思考吗」被替换为「机器能否在模仿游戏（Imitation Game）中表现得和人一样」。

精确表述：原版「模仿游戏」有三方：询问者 C 通过文字终端（避免视觉/声音线索）与两个对象 A、B 交流；A 是男性、B 是女性，C 要分辨谁是男谁是女，A 要误导、B 要协助。图灵问：若把 A 换成一台机器，让 C 像猜男女一样猜「哪个是机器」，询问者被误导的频率是否与人类男性当 A 时相当？若相当，就说机器通过了测试。后世简化为「人类询问者通过文字对话判断对方是人还是机器，若判断不出，机器即通过」。图灵给出著名预测：

「我相信，大约五十年后，将有可能为计算机编写程序……使它们能把模仿游戏玩得如此之好，以至于一位普通询问者在五分钟的提问后，做出正确辨认的机会不超过 70%。」

他还逐一反驳了九大反对意见（神学、「沙中头」、数学、意识、各种能力残疾、洛夫莱斯夫人异议、神经系统连续性、行为非形式化、超感知觉等），其中洛夫莱斯夫人异议（「分析机不能原创，只能执行我们让它做的」）至今仍是 AI 争论的焦点。

与前人关系：「机器能否思维」的讨论可追溯到笛卡尔、拉美特利，巴贝奇与洛夫莱斯也触及；但图灵是第一个给出可操作、可量化的行为判据并据此严肃论证机器智能可能性的人，因此该测试被命名为图灵测试（Turing Test）（名称由后世定，图灵本人称「模仿游戏」）。这篇论文是人工智能学科的奠基文献之一，与 1956 年达特茅斯会议（麦卡锡、明斯基等）共同开启了 AI 领域。

局限性 / 争议：①图灵测试只检验外部行为，不涉及内部意识/感受质，因此被塞尔（Searle）的「中文房间」论证（1980）批评为「只模拟理解而非真理解」；②测试被指人类中心主义与肤浅（易被欺骗的「聊天机器人」可在短对话中蒙混，ELIZA 等早期程序已部分「通过」）；③图灵的时间表预测偏乐观：直到今日，在严格不限主题的五分钟图灵测试中，普通询问者的正确率仍高于他预测的 70%，但专用聊天程序、大语言模型已在各种非正式场合频繁「通过」。

8. 形态发生的化学基础：反应扩散与图灵斑图（1952）——数学生物学

问题背景：生物发育中，一个近乎均匀的受精卵/组织如何自发产生空间结构——斑马条纹、脊椎动物体节、肢体上的指趾？图灵把目光投向生物学，问：能否用纯粹的物理—化学过程解释这种自发图案形成（pattern formation）？

关键思想：1952 年《形态发生的化学基础》（The Chemical Basis of Morphogenesis, Phil. Trans. Roy. Soc. Lond. B 237: 37–72）提出：两种（或更多）化学物质——他称之为形态发生素（morphogens）——既相互反应又在空间中扩散。反直觉的是，扩散本是使浓度均匀化的力量，但当两种形态发生素扩散速率差异足够大时，扩散反而能使原本稳定的均匀态失稳，自发长出固定波长的空间花纹。这一现象现称扩散驱动失稳（diffusion-driven instability），又称图灵失稳（Turing instability），产生的花纹称图灵斑图（Turing patterns）。

精确表述（现代连续形式，系对图灵原始离散模型的标准整理）：两形态发生素浓度 $u(x,t), v(x,t)$ 满足反应扩散方程： $$ \frac{\partial u}{\partial t}=D_u\nabla^2 u+f(u,v),\qquad \frac{\partial v}{\partial t}=D_v\nabla^2 v+g(u,v), $$ 其中 $D_u, D_v>0$ 为扩散系数，$f,g$ 为反应动力学。设 $(u_0,v_0)$ 为均匀稳态（$f=g=0$），其雅可比矩阵 $J=\bigl(\begin{smallmatrix}a&b\ c&d\end{smallmatrix}\bigr)$。无扩散时均匀态线性稳定要求 $\operatorname{tr}J=a+d<0$ 且 $\det J=ad-bc>0$。

引入空间傅里叶模 $e^{ik\cdot x}$，波数 $k$ 对应的增长矩阵为 $M(k)=J-k^2\operatorname{diag}(D_u,D_v)$，其迹与行列式： $$ T(k)=(a+d)-k^2(D_u+D_v),\qquad \Delta(k)=(ad-bc)-k^2(aD_v+dD_u)+k^4D_uD_v. $$ 由于 $a+d<0$，$T(k)$ 恒负，失稳只能来自 $\Delta(k)<0$。要使某 $k>0$ 处 $\Delta(k)<0$，需线性项系数 $aD_v+dD_u>0$ 且足够大。因 $a+d<0$ 而 $aD_v+dD_u>0$，必须 $a,d$ 异号且扩散比 $D_v/D_u$ 充分大——典型情形是 $u$ 为「激活剂（activator）」自激活（$a>0$）、$v$ 为「抑制剂（inhibitor）」自抑制（$d<0$），且抑制剂扩散远快于激活剂（「短程激活、长程抑制」）。此时均匀态对某一波长 $2\pi/k$（由扩散与反应速率决定、与区域大小无关）的微扰指数增长，自发形成斑点、条纹、迷宫等定态斑图。

图灵原文以离散细胞环为模型，推导出六种失稳模态；上述偏微分方程形式是默里（J. D. Murray, Mathematical Biology）等后人的标准整理。该理论被广泛用于解释动物皮毛花纹、鱼鳍色素、牙齿原基排列等。

与前人关系：这是数学生物学中「自组织图案形成」的开山之作，先于普利高津的耗散结构理论（1960—70 年代）。实验上长期未观察到纯粹的图灵斑图，直到 1990 年 De Kepper 小组在 CIMA 化学反应中首次证实；生物体内的直接证据（如小鼠腭部脊、非洲鳉鱼条纹）在 21 世纪陆续积累。

局限性：①图灵原文模型高度理想化（假设局部平衡、忽略三维与生长），真实生物图案常受基因、机械力等多重机制影响，是否「纯图灵机制」常有争议；②需要扩散系数差异极大，在生物组织中是否总能满足仍在研究；③理论只预测「斑图出现的波长」，不精确预测具体几何。但它作为「从均匀中自发产生秩序」的数学原型，深刻影响了发育生物学、生态学、材料科学与非线性动力学。

9. 智能机器与联结主义先驱（1948）——人工智能 / 计算神经科学

问题背景：在 ACE 与图灵测试之间，图灵已在思考如何让机器学习而非仅执行预设程序——1948 年他为 NPL 写了一份内部报告《智能机器（Intelligent Machinery）》，被当时 NPL 主任查尔斯·达尔文爵士（Sir Charles Darwin，物理学家，进化论达尔文之孙）贬为「小学生作文（schoolboy essay）」，长期不为外界所知，1968 年才由 Evans 编辑出版。

关键思想：图灵把机器分为「有组织（organized）」与无组织（unorganized）两类。有组织机器按明确目的设计（如 ACE）；无组织机器是由大量类似神经元的简单单元随机互联而成的网络，本身没有预设功能，但可通过修改连接权重来「训练」——这正是现代联结主义（connectionism）/人工神经网络的先声。

精确表述：图灵定义了两种无组织机器： - A 型无组织机：由随机连接的二值阈值单元（类神经元）组成，单元对输入求和、超阈值则激发，是「随机神经网络」的抽象； - B 型无组织机：在 A 型的每条连接上插入一个「介入单元」，可通过训练修改连接的通断/符号。图灵给出一个具体的学习算法，可让 B 型网络被「教育」成能识别特定模式的机器。

他还讨论了机器学习（machine learning）的一般原则：与其为每个任务写死程序，不如让一台「婴孩机器（child machine）」通过奖惩式训练习得行为——这一思想预见了强化学习与监督学习。报告中还预见了「智能可分布于大量简单单元」的观念，比罗森布拉特 1957 年的感知机早近十年，被认为是联结主义的最早蓝图（Copeland & Proudfoot, On Alan Turing's Anticipation of Connectionism）。

与前人关系：麦卡洛克—皮茨 1943 年已提出形式神经元模型；图灵 1948 年独立地把随机互联 + 可训练连接发展为通用学习机器构想。由于报告未公开发表，其影响是「重新发现式」的：现代神经网络先驱（明斯基、罗森布拉特等）大多未直接受其影响，但事后被确认为思想先驱。

局限性：A/B 型机器是思想实验，图灵未用真实硬件实现；其学习算法也较原始。但它显示图灵对人工智能的理解远超其时代——不仅有「图灵测试」的行为判据，还有可训练神经网络的构造性路线。

10. 可消去半群的字问题不可解（1950）——群论 / 可计算性

问题背景：群论的字问题（word problem）：给定一个有限表现群（有限个生成元与关系），是否存在算法判定任意一个字（生成元的乘积）是否等于单位元？这是组合群论的核心判定问题。波斯特（Post）已证明半群的字问题不可解，群情形是否也不可解当时未知。

关键思想：图灵把图灵机的计算过程编码为半群/群中的字变换，试图证明群的字问题不可解。在即将做报告时他发现证明有误，于是挽救出一个较弱但仍然重要的结果：存在可消去半群（cancellative semigroup）具有不可解的字问题。

精确表述：图灵 1950 年发表于《数学年刊》（The Word Problem in Semi-Groups with Cancellation, Annals of Mathematics 52: 491–505）证明：存在有限表现的可消去半群，其字问题不可判定。可消去半群介于半群与群之间（满足左右消去律但未必有逆元），该结果是向群字问题迈进的关键一步。

与前人关系：波斯特 1947 年证明半群字问题不可解；图灵的可消去半群结果被布恩（William Boone）用于 1957 年最终证明有限表现群的字问题不可解（与苏联的诺维科夫 1955 年独立证明并列，构成组合群论的里程碑）。

局限性：图灵本人未完成群字问题的证明（发现错误后只发表了可消去半群版本）；群情形由 Boone/Novikov 完成。但这一工作展示了可计算性理论向代数学的渗透，是「判定问题」思想的又一成功应用。

四、代表著作与文献

• 《论可计算数及其在判定问题上的应用》（On Computable Numbers, with an Application to the Entscheidungsproblem，《伦敦数学会会刊》Proc. LMS (2) 42，1936 提交/1937 刊出，230–265；修订补遗 43: 544–546）：图灵机、可计算数、通用机、判定问题不可解——理论计算机科学的奠基论文。
• 《可计算性与 λ 可定义性》（Computability and λ-Definability，《符号逻辑杂志》JSL 2，1937，153–163）：证明图灵可计算与丘奇 λ 可定义等价，支撑丘奇—图灵论题。
• 《基于序数的逻辑系统》（Systems of Logic Based on Ordinals，博士论文，Proc. LMS (2) 45，1939，161–228）：序数逻辑、谕示机、相对可计算性的源头。
• 《提议的电子计算器》（Proposed Electronic Calculator，NPL 内部报告，1945 年底写出/1946 提交；载 Carpenter & Doran 编 A. M. Turing's ACE Report of 1946 and Other Papers，MIT Press，1986；及 Collected Works of A. M. Turing 第 3 卷）：ACE 方案，存储程序通用电子计算机的最早完整工程规格之一。
• 《智能机器》（Intelligent Machinery，NPL 内部报告，1948；1968 年 Evans 编首次出版；载 Collected Works 第 3 卷；NPL 提供原文 PDF）：无组织机器、B 型网络与机器学习的早期蓝图。
• 《计算机器与智能》（Computing Machinery and Intelligence，《心灵》Mind 59，1950，433–460）：图灵测试 / 模仿游戏，人工智能的哲学奠基文献。
• 《可消去半群的字问题》（The Word Problem in Semi-Groups with Cancellation，《数学年刊》Annals of Mathematics 52，1950，491–505）：可消去半群字问题不可解，通往群字问题的关键一步。
• 《形态发生的化学基础》（The Chemical Basis of Morphogenesis，《伦敦皇家学会哲学汇刊 B》Phil. Trans. Roy. Soc. Lond. B 237，1952，37–72；MIT 提供原文 PDF）：反应扩散、扩散驱动失稳与图灵斑图，数学生物学开山之作。
• 《Riemann ζ 函数的一些计算》（Some Calculations of the Riemann Zeta Function，Proc. LMS (3) 3，1953，99–117）：他对黎曼猜想的数值研究（1939 年即开始制造齿轮式 ζ 函数计算装置，被战争打断，战后用曼彻斯特机继续）；文中验证了 ζ 函数前约 1104 个零点位于临界线上（具体数字各版本记述略有出入，标存疑）。
• 《阿兰·图灵全集》（Collected Works of A. M. Turing，四卷：Mechanical Intelligence / Morphogenesis / Pure Mathematics / Mathematical Logic，North-Holland / Elsevier，1992—2001，由 R. O. Gandy、C. E. M. Yates、P. T. Saunders 等编辑）：收录其全部已发表与重要未刊手稿。

五、师承、学派与同时代交往

• 师承：
• 本科与精神导师：剑桥马克斯·纽曼（Maxwell Herman Alexander Newman, 1897—1984）——1935 年的数学基础课把图灵引向判定问题；力荐《论可计算数》发表；战后聘图灵到曼彻斯特；并为他撰写皇家学会院士传记纪念文（1955）。纽曼是图灵一生中最重要的学术引路人。
• 博士导师：普林斯顿阿隆佐·丘奇（Alonzo Church, 1903—1995）——λ 演算的创立者，与图灵几乎同时独立证明判定问题不可解；二人的工作共同确立丘奇—图灵论题。
• 间接影响：希尔伯特（提出判定问题）、哥德尔（不完备定理）、罗素（逻辑著作）、冯·诺依曼（量子力学教材，后在普林斯顿邀图灵留美）。
• 学生与合作者：
• 杰克·古德（I. J. (Jack) Good, 1916—2009）：布莱切利时期的统计助手，与图灵共同发展 ban/deciban 信息量与贝叶斯序贯分析；战后成为 AI 与概率哲学的重要学者。
• 戈登·韦尔奇曼（Gordon Welchman, 1906—1985）：Bombe 的对角板共同发明者。
• 唐纳德·米基（Donald Michie, 1923—2007）：布莱切利后辈，战后成为英国 AI 先驱（机器归纳学习），与图灵长期讨论机器学习。
• 曼彻斯特的汤姆·基尔伯恩（Tom Kilburn）与弗雷迪·威廉姆斯（F. C. Williams）：硬件合作者，图灵负责软件与数学侧。
• 同时代交往与交锋：
• 路德维希·维特根斯坦：1939 年二人都在剑桥讲授「数学基础」，图灵旁听并与维特根斯坦激烈交锋——核心是「矛盾是否会让数学失效」。图灵认为若桥梁按矛盾的数学计算建造，桥会塌；维特根斯坦反驳说数学中矛盾的危险在于「用法」而非「结构」。这段对话记录在 Cora Diamond 编《维特根斯坦 1939 年剑桥数学基础讲座》（1976），是 20 世纪逻辑与数学哲学最著名的交锋之一。
• 约翰·冯·诺依曼：1937—1938 年在普林斯顿相识，冯·诺依曼欣赏图灵并邀其留任助手；战后在计算机架构上二人各自独立推进存储程序思想（EDVAC 与 ACE）。
• 杰弗里·杰弗逊（Geoffrey Jefferson）、理查德·布雷思韦特（Richard Braithwaite）、纽曼：1952 年 BBC 广播辩论《自动计算机能思考吗？》，图灵与杰弗逊（持「人有共情、机器无」的生物学论）正面交锋，图灵测试的思想在其中进一步阐发。
• 学派归属：图灵不属传统「学派」——他横跨数理逻辑、计算机工程、密码学、数学生物学与 AI，几乎在每个领域都开宗立派但又游离于体制之外。他的直接知识谱系可视为：莱布尼茨（普遍文字/推理演算）→ 弗雷格/罗素（符号逻辑）→ 希尔伯特（判定问题）→ 哥德尔（不完备）→ 图灵（可计算性），下接冯·诺依曼、麦卡锡、明斯基的计算机与 AI 时代。

六、争议、公案与历史评价

• 死因：自杀还是意外（学界有争议）：1954 年 6 月 7 日图灵死于氰化物中毒，床边半个咬过的苹果（苹果未被检测是否含氰化物），验尸陪审团裁定自杀。但疑点在于：他当时正在家中做镀金实验，长期接触氰化物；死前几天情绪/行为并无明显异常，还在安排后续研究；其母埃塞尔终生坚信是实验意外。史家杰克·科普兰（B. Jack Copeland）系统论证意外可能性不应排除；也有人（如 Andrew Hodges 主流传记）支持自杀结论，认为化学去势带来的屈辱与丧失保密工作资格造成了长期抑郁。本档案标注存疑：验尸裁定为自杀但证据并非铁证，自杀/意外之争至今未决。极少数论者甚至提出「暗杀说」（因图灵掌握英美最高密码机密、且其安全状态敏感），但缺乏可信证据，属边缘说法。
• 苹果公司商标与图灵的误传：流行说法称苹果公司的「咬了一口的苹果」商标是为纪念图灵（含彩虹配色呼应其多彩一生）。苹果公司一贯否认，史蒂夫·乔布斯曾被问及此事时答「但愿如此（We wish it were true）」。商标设计师 Rob Janoff 表示咬一口只是为了让图形看起来像苹果而非樱桃。属常见误传。
• 「缩短战争 2—4 年、挽救 1400 万（或数百万）生命」的估算：这是对布莱切利破译贡献的广泛引用数字（来源如官方史学家 Hinsley 的估计），但本质是粗略估算，具体数字存疑；图灵个人贡献更无法精确量化。可作定性陈述（对大西洋反潜战、诺曼底登陆等起关键作用），不宜当作精确事实。
• 存储程序架构的优先权：「冯·诺依曼架构」常被归功于冯·诺依曼 1945 年 EDVAC 报告；但图灵的 ACE 报告（1945 年底）是独立、同样完整的存储程序通用机设计，且其理论源头可追溯到 1936 年的通用图灵机。学界通常认为存储程序思想有多位独立提出者（图灵、冯·诺依曼、Eckert–Mauchly、Zuse 等），图灵的贡献长期因保密而被低估，现已被充分承认（SEP: The Modern History of Computing）。
• 化学去势的伦理公案：1952 年图灵依 1885 年《刑法修正案》第 11 条「严重猥亵」被定罪，选择雌激素注射（diethylstilbestrol）一年缓刑以替代监禁。该「治疗」导致乳房发育、阳痿与情绪紊乱，并使他丧失 GCHQ 的安全许可。这一由国家施加的、以医学之名行惩罚之实的处置，是 20 世纪科学界最著名的伦理丑闻之一，也是后来英国政府道歉与赦免的直接对象。
• 长期被低估的国家亏欠：图灵的战时贡献受《官方保密法》约束，数十年内公众与学术界几乎不知其规模；他的讣闻与皇家学会纪念文（纽曼 1955）只能极为克制地提及密码工作。直到 1970 年代档案逐步解密、霍奇斯 1983 年传记出版，其全貌才广为人知。
• 历史评价的反转：1952 年他是被国家定罪的「罪犯」；21 世纪他成为英国国宝——50 英镑纸币肖像、皇家赦免、「图灵法」追溯同类定罪、多处雕像与纪念物。这种「从罪人到民族英雄」的反转，是 20 世纪科学史与社会史交织的最醒目案例之一。

七、身后影响与学术谱系

• 理论计算机科学：图灵机是可计算性理论、复杂性理论、算法理论的标准基础模型；「可计算」「不可计算」「图灵归约」「图灵度」「图灵跳跃」等概念全部以他命名；ACM 图灵奖（1966 年设立）是计算机科学的最高荣誉，以他命名。
• 计算机工程：通用机 + 存储程序思想直接塑造了现代数字计算机的架构；ACE 影响了 Pilot ACE / DEUCE，曼彻斯特工作影响了 Ferranti Mark I。
• 人工智能：图灵测试定义了 AI 的行为判据，持续塑造 AI 哲学争论（塞尔中文房间、大语言模型的「通过测试」等都是对它的回应）；1948 年《智能机器》的无组织机器与可训练网络被追认为联结主义/神经网络的最早蓝图。
• 数学生物学：反应扩散方程与图灵失稳是发育生物学、生态学、非线性动力学「自组织图案形成」的标准框架，至今每年仍有大量论文在该框架下研究生物花纹、组织形态、材料自组装。
• 密码学与统计：Banburismus 中的贝叶斯证据权重、ban/deciban 信息量与序贯分析，是现代信号检测、贝叶斯推断、序贯分析的（因保密而滞后的）先驱。
• 社会与文化：图灵的生平成为科学伦理、LGBTQ 权利与国家责任的标志性叙事；催生了 2009 年政府道歉、2013 年皇家赦免与 2017 年「图灵法」（追溯赦免约 6.5 万名依同类法律定罪的男性，其中约 1.5 万人仍在世）。2021 年 6 月 23 日起印有图灵肖像与公式、引言的新版 50 英镑纸币流通；曼彻斯特、布莱切利、剑桥等地立有雕像。
• 学术谱系（简）：希尔伯特（提出判定问题）→ 图灵（可计算性、图灵机、ACE、AI、形态发生）→ 纽曼（曼彻斯特计算机）/ 丘奇（λ 演算与递归论学派，学生有 Kleene、Rosser）→ 后世：可计算性理论（Davis、Kleene、Post、Soare）、AI（麦卡锡、明斯基、纽厄尔—西蒙）、联结主义（Rumelhart–McClelland）、数学生物学（Murray、Maini 等）。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Alan Turing：圣安德鲁斯大学权威数学史传记，本档案生平基本事实的主要来源。
• Stanford Encyclopedia of Philosophy: Alan Turing：SEP 条目，覆盖图灵机、不可计算性、机器智能与身后争议。
• SEP: The Modern History of Computing：SEP 条目，详述 ACE 报告在存储程序计算机史中的地位。
• King's College Cambridge: Alan Mathison Turing (1912–54)：图灵母校国王学院官方页面，含出生地（Warrington Lodge）等细节。
• The Turing Digital Archive（剑桥国王学院）：图灵手稿与论文数字化档案，含与纽曼、丘奇、维特根斯坦等的通信。
• Andrew Hodges: Alan Turing: The Enigma 官网（turing.org.uk）：权威传记作者的配套网站，含「The Military Use of Alan Turing」等专题考据。
• The National Museum of Computing: The Turing–Welchman Bombe：Bombe 机的技术与历史说明（首台 Victory 1940 年 3 月运行，至战争结束共 211 台）。
• The Turing Bombe 重建项目（bombe.org.uk）：Bletchley Park Trust 支持的 Bombe 重建与技术史。
• 图灵 1952 年论文原文《The Chemical Basis of Morphogenesis》（MIT）：形态发生反应扩散论文 PDF（Phil. Trans. Roy. Soc. Lond. B 237, 37–72）。
• 图灵 1948 年报告原文《Intelligent Machinery》（NPL）：无组织机器与机器学习先驱文献的官方原文。
• B. Jack Copeland & Diane Proudfoot: On Alan Turing's Anticipation of Connectionism（alanturing.net PDF）：论证图灵 1948 年先于联结主义的权威论文。
• Max Newman: Alan Mathison Turing, 1912–1954（Royal Society, 1955）：英国皇家学会院士传记纪念文，由纽曼撰写，最早的学术讣闻。
• Wikipedia: Alan Turing：综合英文百科，用于交叉核对日期与生平细节（不作为唯一来源）。
• Wikipedia: Turing machine / Turing test / Turing completeness：相关概念条目，交叉核对。
• 书籍（无 URL，权威传记与文集）：Andrew Hodges, Alan Turing: The Enigma（Burnett Books, 1983；中译《阿兰·图灵传：如谜的解谜者》）；B. Jack Copeland 编, The Essential Turing（Oxford, 2004）与 Alan Turing's Automatic Computing Engine（Oxford, 2005）；Collected Works of A. M. Turing 四卷（North-Holland, 1992—2001）；Sara Turing (母), Alan M. Turing（W. Heffer, 1959）。