Alonzo Church

Alonzo Church (1903-1995), 美国数学家、逻辑学家、计算机科学家. 他最知名的工作基本都是关于 $\lambda$ 演算的.

1以他命名

•	Church 编码
•	Church 定理
•	Church–Rosser 定理
•	Church–Turing 论题