Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/History_of_the_Church–Turing_thesis> ?p ?o }
- History_of_the_Church–Turing_thesis abstract "The history of the Church–Turing thesis ("thesis") involves the history of the development of the study of the nature of functions whose values are effectively calculable; or, in more modern terms, functions whose values are algorithmically computable. It is an important topic in modern mathematical theory and computer science, particularly associated with the work of Alonzo Church and Alan Turing.The debate and discovery of the meaning of "computation" and "recursion" has been long and contentious. This article provides detail of that debate and discovery from Peano's axioms in 1889 through recent discussion of the meaning of "axiom".".
- History_of_the_Church–Turing_thesis wikiPageExternalLink 188.pdf.
- History_of_the_Church–Turing_thesis wikiPageExternalLink S0002-9904-1938-06719-5.pdf.
- History_of_the_Church–Turing_thesis wikiPageExternalLink S0002-9904-1946-08555-9.pdf.
- History_of_the_Church–Turing_thesis wikiPageExternalLink tp2-ie.pdf.
- History_of_the_Church–Turing_thesis wikiPageExternalLink Church%20without%20dogma.pdf.
- History_of_the_Church–Turing_thesis wikiPageExternalLink 104_Sieg.pdf.
- History_of_the_Church–Turing_thesis wikiPageExternalLink index.html.
- History_of_the_Church–Turing_thesis wikiPageExternalLink 0203-002.ps.
- History_of_the_Church–Turing_thesis wikiPageExternalLink compute.pdf.
- History_of_the_Church–Turing_thesis wikiPageExternalLink canon00-goedel.pdf.
- History_of_the_Church–Turing_thesis wikiPageExternalLink 14-16.pdf.
- History_of_the_Church–Turing_thesis wikiPageExternalLink turing_oncomputablenumbers_1936.pdf.
- History_of_the_Church–Turing_thesis wikiPageID "13050911".
- History_of_the_Church–Turing_thesis wikiPageLength "61506".
- History_of_the_Church–Turing_thesis wikiPageOutDegree "175".
- History_of_the_Church–Turing_thesis wikiPageRevisionID "618643863".
- History_of_the_Church–Turing_thesis wikiPageWikiLink Alan_Turing.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Alexander_George_(philosopher).
- History_of_the_Church–Turing_thesis wikiPageWikiLink Algorithm.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Algorithm_characterizations.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Alonzo_Church.
- History_of_the_Church–Turing_thesis wikiPageWikiLink American_Journal_of_Mathematics.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Andrew_Hodges.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Annals_of_Mathematics.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Artificial_neural_network.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Axiom.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Bernays.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Boolean_algebra.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Boolean_logic.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Cantors_diagonal_argument.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Carolyn_Talcott.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Category:Alan_Turing.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Category:Computability_theory.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Category:History_of_computing.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Category:Theory_of_computation.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Church–Turing_thesis.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Coefficient.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Computable_function.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Consistency.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Consistent.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Continuum_problem.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Control_flow.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Conways_Game_of_Life.
- History_of_the_Church–Turing_thesis wikiPageWikiLink David_Hilbert.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Decision_model.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Diophantine_equation.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Emil_Leon_Post.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Emily_Groshoz.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Entscheidungsproblem.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Epistemological.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Epistemology.
- History_of_the_Church–Turing_thesis wikiPageWikiLink First-order_logic.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Formal_system.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Formula.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Gabriel_Sudan.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Gandy_machine.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Giuseppe_Peano.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Giuseppe_Veronese.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Gottlob_Frege.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Herbert_Breger.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Hermann_Weyl.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Hilberts_problems.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Hilberts_tenth_problem.
- History_of_the_Church–Turing_thesis wikiPageWikiLink History.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Howard_Jerome_Keisler.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Institute_for_Advanced_Study.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Integer.
- History_of_the_Church–Turing_thesis wikiPageWikiLink International_Congress_of_Mathematicians.
- History_of_the_Church–Turing_thesis wikiPageWikiLink J._Barkley_Rosser.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Jacques_Herbrand.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Jean_van_Heijenoort.
- History_of_the_Church–Turing_thesis wikiPageWikiLink John_R._Searle.
- History_of_the_Church–Turing_thesis wikiPageWikiLink John_Searle.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Jon_Barwise.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Kenneth_Kunen.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Kurt_Gödel.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Martin_Davis.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Mathematical_induction.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Merriam-Webster.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Nachum_Dershowitz.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Peano_Arithmetic.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Peano_axioms.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Pointer_machine.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Post-Turing_machine.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Post–Turing_machine.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Primitive_recursion.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Primitive_recursive_function.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Primitive_recursive_functions.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Propositional_function.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Raphael_M._Robinson.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Raphael_Robinson.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Recursion.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Richard_Dedekind.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Richard_Sommer.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Robert_I._Soare.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Robert_Soare.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Robin_Gandy.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Rózsa_Péter.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Solomon_Feferman.