| dbo: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. (en)
- Descritores são números que surgem na teoria das máquinas de Turing. Eles são muito semelhantes aos números de Gödel, e também são ocasionalmente chamado "números de Gödel" na literatura. Dada alguma máquina de Turing universal, cada máquina de Turing pode, dada a sua codificação naquela máquina, ser atribuída à um número. Este é o número de descrição da máquina. Estes números desempenham um papel-chave na prova de Alan Turing sobre a indecidibilidade do problema da parada, e também são muito úteis no raciocínio sobre máquinas de Turing . (pt)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5785 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs: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. 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. (en)
- Descritores são números que surgem na teoria das máquinas de Turing. Eles são muito semelhantes aos números de Gödel, e também são ocasionalmente chamado "números de Gödel" na literatura. Dada alguma máquina de Turing universal, cada máquina de Turing pode, dada a sua codificação naquela máquina, ser atribuída à um número. Este é o número de descrição da máquina. Estes números desempenham um papel-chave na prova de Alan Turing sobre a indecidibilidade do problema da parada, e também são muito úteis no raciocínio sobre máquinas de Turing . (pt)
|
| rdfs:label
|
- Description number (en)
- Número descritivo (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
