Boone McCoy Church

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

GPTKB entity

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	1907-06-14
gptkbp:birthPlace	gptkb:Washington,_D.C.
gptkbp:deathDate	1994-08-11
gptkbp:deathPlace	gptkb:Hudson,_Ohio
gptkbp:doctoralAdvisor	gptkb:Oswald_Veblen
gptkbp:doctoralStudent	gptkb:Alan_Turing gptkb:Hartley_Rogers_Jr. gptkb:Martin_Davis gptkb:Raymond_Smullyan gptkb:Michael_O._Rabin gptkb:John_Barkley_Rosser
gptkbp:field	gptkb:logic computer science
gptkbp:knownFor	gptkb:Church–Rosser_theorem gptkb:Church–Turing_thesis gptkb:lambda_calculus gptkb:Church_encoding
gptkbp:memberOf	gptkb:American_Academy_of_Arts_and_Sciences gptkb:National_Academy_of_Sciences
gptkbp:nationality	gptkb:American
gptkbp:occupation	gptkb:mathematician
gptkbp:spouse	gptkb:Mary_Julia_Kuczinski
gptkbp:workInstitution	gptkb:Princeton_University gptkb:University_of_California,_Los_Angeles
gptkbp:bfsParent	gptkb:Eric_Church
gptkbp:bfsLayer	7
https://www.w3.org/2000/01/rdf-schema#label	Boone McCoy Church