Alonzo Church
Alonzo Church
复制标题
阿朗佐教堂
DOI：
10.1017/s1079898600007575
复制
发表时间：
1997
影响因子：
0.6
通讯作者：
R. Shore
中科院分区：
文献类型：
--
作者：
R. Shore
1903年6月14日出生于华盛顿特区；数学逻辑学家，兰姆达微积分的创造者，他为计算机科学的研究贡献了丘奇-罗瑟定理。学历：普林斯顿大学AB，1924年；普林斯顿大学数学博士，1927年。职业经历：全国数学研究员，哈佛大学，1927年至1928年；哥廷根大学和阿姆斯特丹大学，1929年；普林斯顿大学，助理教授，教授，19291967至今；加州大学洛杉矶分校，哲学和数学教授，1967年至今。荣誉和奖项：DSC，凯斯西储大学成员，1969；国家科学院。
Born June 14, 1903, Washington, D. C.; mathematical logician, creator of the Lambda Calculus who contributed the Church-Rosser theorem to the study of computer science. Education: AB, Princeton University, 1924; PhD, mathematics, Princeton University, 1927. Professional Experience: national research fellow in mathematics, Harvard University, 1927-1928; University of Göttingen and University of Amsterdam, 1929; Princeton University, assistant professor, professor, 19291967; UCLA, professor, philosophy and mathematics, 1967-present. Honors and Awards: DSc, Case Western Reserve University member, 1969; National Academy of Science.