丘奇，A．

【生卒】：1903～

【介绍】：

美国数学家、逻辑学家。早年就读于普林斯顿大学，1927年获哲学博士学位，同年起在哈佛大学从事数学研究，1929年起先后在普林斯顿大学、洛杉矶加利福利亚大学教授数学和哲学。自1936年《符号逻辑杂志》创刊至1979年任主编之一，并为美国艺术和科学学院院士、国际科学哲学研究院院士。主要论著有：《初等数论的一个不可解问题》(1936)、《λ－转换演算》(1941)、《判定问题的特殊类型》(1951)、《数理逻辑导论》(1956)和《逻辑与数学》(1960)等。丘奇对数理逻辑，特别是递归论的形成与发展作出了重大的贡献。30年代他提出的λ－演算在递归论的早期发展中起着主导作用。他用在λ－演算中可表示的函数即λ－可定义函数最先给出了可计算函数的表示性定义，并且证明了λ－可定义性和一般递归的等价性。两种概念的同一性为他后来提出一个著名的论题(现在被称为丘奇论题)提供了一个依据。他还与S．C．克利尼一道通过λ－演算最先给出了递归序数的定义。1936年，他应用直接的方法证明了皮亚诺算术以及它的某些片断是不可判定的定理(即丘奇定理)，同年应用归约法，即通过把一阶谓词逻辑的判定问题归约为皮亚诺算术的某个片断的判定问题证明了一阶谓词逻辑是不可判定的定理，从而给出了D·希尔伯特关于谓词逻辑的判定问题的第一个否定结果。此外他在类型论、弱蕴涵的逻辑系统、意义和指称的逻辑理论方面也有所建树。