Matches in DBpedia 2016-04 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 Washington,_D.C..
- Alonzo_Church deathDate "1995-08-11".
- Alonzo_Church deathPlace Hudson,_Ohio.
- 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 Gary_R._Mar.
- 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–Rosser_theorem.
- Alonzo_Church knownFor Church–Turing_thesis.
- Alonzo_Church knownFor Frege–Church_ontology.
- Alonzo_Church knownFor Lambda_calculus.
- Alonzo_Church nationality United_States.
- Alonzo_Church residence United_States.
- Alonzo_Church wikiPageExternalLink id.php?id=8011.
- Alonzo_Church wikiPageExternalLink church.pdf.
- Alonzo_Church wikiPageExternalLink fx719m49m.
- 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 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 wikiPageLength "10782".
- Alonzo_Church wikiPageOutDegree "110".
- Alonzo_Church wikiPageRevisionID "703995659".
- Alonzo_Church wikiPageWikiLink Alan_Turing.
- Alonzo_Church wikiPageWikiLink Alfred_L._Foster.
- Alonzo_Church wikiPageWikiLink C._Anthony_Anderson.
- Alonzo_Church wikiPageWikiLink Case_Western_Reserve_University.
- Alonzo_Church wikiPageWikiLink Category:1903_births.
- Alonzo_Church wikiPageWikiLink Category:1995_deaths.
- Alonzo_Church wikiPageWikiLink Category:20th-century_American_mathematicians.
- Alonzo_Church wikiPageWikiLink Category:American_Presbyterians.
- Alonzo_Church wikiPageWikiLink Category:American_logicians.
- Alonzo_Church wikiPageWikiLink Category:Burials_at_Princeton_Cemetery.
- Alonzo_Church wikiPageWikiLink Category:Computability_theorists.
- Alonzo_Church wikiPageWikiLink Category:Harvard_University_alumni.
- Alonzo_Church wikiPageWikiLink Category:People_from_Washington,_D.C..
- Alonzo_Church wikiPageWikiLink Category:Princeton_University_alumni,_1920-1929.
- Alonzo_Church wikiPageWikiLink Category:Princeton_University_faculty.
- Alonzo_Church wikiPageWikiLink Category:University_of_California,_Los_Angeles_faculty.
- Alonzo_Church wikiPageWikiLink Church_encoding.
- Alonzo_Church wikiPageWikiLink Church–Rosser_theorem.
- Alonzo_Church wikiPageWikiLink Church–Turing_thesis.
- Alonzo_Church wikiPageWikiLink Church–Turing–Deutsch_principle.
- Alonzo_Church wikiPageWikiLink Dana_Scott.
- Alonzo_Church wikiPageWikiLink David_Berlinski.
- Alonzo_Church wikiPageWikiLink David_Kaplan_(philosopher).
- Alonzo_Church wikiPageWikiLink Decision_problem.
- Alonzo_Church wikiPageWikiLink Doctor_of_Philosophy.
- Alonzo_Church wikiPageWikiLink Entscheidungsproblem.
- Alonzo_Church wikiPageWikiLink Frege–Church_ontology.
- Alonzo_Church wikiPageWikiLink Functional_programming.
- Alonzo_Church wikiPageWikiLink Gary_R._Mar.
- Alonzo_Church wikiPageWikiLink George_Alfred_Barnard.
- Alonzo_Church wikiPageWikiLink Gian-Carlo_Rota.
- Alonzo_Church wikiPageWikiLink Halting_problem.
- Alonzo_Church wikiPageWikiLink Hartley_Rogers,_Jr..
- Alonzo_Church wikiPageWikiLink Harvard_University.
- Alonzo_Church wikiPageWikiLink Herbert_Enderton.
- Alonzo_Church wikiPageWikiLink Higher-order_logic.
- Alonzo_Church wikiPageWikiLink Hudson,_Ohio.
- Alonzo_Church wikiPageWikiLink Isaac_Malitz.
- Alonzo_Church wikiPageWikiLink J._Barkley_Rosser.
- Alonzo_Church wikiPageWikiLink John_Corcoran_(logician).
- Alonzo_Church wikiPageWikiLink John_G._Kemeny.
- Alonzo_Church wikiPageWikiLink Journal_of_Symbolic_Logic.
- Alonzo_Church wikiPageWikiLink Lambda_calculus.
- Alonzo_Church wikiPageWikiLink Leon_Henkin.
- Alonzo_Church wikiPageWikiLink Lisp_(programming_language).
- Alonzo_Church wikiPageWikiLink List_of_logicians.
- Alonzo_Church wikiPageWikiLink Logic.
- Alonzo_Church wikiPageWikiLink Lorentz_transformation.
- Alonzo_Church wikiPageWikiLink Martin_Davis.
- Alonzo_Church wikiPageWikiLink Mathematical_logic.
- Alonzo_Church wikiPageWikiLink Mathematician.
- Alonzo_Church wikiPageWikiLink Mathematics.
- Alonzo_Church wikiPageWikiLink Maurice_LAbbxc3xa9.
- Alonzo_Church wikiPageWikiLink Michael_O._Rabin.
- Alonzo_Church wikiPageWikiLink National_Research_Council_(United_States).