Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/List_of_undecidable_problems> ?p ?o }
Showing triples 1 to 87 of
87
with 100 triples per page.
- List_of_undecidable_problems abstract "In computability theory, an undecidable problem is a type of computational problem that requires a yes/no answer, but where there cannot possibly be any computer program that always gives the correct answer; that is any possible program would sometimes give the wrong answer or run forever without giving any answer. More formally, an undecidable problem is a problem whose language is not a recursive set; see decidability. There are uncountably many undecidable problems, so the list below is necessarily incomplete. Though undecidable languages are not recursive languages, they may be subsets of Turing recognizable languages i.e. such undecidable languages may be recursively enumerable.Many, if not most, undecidable problems in mathematics can be posed as word problems: determining when two distinct strings of symbols (encoding some mathematical concept or object) represent the same object or not.For undecidability in axiomatic mathematics, see list of statements undecidable in ZFC.".
- List_of_undecidable_problems wikiPageExternalLink what-are-the-most-attractive-turing-undecidable-problems-in-mathematics.
- List_of_undecidable_problems wikiPageID "1188090".
- List_of_undecidable_problems wikiPageLength "8376".
- List_of_undecidable_problems wikiPageOutDegree "51".
- List_of_undecidable_problems wikiPageRevisionID "676097750".
- List_of_undecidable_problems wikiPageWikiLink Abstract_machine.
- List_of_undecidable_problems wikiPageWikiLink Alan_Turing.
- List_of_undecidable_problems wikiPageWikiLink Busy_beaver.
- List_of_undecidable_problems wikiPageWikiLink Category:Computability_theory.
- List_of_undecidable_problems wikiPageWikiLink Category:Mathematics-related_lists.
- List_of_undecidable_problems wikiPageWikiLink Category:Theory_of_computation.
- List_of_undecidable_problems wikiPageWikiLink Combinatorial_group_theory.
- List_of_undecidable_problems wikiPageWikiLink Computability_theory.
- List_of_undecidable_problems wikiPageWikiLink Computational_problem.
- List_of_undecidable_problems wikiPageWikiLink Conjugacy_problem.
- List_of_undecidable_problems wikiPageWikiLink Context-free_grammar.
- List_of_undecidable_problems wikiPageWikiLink Decidability_(logic).
- List_of_undecidable_problems wikiPageWikiLink Decision_problem.
- List_of_undecidable_problems wikiPageWikiLink Entscheidungsproblem.
- List_of_undecidable_problems wikiPageWikiLink Formal_language.
- List_of_undecidable_problems wikiPageWikiLink Formal_languages.
- List_of_undecidable_problems wikiPageWikiLink Fundamental_group.
- List_of_undecidable_problems wikiPageWikiLink Group_isomorphism_problem.
- List_of_undecidable_problems wikiPageWikiLink Halting_problem.
- List_of_undecidable_problems wikiPageWikiLink Hilberts_tenth_problem.
- List_of_undecidable_problems wikiPageWikiLink Homeomorphic.
- List_of_undecidable_problems wikiPageWikiLink Homeomorphism.
- List_of_undecidable_problems wikiPageWikiLink Kolmogorov_complexity.
- List_of_undecidable_problems wikiPageWikiLink Lambda_calculus.
- List_of_undecidable_problems wikiPageWikiLink List_of_statements_undecidable_in_ZFC.
- List_of_undecidable_problems wikiPageWikiLink List_of_unsolved_problems.
- List_of_undecidable_problems wikiPageWikiLink Lists_of_unsolved_problems.
- List_of_undecidable_problems wikiPageWikiLink Logic.
- List_of_undecidable_problems wikiPageWikiLink Manifold.
- List_of_undecidable_problems wikiPageWikiLink MathOverflow.
- List_of_undecidable_problems wikiPageWikiLink Matrix_(mathematics).
- List_of_undecidable_problems wikiPageWikiLink Mortality_(computability_theory).
- List_of_undecidable_problems wikiPageWikiLink Post_correspondence_problem.
- List_of_undecidable_problems wikiPageWikiLink Recursive_set.
- List_of_undecidable_problems wikiPageWikiLink Rices_theorem.
- List_of_undecidable_problems wikiPageWikiLink Risch_algorithm.
- List_of_undecidable_problems wikiPageWikiLink Semigroup.
- List_of_undecidable_problems wikiPageWikiLink Simplicial_complex.
- List_of_undecidable_problems wikiPageWikiLink Subset.
- List_of_undecidable_problems wikiPageWikiLink Tag_system.
- List_of_undecidable_problems wikiPageWikiLink Topology.
- List_of_undecidable_problems wikiPageWikiLink Turing_machine.
- List_of_undecidable_problems wikiPageWikiLink Type_checking.
- List_of_undecidable_problems wikiPageWikiLink Type_inference.
- List_of_undecidable_problems wikiPageWikiLink Type_system.
- List_of_undecidable_problems wikiPageWikiLink Uncountable_set.
- List_of_undecidable_problems wikiPageWikiLink Undecidable_problem.
- List_of_undecidable_problems wikiPageWikiLink Wang_tile.
- List_of_undecidable_problems wikiPageWikiLink Word_problem_(computability).
- List_of_undecidable_problems wikiPageWikiLink Word_problem_(mathematics).
- List_of_undecidable_problems wikiPageWikiLink Word_problem_for_groups.
- List_of_undecidable_problems wikiPageWikiLink Zero_matrix.
- List_of_undecidable_problems wikiPageWikiLinkText "List of undecidable problems".
- List_of_undecidable_problems wikiPageWikiLinkText "Undecidable".
- List_of_undecidable_problems wikiPageWikiLinkText "list of undecidable problems".
- List_of_undecidable_problems wikiPageWikiLinkText "undecidable problems".
- List_of_undecidable_problems hasPhotoCollection List_of_undecidable_problems.
- List_of_undecidable_problems wikiPageUsesTemplate Template:Citation.
- List_of_undecidable_problems wikiPageUsesTemplate Template:Cite_book.
- List_of_undecidable_problems wikiPageUsesTemplate Template:Cite_journal.
- List_of_undecidable_problems wikiPageUsesTemplate Template:Reflist.
- List_of_undecidable_problems subject Category:Computability_theory.
- List_of_undecidable_problems subject Category:Mathematics-related_lists.
- List_of_undecidable_problems subject Category:Theory_of_computation.
- List_of_undecidable_problems hypernym Problem.
- List_of_undecidable_problems type Area.
- List_of_undecidable_problems type Article.
- List_of_undecidable_problems type Disease.
- List_of_undecidable_problems type List.
- List_of_undecidable_problems type Area.
- List_of_undecidable_problems type Article.
- List_of_undecidable_problems type List.
- List_of_undecidable_problems comment "In computability theory, an undecidable problem is a type of computational problem that requires a yes/no answer, but where there cannot possibly be any computer program that always gives the correct answer; that is any possible program would sometimes give the wrong answer or run forever without giving any answer. More formally, an undecidable problem is a problem whose language is not a recursive set; see decidability.".
- List_of_undecidable_problems label "List of undecidable problems".
- List_of_undecidable_problems sameAs Popis_neodlučivih_problema.
- List_of_undecidable_problems sameAs Lista_de_problemas_indecidíveis.
- List_of_undecidable_problems sameAs Q1962320.
- List_of_undecidable_problems sameAs Q1962320.
- List_of_undecidable_problems sameAs 不可判定问题列表.
- List_of_undecidable_problems wasDerivedFrom List_of_undecidable_problems?oldid=676097750.
- List_of_undecidable_problems isPrimaryTopicOf List_of_undecidable_problems.