网站首页 词典首页
【生卒】：1903—
美国数学家、逻辑学家。
曾任普林斯顿和加里福尼亚大学数学和哲学教授。主要研究数理逻辑，曾于1936年证明古典数理逻辑的非判断性，并同时提出了所谓的丘奇论题，即建议更精确地表达“算法”和“可算性”概念。对符号逻辑文献学的研究也有一定的贡献。著有《入换算的计算》(1941)、《数理逻辑中的基本论题》(1942)、《数理逻辑导论》(1944)等。
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。