Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Entscheidungsproblem> ?p ?o }
- Entscheidungsproblem abstract "In mathematics and computer science, the Entscheidungsproblem (pronounced [ɛntˈʃaɪ̯dʊŋspʁoˌbleːm], German for 'decision problem') is a challenge posed by David Hilbert in 1928. The Entscheidungsproblem asks for an algorithm that takes as input a statement of a first-order logic (possibly with a finite number of axioms beyond the usual axioms of first-order logic) and answers \"Yes\" or \"No\" according to whether the statement is universally valid, i.e., valid in every structure satisfying the axioms. By the completeness theorem of first-order logic, a statement is universally valid if and only if it can be deduced from the axioms, so the Entscheidungsproblem can also be viewed as asking for an algorithm to decide whether a given statement is provable from the axioms using the rules of logic.In 1936, Alonzo Church and Alan Turing published independent papers showing that a general solution to the Entscheidungsproblem is impossible, assuming that the intuitive notion of \"effectively calculable\" is captured by the functions computable by a Turing machine (or equivalently, by those expressible in the lambda calculus). This assumption is now known as the Church–Turing thesis.".
- Entscheidungsproblem wikiPageExternalLink 12.
- Entscheidungsproblem wikiPageExternalLink 230.
- Entscheidungsproblem wikiPageExternalLink tp2-ie.asp.
- Entscheidungsproblem wikiPageID "9672".
- Entscheidungsproblem wikiPageLength "8993".
- Entscheidungsproblem wikiPageOutDegree "78".
- Entscheidungsproblem wikiPageRevisionID "703267121".
- Entscheidungsproblem wikiPageWikiLink Alan_Turing.
- Entscheidungsproblem wikiPageWikiLink Alfred_North_Whitehead.
- Entscheidungsproblem wikiPageWikiLink Algorithm.
- Entscheidungsproblem wikiPageWikiLink Alonzo_Church.
- Entscheidungsproblem wikiPageWikiLink Andrew_Hodges.
- Entscheidungsproblem wikiPageWikiLink Automated_theorem_proving.
- Entscheidungsproblem wikiPageWikiLink Axiom.
- Entscheidungsproblem wikiPageWikiLink Bertrand_Russell.
- Entscheidungsproblem wikiPageWikiLink Boolean_satisfiability_problem.
- Entscheidungsproblem wikiPageWikiLink Category:Computability_theory.
- Entscheidungsproblem wikiPageWikiLink Category:Gottfried_Leibniz.
- Entscheidungsproblem wikiPageWikiLink Category:Mathematical_logic.
- Entscheidungsproblem wikiPageWikiLink Category:Metatheorems.
- Entscheidungsproblem wikiPageWikiLink Category:Theory_of_computation.
- Entscheidungsproblem wikiPageWikiLink Category:Undecidable_problems.
- Entscheidungsproblem wikiPageWikiLink Church–Turing_thesis.
- Entscheidungsproblem wikiPageWikiLink Computable_function.
- Entscheidungsproblem wikiPageWikiLink Computable_number.
- Entscheidungsproblem wikiPageWikiLink Computer_science.
- Entscheidungsproblem wikiPageWikiLink Coopers_algorithm.
- Entscheidungsproblem wikiPageWikiLink Cylindrical_algebraic_decomposition.
- Entscheidungsproblem wikiPageWikiLink DPLL_algorithm.
- Entscheidungsproblem wikiPageWikiLink David_Hilbert.
- Entscheidungsproblem wikiPageWikiLink Diophantine_equation.
- Entscheidungsproblem wikiPageWikiLink Effective_method.
- Entscheidungsproblem wikiPageWikiLink First-order_logic.
- Entscheidungsproblem wikiPageWikiLink Formal_language.
- Entscheidungsproblem wikiPageWikiLink Formal_verification.
- Entscheidungsproblem wikiPageWikiLink German_language.
- Entscheidungsproblem wikiPageWikiLink Gottfried_Wilhelm_Leibniz.
- Entscheidungsproblem wikiPageWikiLink Gxc3xb6dels_completeness_theorem.
- Entscheidungsproblem wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Entscheidungsproblem wikiPageWikiLink Gödel_numbering.
- Entscheidungsproblem wikiPageWikiLink Halting_problem.
- Entscheidungsproblem wikiPageWikiLink Hilberts_second_problem.
- Entscheidungsproblem wikiPageWikiLink Hilberts_tenth_problem.
- Entscheidungsproblem wikiPageWikiLink Kurt_Gödel.
- Entscheidungsproblem wikiPageWikiLink Lambda_calculus.
- Entscheidungsproblem wikiPageWikiLink London_Mathematical_Society.
- Entscheidungsproblem wikiPageWikiLink Martin_Davis.
- Entscheidungsproblem wikiPageWikiLink Mathematics.
- Entscheidungsproblem wikiPageWikiLink Mechanical_calculator.
- Entscheidungsproblem wikiPageWikiLink Model_of_computation.
- Entscheidungsproblem wikiPageWikiLink Multiple_discovery.
- Entscheidungsproblem wikiPageWikiLink Natural_number.
- Entscheidungsproblem wikiPageWikiLink Number_theory.
- Entscheidungsproblem wikiPageWikiLink Omega_test.
- Entscheidungsproblem wikiPageWikiLink Oracle_machine.
- Entscheidungsproblem wikiPageWikiLink Peano_axioms.
- Entscheidungsproblem wikiPageWikiLink Presburger_arithmetic.
- Entscheidungsproblem wikiPageWikiLink Programming_language.
- Entscheidungsproblem wikiPageWikiLink Real_closed_field.
- Entscheidungsproblem wikiPageWikiLink Reduction_(complexity).
- Entscheidungsproblem wikiPageWikiLink Robert_I._Soare.
- Entscheidungsproblem wikiPageWikiLink Satisfiability_modulo_theories.
- Entscheidungsproblem wikiPageWikiLink Simplex_algorithm.
- Entscheidungsproblem wikiPageWikiLink Stephen_Cole_Kleene.
- Entscheidungsproblem wikiPageWikiLink Stephen_Toulmin.
- Entscheidungsproblem wikiPageWikiLink Tarski–Seidenberg_theorem.
- Entscheidungsproblem wikiPageWikiLink Truth_value.
- Entscheidungsproblem wikiPageWikiLink Turing_machine.
- Entscheidungsproblem wikiPageWikiLink Type_system.
- Entscheidungsproblem wikiPageWikiLink Wilhelm_Ackermann.
- Entscheidungsproblem wikiPageWikiLink William_Pugh.
- Entscheidungsproblem wikiPageWikiLink Yuri_Matiyasevich.
- Entscheidungsproblem wikiPageWikiLinkText "Church's theorem".
- Entscheidungsproblem wikiPageWikiLinkText "Entscheidungsproblem".
- Entscheidungsproblem wikiPageWikiLinkText "Hilbert Entscheidungsproblem".
- Entscheidungsproblem wikiPageWikiLinkText "correctly evaluate every statement".
- Entscheidungsproblem wikiPageWikiLinkText "decision problem for first-order logic".
- Entscheidungsproblem wikiPageUsesTemplate Template:IPA-de.
- Entscheidungsproblem wikiPageUsesTemplate Template:Mathematical_logic.
- Entscheidungsproblem wikiPageUsesTemplate Template:Metalogic.
- Entscheidungsproblem wikiPageUsesTemplate Template:Refbegin.
- Entscheidungsproblem wikiPageUsesTemplate Template:Refend.
- Entscheidungsproblem wikiPageUsesTemplate Template:Reflist.
- Entscheidungsproblem wikiPageUsesTemplate Template:Use_dmy_dates.
- Entscheidungsproblem wikiPageUsesTemplate Template:Wiktionary-inline.
- Entscheidungsproblem subject Category:Computability_theory.
- Entscheidungsproblem subject Category:Gottfried_Leibniz.
- Entscheidungsproblem subject Category:Mathematical_logic.
- Entscheidungsproblem subject Category:Metatheorems.
- Entscheidungsproblem subject Category:Theory_of_computation.
- Entscheidungsproblem subject Category:Undecidable_problems.
- Entscheidungsproblem hypernym Challenge.
- Entscheidungsproblem type Area.
- Entscheidungsproblem type Philosopher.
- Entscheidungsproblem type Scientist.
- Entscheidungsproblem type SportsEvent.
- Entscheidungsproblem type Writer.
- Entscheidungsproblem type Area.
- Entscheidungsproblem type Field.