In computability theory, admissible numberings are enumerations (numberings) of the set of partial computable functions that can be converted to and from the standard numbering. These numberings are also called acceptable numberings and acceptable programming systems. Rogers' equivalence theorem shows that all acceptable programming systems are equivalent to each other in the formal sense of numbering theory.
Attributes | Values |
---|
rdfs:label
| - Admissible numbering (en)
- Système acceptable de programmation (fr)
|
rdfs:comment
| - In computability theory, admissible numberings are enumerations (numberings) of the set of partial computable functions that can be converted to and from the standard numbering. These numberings are also called acceptable numberings and acceptable programming systems. Rogers' equivalence theorem shows that all acceptable programming systems are equivalent to each other in the formal sense of numbering theory. (en)
- En informatique, et en particulier en théorie de la calculabilité, un système de programmation est une numérotation de Gödel de l'ensemble des fonctions de dans Turing-calculables. Un système de programmation est dit universel s'il admet une fonction (partielle) Turing-calculable dite fonction universelle telle que où est la bijection classique de dans . Cette fonction est universelle au sens où elle peut simuler n'importe quelle fonction du système de programmation. (fr)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has abstract
| - In computability theory, admissible numberings are enumerations (numberings) of the set of partial computable functions that can be converted to and from the standard numbering. These numberings are also called acceptable numberings and acceptable programming systems. Rogers' equivalence theorem shows that all acceptable programming systems are equivalent to each other in the formal sense of numbering theory. (en)
- En informatique, et en particulier en théorie de la calculabilité, un système de programmation est une numérotation de Gödel de l'ensemble des fonctions de dans Turing-calculables. Un système de programmation est dit universel s'il admet une fonction (partielle) Turing-calculable dite fonction universelle telle que où est la bijection classique de dans . Cette fonction est universelle au sens où elle peut simuler n'importe quelle fonction du système de programmation. Un système acceptable de programmation est un système de programmation universel admettant une fonction totale dite de composition telle que pour tous i et j, . De façon équivalente, on peut demander au système de programmation d'être universel et de satisfaire le théorème s-n-m. D'après le , tous les systèmes acceptables de programmation sont équivalents, c'est-à-dire que si et sont deux systèmes acceptables de programmation, alors il existe une fonction totale f Turing-calculable telle que pour tout n, . (fr)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is foaf:primaryTopic
of | |