| 丘奇 Alonzo Church1903—1995 美国数学家、逻辑学家。早年就读于普林斯顿大学。1927年获哲学博士学位。同年起在哈佛大学从事数学研究。1929年起先后在普林斯顿大学、洛杉矶加利福尼亚大学教授数学和哲学。1936年《符号逻辑杂志》(美国符号逻辑协会主办)创刊时为主编之一，直至1979年。并为美国艺术和科学学院院士、国际科学哲学研究院院士。称数理逻辑为形式逻辑，它是用建立公式化的语言方法来研究对象的。1931年在普林斯顿大学讲授数理逻辑课时，提出他的逻辑演算系统，并在其中定义自然数。由此，同他的学生克林得到一类可计算的函数，即所谓“λ可定义函数”。1934年，在同哥德尔讨论了他的一般递归函数后，明确提出“丘奇论题”。1936年和克林分别发表论文，证明λ可定义函数与一般递归函数等价。同年还证明，形式化的一阶数论N是不可判定的，纯粹的狭谓词演算也是不可判定的。1940年，给出了简单类型论的一个新的表述。主要著作有《初等数论的一个不可解问题》(1936)、《λ换算积分》(1941)、《数理逻辑导论》(第1卷，1956)、《逻辑和数学》(1960)。 |