Alonzo Church

URI: https://gptkb.org/entity/Alonzo_Church

GPTKB entity

AI-created image

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