Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Description_number> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items 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 wikiPageRevisionID "544585006".
- Description_number hasPhotoCollection Description_number.
- 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 type Assistant109815790.
- Description_number type CausalAgent100007347.
- Description_number type LivingThing100004258.
- Description_number type Model110324560.
- Description_number type ModelsOfComputation.
- Description_number type Object100002684.
- Description_number type Organism100004475.
- Description_number type Person100007846.
- Description_number type PhysicalEntity100001930.
- Description_number type Whole100003553.
- Description_number type Worker109632518.
- Description_number type YagoLegalActor.
- Description_number type YagoLegalActorGeo.
- 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 label "Número descritivo".
- Description_number sameAs Número_descritivo.
- Description_number sameAs m.026dn7b.
- Description_number sameAs Q5263786.
- Description_number sameAs Q5263786.
- Description_number sameAs Description_number.
- Description_number wasDerivedFrom Description_number?oldid=544585006.
- Description_number isPrimaryTopicOf Description_number.