Computable number

In mathematics and theoretical computer science, a real number a is said to be a computable number if it can be approximated by some algorithm, in the following sense: given any natural number n, the algorithm produces a number m such that:

Or, equivalently, there exists an algorithm which, given any rational error bound , produces an approximation m such that:

A complex number is called computable if its real and imaginary parts are computable.

The computable numbers form an algebraically closed field, and arguably this field contains all the numbers we ever need in practice. It contains all algebraic numbers as well as many known transcendental mathematical constants. There are however many real numbers which are not computable: the set of all computable numbers is countable (because the set of algorithms is) while the set of real numbers is not (see Cantor's diagonal argument).

While the set of computable numbers is countable, it cannot be enumerated by any algorithm, program or Turing machine. Formally: it is not possible to provide a complete list x₁, x₂, x₃, ... of all computable real numbers and a Turing machine which on input (m, n) produces the n-th digit of x_m. This is proved with a slight modification of Cantor's diagonal argument.

Every computable number is definable, but not vice versa. An example of a definable, non-computable real number is Chaitin's constant, &Omega.

References:

• Alan Turing, On computable numbers, with an application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, Series 2, 42 (1936), pp 230-265. online version. Computable numbers (and Turing machines) were introduced in this paper.