closeHello! Click here if you would like to know what Factolex is about.

Complete numbering

Start collecting facts
These are the best facts for Complete numbering, collected by our users from the web:
(You can find the source through the icon at the end of each fact)
  1. In computability theory complete numberings are generalizations of Gödel numbering first introduced by A.I. Mal'tsev in 1963

    Source: Wikipedia Unhappy with this fact? more info
    created by user picturefactobot on March 2, 2009
  2. They are studied because several important results like the Kleene's recursion theorem and Rice's theorem, which were originally proven for the Gödel-numbered set of computable functions, still hold for arbitrary sets with complete numberings

    Source: Wikipedia Unhappy with this fact? more info
    created by user picturefactobot on March 2, 2009
  3. A numbering \nu of a set A is called complete (with respect to an element a ∈ A) if for every partial computable function f there exists a total computable function h so that ≦ft\ \beginmatrix \nu ° f(i) &\mboxif\ i ∈ \mathrmdom(f), \\ a &\mbo

    Source: Wikipedia Unhappy with this fact? more info
    created by user picturefactobot on March 2, 2009
  4. \endmatrix \right

    Source: Wikipedia Unhappy with this fact? more info
    created by user picturefactobot on March 2, 2009
  5. The numbering \nu is called precomplete if

    Source: Wikipedia Unhappy with this fact? more info
    created by user picturefactobot on March 2, 2009
Do you know more? Submit a new fact

Add a new fact

A fact should only contain one sentence, describing an aspect of the term.

Fact
Example: located on the west coast of the U.S
Source
Tags
optional

Example: geography location -- separate tags with spaces

Add one more fact or give me some inspiration from:

More lexica »Featured Lexica

Look at what our users have created already.

Feedback

Please tell us what you think about our project

Contribute

On Factolex you can add facts and terms that you believe are missing.

To be sure that the term hasn't already been entered, please use the search function before doing so.

Home  |  About  |  FAQ  |  Feedback  |  Tools  |  Stats  |  Contact Us  |  API  |  Blog
Change language to: