阿隆佐·邱奇

阿隆佐·邱奇（1903-1995）是美国数学家和逻辑学家，对数理逻辑和基础理论计算机科学他最著名的是λ演算,Church–Turing论文证明了Entscheidungsproblem、Frege–Church本体论和Church–Rosser定理.

外部链接

• 约翰·奥康纳。；Edmund F.Robertson。，“阿隆佐教堂”,MacTutor数学史档案圣安德鲁斯大学,http://www-history.mcs.st-andrews.ac.uk/传记/Church.html .