阿朗佐·丘奇 原名 / 西文Alonzo Church 时代1903—1995 国籍 / 地区美国 所属20世纪上半叶 数理逻辑计算机科学 核心成果发明 λ 演算，给出「可计算性」的另一种等价刻画，是函数式编程语言的理论基础。 证明一阶逻辑的判定问题不可解（丘奇定理），与图灵结果等价。 与图灵共同提出「丘奇—图灵论题」：所有可计算函数都可由图灵机/λ 演算计算。 培养了克林、罗瑟、图灵等，是美国逻辑学派的领袖。 代表著作 / 文献《初等数论的一个不可解问题》 相关人物 / 主题图灵、哥德尔、克林