Alonzo Church

Details

Instance of

human

Born

14 June 1903

Died

11 August 1995

Place of birth

Washington, D.C.

Place of death

Hudson

Sex or gender

male

Given name

Alonzo

Family name

Church

Field of work

mathematical logic, theoretical computer science, mathematics, logic

Occupation

mathematician, philosopher, university teacher, computer scientist, logician

Citizenship

United States

Native language

English

Religion

Presbyterianism

academic degree

Doctor of Philosophy

academic thesis

Alternatives to Zermelo's Assumption

archives at

Princeton University Library, ETH Zurich University Archives

doctoral advisor

Oswald Veblen

doctoral student

C. Anthony Anderson, Peter B. Andrews, George Alfred Barnard, Martin Davis, Leon Henkin, John George Kemeny, Stephen Cole Kleene, Michael O. Rabin, Hartley Rogers, Jr., J. Barkley Rosser, Nathan Salmon, Dana Scott

educated at

Harvard University, Princeton University, University of Göttingen, University of Amsterdam

employer

Princeton University, University of California, Los Angeles

languages spoken, written or signed

English

member of

American Academy of Arts and Sciences, American Association for the Advancement of Science, National Academy of Sciences

name in native language

Alonzo Church

notable work

Church–Turing thesis, Church–Turing–Deutsch principle, Frege–Church ontology, Church–Rosser theorem, Church–Turing theorem, lambda calculus

place of burial

Princeton Cemetery

relative

Alonzo Church

topic has template

Template:Alonzo Church

writing language

English

Connected on Wikidata

Authority files