丘奇先生，全名为Alonzo Church，是美国计算机科学领域的奠基人之一。他是图灵机和lambda演算的先驱者，以及研究递归函数和可计算性理论的重要人物。他对于现代计算机科学领域的发展做出了巨大的贡献。
丘奇先生与逻辑学家Turing在20世纪30年代同时独立地推出了计算模型——图灵机和lambda演算。图灵机是定义在无限长纸带（纸带上的每一个格子上符号是0或1）上的一种抽象计算模型，它提出的问题是“哪些问题是可以被计算机算法解决的？”——这是理论计算机科学的基础之一。lambda演算则是一种基于函数抽象的形式化系统，作为现代程序设计语言的基础，对函数式编程语言的发展也有较为重要的影响。
丘奇先生的贡献不仅仅局限于上述领域，他也在递归函数和可计算性理论方面做出了很多重要贡献。递归函数可以看作是一种对于自身的运算的描述，它是现代编程语言中“自调用”的基础。可计算性理论则是计算机科学的另一重要方面，它研究的是哪些问题可以通过某种算法得到解决，而哪些问题是无法通过算法解决的。在这一领域，丘奇先生也取得了很多的成果。
