Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Alonzo_Church> ?p ?o. }
- Alonzo_Church abstract "Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, proving the undecidability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem.".
- Alonzo_Church almaMater Princeton_University.
- Alonzo_Church birthDate "1903-06-14".
- Alonzo_Church birthPlace United_States.
- Alonzo_Church birthPlace Washington,_D.C..
- Alonzo_Church birthYear "1903".
- Alonzo_Church deathDate "1995-08-11".
- Alonzo_Church deathPlace Hudson,_Ohio.
- Alonzo_Church deathPlace United_States.
- Alonzo_Church deathYear "1995".
- Alonzo_Church doctoralAdvisor Oswald_Veblen.
- Alonzo_Church doctoralStudent Alan_Turing.
- Alonzo_Church doctoralStudent C._Anthony_Anderson.
- Alonzo_Church doctoralStudent Dana_Scott.
- Alonzo_Church doctoralStudent David_Kaplan_(philosopher).
- Alonzo_Church doctoralStudent George_Alfred_Barnard.
- Alonzo_Church doctoralStudent Hartley_Rogers,_Jr..
- Alonzo_Church doctoralStudent J._Barkley_Rosser.
- Alonzo_Church doctoralStudent John_G._Kemeny.
- Alonzo_Church doctoralStudent Leon_Henkin.
- Alonzo_Church doctoralStudent Martin_Davis.
- Alonzo_Church doctoralStudent Michael_O._Rabin.
- Alonzo_Church doctoralStudent Peter_B._Andrews.
- Alonzo_Church doctoralStudent Raymond_Smullyan.
- Alonzo_Church doctoralStudent Stephen_Cole_Kleene.
- Alonzo_Church field Logic.
- Alonzo_Church field Mathematics.
- Alonzo_Church knownFor Church%E2%80%93Rosser_theorem.
- Alonzo_Church knownFor Church%E2%80%93Turing_thesis.
- Alonzo_Church knownFor Frege%E2%80%93Church_ontology.
- Alonzo_Church knownFor Lambda_calculus.
- Alonzo_Church nationality United_States.
- Alonzo_Church residence United_States.
- Alonzo_Church viafId "109830754".
- Alonzo_Church wikiPageExternalLink fx719m49m.
- Alonzo_Church wikiPageExternalLink id.php?id=8011.
- Alonzo_Church wikiPageExternalLink church.html.
- Alonzo_Church wikiPageExternalLink S0002-9947-1927-1501383-1.
- Alonzo_Church wikiPageExternalLink hmath2-prince.pdf.
- Alonzo_Church wikiPageExternalLink obituary-alonzo-church-1600980.html.
- Alonzo_Church wikiPageExternalLink 0104-005.ps.
- Alonzo_Church wikiPageExternalLink church.pdf.
- Alonzo_Church wikiPageExternalLink alonzo-church-92-theorist-of-the-limits-of-mathematics.html.
- Alonzo_Church wikiPageExternalLink pmc05.htm.
- Alonzo_Church wikiPageExternalLink pmcxrota.htm.
- Alonzo_Church wikiPageID "49731".
- Alonzo_Church wikiPageRevisionID "605611140".
- Alonzo_Church almaMater Princeton_University.
- Alonzo_Church birthDate "1903-06-14".
- Alonzo_Church birthPlace "Washington, D.C., USA".
- Alonzo_Church caption "Alonzo Church".
- Alonzo_Church dateOfBirth "1903-06-14".
- Alonzo_Church dateOfDeath "1995-08-11".
- Alonzo_Church deathDate "1995-08-11".
- Alonzo_Church deathPlace "Hudson, Ohio, USA".
- Alonzo_Church doctoralAdvisor Oswald_Veblen.
- Alonzo_Church doctoralStudents Alan_Turing.
- Alonzo_Church doctoralStudents C._Anthony_Anderson.
- Alonzo_Church doctoralStudents Dana_Scott.
- Alonzo_Church doctoralStudents David_Kaplan_(philosopher).
- Alonzo_Church doctoralStudents George_Alfred_Barnard.
- Alonzo_Church doctoralStudents Hartley_Rogers,_Jr..
- Alonzo_Church doctoralStudents J._Barkley_Rosser.
- Alonzo_Church doctoralStudents John_G._Kemeny.
- Alonzo_Church doctoralStudents Leon_Henkin.
- Alonzo_Church doctoralStudents Martin_Davis.
- Alonzo_Church doctoralStudents Michael_O._Rabin.
- Alonzo_Church doctoralStudents Peter_B._Andrews.
- Alonzo_Church doctoralStudents Raymond_Smullyan.
- Alonzo_Church doctoralStudents Stephen_Cole_Kleene.
- Alonzo_Church field Logic.
- Alonzo_Church field Mathematics.
- Alonzo_Church hasPhotoCollection Alonzo_Church.
- Alonzo_Church knownFor Church–Rosser_theorem.
- Alonzo_Church knownFor Church–Turing_thesis.
- Alonzo_Church knownFor Frege–Church_ontology.
- Alonzo_Church knownFor Lambda_calculus.
- Alonzo_Church name "Alonzo Church".
- Alonzo_Church name "Church, Alonzo".
- Alonzo_Church nationality "American".
- Alonzo_Church placeOfBirth United_States.
- Alonzo_Church placeOfBirth Washington,_D.C..
- Alonzo_Church placeOfDeath Hudson,_Ohio.
- Alonzo_Church placeOfDeath United_States.
- Alonzo_Church residence United_States.
- Alonzo_Church shortDescription "Mathematician".
- Alonzo_Church thesisTitle "Alternatives to Zermelo's Assumption".
- Alonzo_Church thesisUrl S0002-9947-1927-1501383-1.
- Alonzo_Church thesisYear "1927".
- Alonzo_Church wordnet_type synset-scientist-noun-1.
- Alonzo_Church workInstitution "Princeton University 1929–67".
- Alonzo_Church workInstitution "UCLA 1967–95".
- Alonzo_Church description "Mathematician".
- Alonzo_Church description "Mathematician".
- Alonzo_Church subject Category:1903_births.
- Alonzo_Church subject Category:1995_deaths.
- Alonzo_Church subject Category:20th-century_mathematicians.
- Alonzo_Church subject Category:American_Presbyterians.
- Alonzo_Church subject Category:American_logicians.
- Alonzo_Church subject Category:American_mathematicians.