Melville Church

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Princeton_University
gptkbp:awardReceived	gptkb:National_Medal_of_Science
gptkbp:birthDate	June 14, 1903
gptkbp:birthPlace	gptkb:Washington,_D.C.
gptkbp:deathDate	August 11, 1995
gptkbp:deathPlace	gptkb:Hudson,_Ohio
gptkbp:doctoralAdvisor	gptkb:Oswald_Veblen
gptkbp:doctoralStudent	gptkb:Alan_Turing gptkb:Barkley_Rosser gptkb:Hartley_Rogers_Jr. gptkb:Leon_Henkin gptkb:Stephen_Kleene
gptkbp:fieldOfWork	gptkb:logic computability theory
gptkbp:fullName	gptkb:Alonzo_Church
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:Elkridge
gptkbp:bfsLayer	6
https://www.w3.org/2000/01/rdf-schema#label	Melville Church