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