Alan Turing

概述

英国数学家、逻辑学家、密码分析家，被誉为理论计算机科学和人工智能之父。他在1936年的开创性论文中提出了图灵机概念，奠定了计算理论的基础。

关键内容

1. 理论贡献：
2. 1936年发表《论可计算数及其在判定问题上的应用》，提出图灵机概念
3. 定义了"可计算性"的严格数学定义，解决了希尔伯特的判定问题（否定回答）

4. 证明了停机问题的不可判定性，展示了计算的根本局限性

5. 革命性概念：

6. 图灵机：一个简单但足以表达所有机械计算过程的抽象机器
7. 通用图灵机：能模拟任何其他图灵机行为的特殊机器，预示了可编程计算机的概念

8. 这些概念比第一台电子计算机的出现早了整整十年

9. 历史意义：

10. 图灵的工作与丘奇的λ演算共同确立了Church-Turing论题
11. 为整个计算机科学奠定了理论基础
12. 影响了冯·诺依曼存储程序计算机架构的设计

来源

• On_Computable_Numbers — 1936年原始论文
• [[]] —

相关

• 图灵机 — invented
• 通用图灵机 — invented
• 停机问题 — proved_unsolvable
• 判定问题 — solved_negatively
• Church-Turing论题 — contributed_to
• Alonzo_Church — contemporary_and_similar_work
• David_Hilbert — addressed_problem_by