Alonzo Church，美国数学家和逻辑学家（1995 年逝世）

Alonzo Church（1903 年 6 月 14 日 - 1995 年 8 月 11 日）是一位美国数学家和逻辑学家，他对数理逻辑和理论计算机科学的基础做出了重大贡献。他以 lambda 演算、Church-Turing 论文、证明 Entscheidungsproblem、Frege-Church 本体论和 Church-Rosser 定理的不可解性而闻名。他还研究语言哲学（参见 Church 1970）。与艾伦·图灵一起，丘奇被认为是计算机科学的创始人之一。