科学家 › 数学、计算机科学

阿隆佐·邱奇1903—1995

Alonzo Church

美国数学家(1903—1995)

阿隆佐·邱奇 是美国数学家,1936年发表可计算函数的第一份精确定义,对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年,曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。

摘自维基百科「阿隆佐·邱奇」,CC BY-SA 4.0

出生
1903 年,华盛顿哥伦比亚特区
逝世
1995 年
国籍
美国
学科
数学、计算机科学、博物与综合
职业
数学家、哲学家、大学教师、计算机科学家
研究领域
数理逻辑、理论计算机科学、数学、逻辑学
主要成就
邱奇-图灵论题、邱奇-图灵-多伊奇原理、λ演算
母校
哈佛大学、普林斯顿大学、哥廷根大学、阿姆斯特丹大学
工作单位
普林斯顿大学、加州大学洛杉矶分校
导师
奥斯瓦尔德·维布伦
学生
C·安东尼·安德森、Peter B. Andrews、乔治·阿尔弗雷德·巴纳德、马丁·戴维斯、莱昂·亨金、约翰·克米尼、斯蒂芬·科尔·克莱尼、迈克尔·拉宾、Hartley Rogers, Jr.、J. Barkley Rosser、内森·萨蒙、达纳·斯科特
学会 / 院士
美国文理科学院、美国科学进步协会、美国国家科学院

以他 / 她命名

同一学科的科学家

更多 ›