(1903-06-14~1995-08-11)
美国数学家、逻辑学家。
生于华盛顿,后来移居弗吉尼亚,卒于俄亥俄州的哈德森。1927年获普林斯顿大学数学博士学位。毕业之后在芝加哥大学短暂任教。后获得两年期的国家研究基金资助,于1927~1928年在哈佛大学、德国格丁根大学、荷兰阿姆斯特丹大学从事研究。1929~1967年在普林斯顿大学教哲学与数学。1967~1990年在洛杉矶加州大学教哲学与数学。丘奇分别于1969年、1985年、1990年获美国凯斯西储大学、普林斯顿大学、纽约州立大学布法罗分校科学荣誉博士学位。丘奇是国际著名的逻辑学刊物《符号逻辑杂志》的创始主编,并长期担任该杂志评论部分的编辑,直到1979年。主要著述有:《符号逻辑文献,1666—1935》(1936)、《λ-换位演算》(1944)、《数理逻辑导论》(1957)等。
丘奇对数理逻辑以及理论计算科学的创立做出了主要贡献。他在逻辑和数学研究方面的主要贡献有两个方面:①关于判定性问题。丘奇证明了后来以他的名字命名的“丘奇定理”,即不存在一个能行可判定程序,去确定在一阶数学理论当中任意命题的真值。他进而证明了皮亚诺算术是不可判定的。②发明了“λ-演算”。λ-演算出现在丘奇1936年的一篇论文当中,该文表明了可判定性问题是不可解的。该结果大大推进了A.M.图灵关于停机问题的研究,而停机问题证明了无法通过机械手段予以解决。丘奇和图灵表明,λ-演算和图灵在停机问题中所使用的图灵机在能力上是等价的,随后又证明了各种不同的“机械的计算过程”的存在,这个结果就是所谓的“丘奇-图灵论点”。λ-演算深刻地影响了LISP程序语言和函数程序语言的设计,“丘奇编码”就是以他的名字命名的。
在哲学方面,丘奇详尽阐述了一种包含逻辑主义的方法论,他支持实在论并对其进行了辩护,对唯名论进行了批判,提出了有关意义理论的一系列结论,还详细建构了一种弗雷格型与罗素型的内涵逻辑。