|
gptkbp:instanceOf
|
Logician
Mathematician
|
|
gptkbp:almaMater
|
gptkb:Columbia_University
gptkb:Princeton_University
|
|
gptkbp:awards
|
gptkb:National_Medal_of_Science
Fellow_of_the_American_Mathematical_Society
Fellow_of_the_American_Academy_of_Arts_and_Sciences
|
|
gptkbp:birthDate
|
1903-06-14
|
|
gptkbp:bornIn
|
gptkb:Washington,_D.C.
|
|
gptkbp:children
|
gptkb:Alonzo_Church_Jr.
gptkb:Robert_Church
gptkb:David_Church
|
|
gptkbp:contribution
|
Contributions to logic
Influence on artificial intelligence
Development of formal languages
Influence on programming languages
Influence on theoretical computer science
Foundational work in computability theory
|
|
gptkbp:deathDate
|
1995-08-11
|
|
gptkbp:field
|
Computer Science
Mathematics
Philosophy
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Alonzo Church
|
|
gptkbp:influenced
|
gptkb:Haskell_Curry
gptkb:Peter_Landin
gptkb:Robert_Sedgewick
gptkb:David_Parnas
gptkb:David_S._Johnson
gptkb:John_Backus
gptkb:John_McCarthy
gptkb:John_von_Neumann
gptkb:Alan_Turing
gptkb:John_Hopcroft
gptkb:Robert_Tarjan
gptkb:Michael_O._Rabin
gptkb:Edsger_W._Dijkstra
gptkb:Andrew_Yao
gptkb:Gerard_Huet
gptkb:Leslie_Valiant
gptkb:Stephen_Cole_Kleene
gptkb:Peter_G._Neumark
gptkb:Robert_W._Floyd
gptkb:Richard_Karp
gptkb:Michael_Rabin
gptkb:Leslie_Lamport
Barbara Liskov
Donald Knuth
|
|
gptkbp:influencedBy
|
gptkb:David_Hilbert
|
|
gptkbp:knownFor
|
gptkb:Church-Turing_thesis
Lambda calculus
|
|
gptkbp:notableFeature
|
gptkb:John_McCarthy
gptkb:Stephen_Cole_Kleene
gptkb:Robert_W._Floyd
|
|
gptkbp:residence
|
gptkb:California
gptkb:New_Jersey
|
|
gptkbp:spouse
|
Mary_Church
|