Complete Numbering - Definition

Definition

A numbering of a set is called complete (with respect to an element ) if for every partial computable function there exists a total computable function so that

 \nu \circ h(i) =
\left\{
\begin{matrix}
\nu \circ f(i) &\mbox{if}\ i \in \mathrm{dom}(f), \\
a &\mbox{otherwise}.
\end{matrix}
\right.

The numbering is called precomplete if

Read more about this topic:  Complete Numbering

Famous quotes containing the word definition:

    ... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.
    George Eliot [Mary Ann (or Marian)

    Scientific method is the way to truth, but it affords, even in
    principle, no unique definition of truth. Any so-called pragmatic
    definition of truth is doomed to failure equally.
    Willard Van Orman Quine (b. 1908)

    It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.
    François, Duc De La Rochefoucauld (1613–1680)