Definition and Examples
A numbering of a set is a partial surjective function from to S (Ershov 1999:477). The value of a numbering ν at a number i (if defined) is often written ν'i instead of the usual .
For example, the set of all finite subsets of has a numbering γ in which and (Ershov 1999:477).
As a second example, a fixed Gödel numbering of the computable partial functions can be used to define a numbering W of the recursively enumerable sets, by letting by W(i) be the domain of φi.
Read more about this topic: Numbering (computability Theory)
Famous quotes containing the words definition and/or examples:
“Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.”
—Walter Pater (1839–1894)
“Histories are more full of examples of the fidelity of dogs than of friends.”
—Alexander Pope (1688–1744)