Albert F. Church

URI: https://gptkb.org/entity/Albert_F._Church

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Princeton_University
gptkbp:birthYear	1903
gptkbp:deathYear	1995
gptkbp:doctoralAdvisor	gptkb:Oswald_Veblen
gptkbp:doctoralStudent	gptkb:Hartley_Rogers_Jr. gptkb:Leon_Henkin gptkb:Stephen_Kleene
gptkbp:field	gptkb:logic computability theory
https://www.w3.org/2000/01/rdf-schema#label	Albert F. Church
gptkbp:knownFor	gptkb:Church–Rosser_theorem gptkb:Church–Turing_thesis gptkb:lambda_calculus gptkb:Church_encoding
gptkbp:nationality	gptkb:American
gptkbp:occupation	gptkb:logic gptkb:mathematician
gptkbp:workInstitution	gptkb:Princeton_University gptkb:University_of_California,_Los_Angeles
gptkbp:bfsParent	gptkb:Mrs._Albert_F._Church
gptkbp:bfsLayer	6