|
gptkbp:instance_of
|
gptkb:Mathematician
gptkb:Logic
|
|
gptkbp:alma_mater
|
gptkb:Columbia_University
gptkb:Princeton_University
|
|
gptkbp:award
|
gptkb:National_Medal_of_Science
Fellow of the American Academy of Arts and Sciences
Fellow of the American Mathematical Society
|
|
gptkbp:birth_date
|
1903-06-14
|
|
gptkbp:children
|
gptkb:3
|
|
gptkbp:contribution
|
development of formal languages
contributions to proof theory
contributions to the philosophy of mathematics
foundational work in computability theory
|
|
gptkbp:death_date
|
1995-08-11
|
|
gptkbp:field
|
gptkb:computer_science
mathematical logic
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Alonzo Church
|
|
gptkbp:influenced
|
gptkb:Haskell_Curry
gptkb:John_von_Neumann
gptkb:Alan_Turing
gptkb:Stephen_Cole_Kleene
gptkb:John_W._Mc_Carthy
|
|
gptkbp:influenced_by
|
gptkb:David_Hilbert
|
|
gptkbp:known_for
|
gptkb:Church-Turing_thesis
lambda calculus
|
|
gptkbp:notable_feature
|
gptkb:Church's_thesis
Church encoding
|
|
gptkbp:notable_students
|
gptkb:David_Parnas
gptkb:Michael_O._Rabin
gptkb:Stephen_Cole_Kleene
gptkb:Peter_G._Neumark
gptkb:Robert_W._Floyd
gptkb:Richard_Montague
gptkb:Alfred_Tarski
gptkb:John_W._Mc_Carthy
gptkb:Robert_M._Solovay
gptkb:William_F._Osgood
|
|
gptkbp:spouse
|
Mary Church
|
|
gptkbp:work_location
|
gptkb:Columbia_University
gptkb:Princeton_University
gptkb:University_of_California,_Los_Angeles
|
|
gptkbp:bfsParent
|
gptkb:Turing_Award_winners
|
|
gptkbp:bfsLayer
|
4
|