阿兰·图灵
概述
英国数学家、计算机科学家，被誉为"计算机科学之父"和"人工智能之父"。在数值分析领域，图灵1948年发表《矩阵过程中的舍入误差》，展示了他兼具理论深度和实际关怀的独特风格。当时在英国国家物理实验室参与ACE计算机设计，对实际计算问题的亲身经历使他意识到理解浮点运算中舍入误差行为的重要性。
关键内容
数值分析贡献（1948）
- 核心论文：《Rounding-Off Errors in Matrix Processes》，Quarterly Journal of Mechanics and Applied Mathematics，创刊第一期（1948年，可作为重视程度的象征）
- 条件数引入：首次系统提出 $N(A) = |A|\cdot|A^{-1}|$，命名"病态/良态"（ill/well-conditioned），否定了 Hotelling（1943）误差指数增长的悲观预测
- 核心洞察：区分固有敏感性（由问题/矩阵的条件数决定）与算法敏感性（由具体实现决定）——这是现代数值分析最基础的概念框架
- 后向误差萌芽：隐含了后向误差分析的思想（计算结果是某个"邻近问题"的精确解），Wilkinson 后来将其系统化为完整方法论
- 主元选取理论基础：为高斯消元法的列主元（partial pivoting）策略提供了严格理论依据，证明使用主元后误差约为 $\kappa(A) \cdot 2^{-t}$，不随规模指数增长
- 工作机构：英国国家物理实验室（NPL），参与 ACE 计算机设计，与威尔金森共事
可计算性理论贡献（1936）
1936年论文《On Computable Numbers, with an Application to the Entscheidungsproblem》，24岁时完成：
- 图灵机：定义了第一个精确的"计算"数学模型，从人类计算员行为分析推导而来——有限符号、有限状态、每步一格。
- 通用图灵机：证明存在一台能模拟任意图灵机的机器，预言了可编程计算机的出现（比 ENIAC 早 10 年，比 von Neumann 架构早 9 年）。
- 停机问题：通过对角化论证证明不存在能判定任意程序是否停机的算法，开创了不可判定性理论，否定回答了 Hilbert 的判定问题。
- Church-Turing 论题：证明了图灵机与 Church 的 λ 演算等价，共同确立了"可计算性"的客观定义。
其他领域
- 二战密码学：布莱切利园，破解德国恩尼格玛密码机，对盟军胜利有不可估量的贡献
- 人工智能：图灵测试（1950），"机器能思考吗？"
- 个人命运：1952年因同性恋被起诉，遭化学阉割；1954年去世（疑为自杀），英年42岁。2013年英国皇室正式赦免，2021年头像出现在英国50英镑纸币上
来源
- raw/books/数值分析/14_turing_rounding_errors.md
- raw/books/计算机科学/01-turing-on-computable-numbers.md