Description number
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.
Wikipage redirect
Link from a Wikipage to another Wikipage
primaryTopic
Description number
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.
has abstract
Description numbers are number ...... about Turing machines as well.
@en
Descritores são números que su ...... nio sobre máquinas de Turing .
@pt
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
997,026,797
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
type
comment
Description numbers are number ...... about Turing machines as well.
@en
Descritores são números que su ...... nio sobre máquinas de Turing .
@pt
label
Description number
@en
Número descritivo
@pt