Melville Church

URI: https://gptkb.org/entity/Melville_Church
GPTKB entity
Statements (28)
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
https://www.w3.org/2000/01/rdf-schema#label Melville 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