Editing Computable number (section)

===Not computably enumerable===
Assigning a [[Gödel number]] to each Turing machine definition produces a subset <math>S</math> of the [[natural number]]s corresponding to the computable numbers and identifies a [[surjection]] from <math>S</math> to the computable numbers. There are only countably many Turing machines, showing that the computable numbers are [[subcountable]]. The set <math>S</math> of these Gödel numbers, however, is not [[computably enumerable]] (and consequently, neither are subsets of <math>S</math> that are defined in terms of it). This is because there is no algorithm to determine which Gödel numbers correspond to Turing machines that produce computable reals. In order to produce a computable real, a Turing machine must compute a [[total function]], but the corresponding [[decision problem]] is in [[Turing degree]] '''0&prime;&prime;'''. Consequently, there is no surjective [[computable function]] from the natural numbers to the set <math>S</math> of machines representing computable reals, and [[Cantor's diagonal argument]] cannot be used [[Constructivism (mathematics)|constructively]] to demonstrate uncountably many of them.

While the set of real numbers is [[uncountable]], the set of computable numbers is classically [[countable]] and thus [[almost all]] real numbers are not computable. Here, for any given computable number <math>x,</math> the [[well ordering principle]] provides that there is a minimal element in <math>S</math> which corresponds to <math>x</math>, and therefore there exists a subset consisting of the minimal elements, on which the map is a [[bijection]]. The inverse of this bijection is an [[Injective function|injection]] into the natural numbers of the computable numbers, proving that they are countable. But, again, this subset is not computable, even though the computable reals are themselves ordered.