Matches in DBpedia 2014 for { <http://dbpedia.org/resource/List_of_undecidable_problems> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items per page.
- List_of_undecidable_problems abstract "In computability theory, an undecidable problem is of a type of calculation which requires a yes/no answer, but where there can not possibly be any computer program that always gives the correct answer; that is any possible program would sometimes give the wrong answer or never give any answer at all. 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.".
- 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 wikiPageRevisionID "598135330".
- List_of_undecidable_problems hasPhotoCollection List_of_undecidable_problems.
- 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 comment "In computability theory, an undecidable problem is of a type of calculation which requires a yes/no answer, but where there can not possibly be any computer program that always gives the correct answer; that is any possible program would sometimes give the wrong answer or never give any answer at all. 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 label "不可判定问题列表".
- List_of_undecidable_problems sameAs Anexo:Lista_de_problemas_indecidíveis.
- List_of_undecidable_problems sameAs Q1962320.
- List_of_undecidable_problems sameAs Q1962320.
- List_of_undecidable_problems wasDerivedFrom List_of_undecidable_problems?oldid=598135330.
- List_of_undecidable_problems isPrimaryTopicOf List_of_undecidable_problems.