About: Numbering (computability theory)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In computability theory, the assignment of natural numbers to a set of objects

Property	Value
dbo:description	concetto (it) in computability theory, the assignment of natural numbers to a set of objects (en) Zuweisung von natürlichen Zahlen auf einen Satz von Objekten in der Informatik (de) en théorie de calculabilité, l'affectation de nombre naturels à un ensemble d'objets (fr)
dbo:wikiPageWikiLink	dbc:Computability_theory dbr:Function_(mathematics) dbr:First-order_logic dbr:Set_(mathematics) dbr:Universal_Turing_machine dbr:Friedberg_numbering dbr:Preorder dbr:Computable_function dbr:Formal_language dbr:Partial_function dbr:Cylindrification dbr:Computability_theory dbr:Rational_number dbr:Surjective_function dbc:Theory_of_computation dbr:Gödel_numbering dbr:Natural_number dbr:Graph_(discrete_mathematics) dbr:Admissible_numbering dbr:Complete_numbering dbr:Vladimir_Andreyevich_Uspensky dbr:Recursively_enumerable dbr:Description_number dbr:Recursively_enumerable_set dbr:Domain_(function) dbr:Yuri_Ershov
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Short_description
dct:subject	dbc:Computability_theory dbc:Theory_of_computation
gold:hypernym	dbr:Assignment
rdfs:label	Numbering (computability theory) (en) Nummerierung (Informatik) (de) Numération (fr) ナンバリング (計算可能性理論) (ja) Numeração (teoria da computação) (pt) Нумерація (математика) (uk) 編號 (可計算性理論) (zh)
owl:sameAs	freebase:Numbering (computability theory) wikidata:Numbering (computability theory) dbpedia-de:Numbering (computability theory) dbpedia-fr:Numbering (computability theory) dbpedia-zh:Numbering (computability theory) dbpedia-ja:Numbering (computability theory) dbpedia-pt:Numbering (computability theory) dbpedia-uk:Numbering (computability theory) dbpedia-global:Numbering (computability theory)
prov:wasDerivedFrom	wikipedia-en:Numbering_(computability_theory)?oldid=1192848285&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Numbering_(computability_theory)
is dbo:wikiPageRedirects of	dbr:Equivalent_(numbering) dbr:Effective_numbering dbr:One_equivalent_numbering dbr:Reducibility_(numbering) dbr:Comparision_of_numberings dbr:Total_numbering
is dbo:wikiPageWikiLink of	dbr:Friedberg_numbering dbr:Cylindric_numbering dbr:Cylindrification dbr:Blum_axioms dbr:Equivalent_(numbering) dbr:Numbering_scheme dbr:Choice_sequence dbr:Admissible_numbering dbr:Complete_numbering dbr:Computable_isomorphism dbr:Myhill_isomorphism_theorem dbr:Effective_numbering dbr:One_equivalent_numbering dbr:Reducibility_(numbering) dbr:Comparision_of_numberings dbr:Total_numbering
is foaf:primaryTopic of	wikipedia-en:Numbering_(computability_theory)