Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03278092n
Noun Named Entity
SYL
Alonzo Church
EN
Alonzo Church was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. Wikipedia
English:
mathematician
Relations
Sources
IS A
Homo sapiens
ACADEMIC DEGREE
EN
Doctor of Philosophy
ARCHIVES AT
EN
Princeton University Library
EN
ETH Zurich University Archives
COUNTRY OF CITIZENSHIP
ꠀꠝꠦꠞꠤꠇꠣ
DOCTORAL ADVISOR
Oswald veblen
DOCTORAL STUDENT
EN
Turing
EN
Hartley Rogers, Jr.
EN
C. Anthony Anderson
David Kaplan
Dana Scott
+20 relations
EDUCATED AT
EN
Harvard University
EN
Princeton University
EN
University of Göttingen
EN
University of Amsterdam
FAMILY NAME
EN
Church
FIELD OF WORK
EN
symbolic logic
EN
logic
EN
mathematics
EN
theoretical computer science
LANGUAGES SPOKEN, WRITTEN OR SIGNED
EN
English
MEMBER OF
EN
National Academy of Sciences
American association for the advancement of science
American Academy Of Arts And Sciences
NATIVE LANGUAGE
EN
English
NOTABLE WORK
EN
Church–Rosser theorem
EN
lambda calculus
EN
Frege–Church ontology
EN
Church–Turing thesis
EN
Church–Turing–Deutsch principle
+1 relations
OCCUPATION
EN
computer scientist
EN
mathematician
EN
philosopher
EN
professeur des universités
PLACE OF BIRTH
ꠃꠣꠡꠤꠋꠐꠘ ꠒꠤ.ꠍꠤ.
PLACE OF BURIAL
EN
Princeton Cemetery
PLACE OF DEATH
Hudson
RELIGION
EN
Presbyterianism
SEX OR GENDER
EN
male
WRITING LANGUAGE
EN
English
BabelNet
SYL
Alonzo Church

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License