Alonzo Church Jr.

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Princeton_University
gptkbp:awardReceived	gptkb:National_Medal_of_Science
gptkbp:birthDate	1903-06-14
gptkbp:birthPlace	gptkb:Washington,_D.C.
gptkbp:deathDate	1995-08-11
gptkbp:deathPlace	gptkb:Hudson,_New_York
gptkbp:doctoralAdvisor	gptkb:Oswald_Veblen
gptkbp:fieldOfWork	gptkb:logic computability theory
https://www.w3.org/2000/01/rdf-schema#label	Alonzo Church Jr.
gptkbp:knownFor	gptkb:Church's_theorem gptkb:Church–Rosser_theorem gptkb:Church–Turing_thesis gptkb:lambda_calculus
gptkbp:nationality	gptkb:American
gptkbp:occupation	gptkb:logic gptkb:mathematician
gptkbp:workInstitution	gptkb:Princeton_University gptkb:University_of_California,_Los_Angeles
gptkbp:bfsParent	gptkb:Alonzo_Church
gptkbp:bfsLayer	4