Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Description_number> ?p ?o }
Showing triples 1 to 57 of
57
with 100 triples per page.
- Description_number abstract "Description numbers are numbers that arise in the theory of Turing machines. They are very similar to Gödel numbers, and are also occasionally called "Gödel numbers" in the literature. Given some universal Turing machine, every Turing machine can, given its encoding on that machine, be assigned a number. This is the machine's description number. These numbers play a key role in Alan Turing's proof of the undecidability of the halting problem, and are very useful in reasoning about Turing machines as well.".
- Description_number wikiPageID "7805214".
- Description_number wikiPageLength "5694".
- Description_number wikiPageOutDegree "27".
- Description_number wikiPageRevisionID "674656803".
- Description_number wikiPageWikiLink Alan_Turing.
- Description_number wikiPageWikiLink Algorithm.
- Description_number wikiPageWikiLink Cantors_diagonal_argument.
- Description_number wikiPageWikiLink Category:Alan_Turing.
- Description_number wikiPageWikiLink Category:Computability_theory.
- Description_number wikiPageWikiLink Category:Models_of_computation.
- Description_number wikiPageWikiLink Category:Theory_of_computation.
- Description_number wikiPageWikiLink Church_encoding.
- Description_number wikiPageWikiLink Church_numeral.
- Description_number wikiPageWikiLink Countable_set.
- Description_number wikiPageWikiLink Denumerable.
- Description_number wikiPageWikiLink Entscheidungsproblem.
- Description_number wikiPageWikiLink Gödel_number.
- Description_number wikiPageWikiLink Gödel_numbering.
- Description_number wikiPageWikiLink Halting_problem.
- Description_number wikiPageWikiLink Introduction_to_Automata_Theory,_Languages,_and_Computation.
- Description_number wikiPageWikiLink Jeffrey_D._Ullman.
- Description_number wikiPageWikiLink Jeffrey_Ullman.
- Description_number wikiPageWikiLink John_Hopcroft.
- Description_number wikiPageWikiLink Natural_number.
- Description_number wikiPageWikiLink Partial_function.
- Description_number wikiPageWikiLink Total_recursive.
- Description_number wikiPageWikiLink Turing_machine.
- Description_number wikiPageWikiLink Unary.
- Description_number wikiPageWikiLink Uncountable_set.
- Description_number wikiPageWikiLink Uncountably_infinite.
- Description_number wikiPageWikiLink Undecidable_problem.
- Description_number wikiPageWikiLink Universal_Turing_machine.
- Description_number wikiPageWikiLinkText "Description number".
- Description_number hasPhotoCollection Description_number.
- Description_number wikiPageUsesTemplate Template:Cite_book.
- Description_number subject Category:Alan_Turing.
- Description_number subject Category:Computability_theory.
- Description_number subject Category:Models_of_computation.
- Description_number subject Category:Theory_of_computation.
- Description_number hypernym Numbers.
- Description_number type Area.
- Description_number type Model.
- Description_number type Plant.
- Description_number type Scientist.
- Description_number type Area.
- Description_number type Method.
- Description_number type Model.
- Description_number type Scientist.
- Description_number comment "Description numbers are numbers that arise in the theory of Turing machines. They are very similar to Gödel numbers, and are also occasionally called "Gödel numbers" in the literature. Given some universal Turing machine, every Turing machine can, given its encoding on that machine, be assigned a number. This is the machine's description number.".
- Description_number label "Description number".
- Description_number sameAs Número_descritivo.
- Description_number sameAs m.026dn7b.
- Description_number sameAs Q5263786.
- Description_number sameAs Q5263786.
- Description_number wasDerivedFrom Description_number?oldid=674656803.
- Description_number isPrimaryTopicOf Description_number.