阿兰·麦席森·图灵
概述
英国数学家、逻辑学家、密码学家，被誉为计算机科学和人工智能之父，提出了图灵机概念并奠定了可计算性理论的基础。
关键内容
- 生平简介：
- 出生于1912年6月23日，逝世于1954年6月7日
- 剑桥大学国王学院研究员，24岁时发表划时代论文《论可计算数及其在判定问题上的应用》
-
二战期间在布莱切利园破解德国恩尼格玛密码机，为盟军胜利做出重大贡献
-
学术贡献：
- 图灵机概念：1936年提出图灵机模型，首次给出了"计算"的精确数学定义，奠定了计算理论的基础
- 通用图灵机：构想了能模拟任何其他图灵机的特殊机器，预言了可编程计算机的概念
- 停机问题：证明了停机问题的不可判定性，揭示了计算的根本边界
-
图灵测试：1950年提出用于判断机器是否具有智能的测试标准
-
历史意义：
- 《论可计算数》论文同时解决了Hilbert判定问题、发明了图灵机模型、构造了通用图灵机、建立了不可计算性理论
- 与Church的λ演算共同确立了Church-Turing论题，划定了计算的基本边界
- 其思想直接影响了John von Neumann的存储程序计算机架构设计
来源
- 01-turing-on-computable-numbers — 论文分析全文
- 计算理论 — 基础概念