丘奇

概述

阿隆佐·丘奇（Alonzo Church，1903-1995）是美国数学家和逻辑学家，计算理论的奠基人之一，提出了λ演算并独立于图灵解决了判定问题。

关键内容

1. 生平简介：
2. 生于1903年，逝于1995年
3. 普林斯顿大学教授

4. 指导过图灵等众多著名学生

5. 主要贡献：

6. λ演算：1930年代发明的函数抽象与应用的形式系统，是函数式编程语言的理论基础
7. 判定问题的解决：1936年率先使用λ演算证明了判定问题的否定回答

8. 丘奇论题：提出了可计算性概念的形式化

9. 与图灵工作的关系：

10. 在1936年春天，丘奇率先发表论文使用λ演算证明判定问题无解
11. 图灵几乎同时独立地用图灵机模型得到了相同结论

12. 两人工作互补：图灵的模型更直观，丘奇的系统更抽象

13. 学术影响：

14. λ演算对后来的计算机科学影响深远，特别是函数式编程语言
15. 丘奇-图灵论题确立了可计算性的标准定义
16. 培养了大批计算理论领域的杰出人才

来源

• 01-turing-on-computable-numbers — 提及丘奇的工作
• 论可计算数及其在判定问题上的应用 — 丘奇与图灵工作的对比

相关

• λ演算 — 创立
• 判定问题 — 独立解决者
• 阿兰·麦席森·图灵 — 同期研究者
• Church-Turing论题 — 联合贡献
• λ 演算 — 理论成果