阿隆佐·邱奇

Alonzo Church

思想与学术科学与发明北美洲 20 世纪

生卒: 1903 年 6 月 14 日—1995 年 8 月 11 日
出生地: 华盛顿哥伦比亚特区
去世地: 哈德逊
国籍 / 所属: 美国
身份: 计算机科学家、数学家、大学教师、哲学家、逻辑学家
父亲: Samuel Robbins Church
代表作: λ演算、邱奇－图灵论题、Church–Rosser theorem、邱奇-图灵-多伊奇原理、Frege–Church ontology、Church–Turing theorem

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

摘自中文维基百科「阿隆佐·邱奇」，按 CC BY-SA 4.0 使用

同时代、同地区的人物

罗纳德·里根

1911—2004 · 帝王与政治 · 军事 · 北美洲

约翰·肯尼迪

John F. Kennedy

1917—1963 · 帝王与政治 · 军事 · 北美洲

富兰克林·德拉诺·罗斯福

Franklin Delano Roosevelt

1882—1945 · 北美洲

图：CC BY 2.0 · Leon Perskie

欧内斯特·海明威

Ernest Hemingway

1899—1961 · 文学 · 艺术与音乐 · 北美洲

1924—2024 · 帝王与政治 · 军事 · 北美洲

哈里·S·杜鲁门

Harry S. Truman

1884—1972 · 帝王与政治 · 军事 · 北美洲

乔治·赫伯特·沃克·布什

George H. W. Bush

1924—2018 · 帝王与政治 · 军事 · 北美洲

德怀特·艾森豪威尔

Dwight D. Eisenhower

1890—1969 · 帝王与政治 · 军事 · 北美洲

1913—1994 · 帝王与政治 · 军事 · 北美洲

诺姆·乔姆斯基

1928— · 思想与学术 · 科学与发明 · 北美洲

图：CC BY-SA 2.0 · Augusto Starita / Ministerio de Cultura

路易斯·阿姆斯特朗

Louis Armstrong

1901—1971 · 文学 · 艺术与音乐 · 北美洲

安迪·沃霍尔

1928—1987 · 文学 · 艺术与音乐 · 北美洲

外部链接

中文维基百科阿隆佐·邱奇 英文维基百科Alonzo Church WikidataQ92741