人物简介
阿隆佐·邱奇(Alonzo Church),美国数学家,λ演算发明人。研究方向:可计算性理论。主要成就:λ演算、邱奇-图灵论题。荣誉:美国国家科学院院士。其研究成果在学术界和产业界产生了重要影响。
主要成就
λ演算;邱奇-图灵论题
详细介绍
阿隆佐·邱奇(Alonzo Church),美国数学家,λ演算发明人。研究方向:可计算性理论。主要成就:λ演算、邱奇-图灵论题。荣誉:美国国家科学院院士。其研究成果在学术界和产业界产生了重要影响。 美国国家科学院院士。 代表成果:λ演算;邱奇-图灵论题。
基本信息
所属机构
普林斯顿大学
职务
教授
学历背景
普林斯顿大学
出生日期
1903年
国籍
美国
研究领域
可计算性理论
学科数据洞察
137+
同领域专家
67岁
领域平均年龄
22+
获奖人数
*以上数据由科技人编辑部基于公开数据库统计,旨在为研究者提供学科视角的参考信息。
致敬留言