GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Alonzo Church
URI:
https://gptkb.org/entity/Alonzo_Church
GPTKB entity
AI-created image
× Close
Statements (41)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:Princeton_University
gptkbp:award
gptkb:Leroy_P._Steele_Prize
gptkb:National_Medal_of_Science
gptkbp:birthDate
1903-06-14
gptkbp:birthPlace
gptkb:Washington,_D.C.
gptkbp:children
gptkb:Alonzo_Church_Jr.
gptkb:Douglas_Church
gptkb:Mildred_Church
gptkbp:deathDate
1995-08-11
gptkbp:deathPlace
gptkb:Hudson,_New_York
gptkbp:doctoralAdvisor
gptkb:Oswald_Veblen
gptkbp:doctoralStudent
gptkb:Alan_Turing
gptkb:Barkley_Rosser
gptkb:Dana_Scott
gptkb:Hartley_Rogers_Jr.
gptkb:Martin_Davis
gptkb:Michael_Rabin
gptkb:Raymond_Smullyan
gptkb:Stephen_Kleene
gptkbp:editor
gptkb:Journal_of_Symbolic_Logic
gptkbp:field
gptkb:logic
computability theory
theoretical computer science
https://www.w3.org/2000/01/rdf-schema#label
Alonzo Church
gptkbp:knownFor
gptkb:Church's_theorem
gptkb:Church–Rosser_theorem
gptkb:Church–Turing_thesis
gptkb:lambda_calculus
gptkbp:memberOf
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:National_Academy_of_Sciences
gptkbp:nationality
gptkb:American
gptkbp:occupation
gptkb:logic
gptkb:mathematician
gptkb:philosopher
gptkbp:spouse
gptkb:Mary_Julia_Kuczinski
gptkbp:workInstitution
gptkb:Princeton_University
gptkb:University_of_California,_Los_Angeles
gptkbp:bfsParent
gptkb:Alan_Turing
gptkb:David_Hilbert
gptkbp:bfsLayer
3