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:
“One definition of man is “an intelligence served by organs.””
—Ralph Waldo Emerson (1803–1882)
“There are many examples of women that have excelled in learning, and even in war, but this is no reason we should bring ‘em all up to Latin and Greek or else military discipline, instead of needle-work and housewifry.”
—Bernard Mandeville (1670–1733)