出处：按学科分类—历史、地理 湖北人民出版社《二十世纪外国社会科学家辞典》第907页（206字）
【生卒】：1903—
美国数学家、逻辑学家。曾任普林斯顿和加里福尼亚大学数学和哲学教授。主要研究数理逻辑，曾于1936年证明古典数理逻辑的非判断性，并同时提出了所谓的丘奇论题，即建议更精确地表达“算法”和“可算性”概念。对符号逻辑文献学的研究也有一定的贡献。着有《入换算的计算》(1941)、《数理逻辑中的基本论题》(1942)、《数理逻辑导论》(1944)等。