Alonzo Church

概述

美国数学家、逻辑学家，λ演算的发明者，可计算性理论的先驱之一。与图灵几乎同时独立地解决了希尔伯特的判定问题，为Church-Turing论题奠定了基础。

关键内容

1. 理论贡献：
2. 发明了λ演算，一种用于表达计算的抽象数学系统
3. 在1936年率先使用λ演算给出了希尔伯特判定问题的否定回答

4. 为可计算性理论的发展做出了基础性贡献

5. λ演算：

6. 一种基于函数抽象和应用的形式系统
7. 与图灵机在计算能力上等价，但表现形式不同

8. 对函数式编程语言和计算机科学理论产生了深远影响

9. 与图灵工作的关系：

10. 丘奇和图灵在相似时间独立解决了同一问题
11. 丘奇的工作更为抽象，使用数学形式系统
12. 图灵的工作更直观，基于对人类计算行为的分析
13. 两者的等价性构成了Church-Turing论题的经验基础

来源

• On_Computable_Numbers — 作为丘奇工作的对比提及
• [[]] —

相关

• λ演算 — invented
• Church-Turing论题 — contributed_to
• 判定问题 — solved_negatively
• Alan_Turing — contemporary_and_similar_work
• 可计算性理论 — pioneered