Real number that can be computed within arbitrary precision
Not to be confused with constructible number.
π can be computed to arbitrary precision, while almost every real number is not computable.
In mathematics, computable numbers are the real numbers that can be computed to within any desired precision by a finite, terminating algorithm. They are also known as the recursive numbers,[1]effective numbers[2] or the computable reals[3] or recursive reals.[4] The concept of a computable real number was introduced by Emile Borel in 1912, using the intuitive notion of computability available at the time.[5]
Equivalent definitions can be given using μ-recursive functions, Turing machines, or λ-calculus as the formal representation of algorithms. The computable numbers form a real closed field and can be used in the place of real numbers for many, but not all, mathematical purposes.
^Mazur, Stanisław (1963). Grzegorczyk, Andrzej; Rasiowa, Helena (eds.). Computable analysis. Rozprawy Matematyczne. Vol. 33. Institute of Mathematics of the Polish Academy of Sciences. p. 4.
^van der Hoeven (2006).
^Pour-El, Marian Boykan; Richards, Ian (1983). "Noncomputability in analysis and physics: a complete determination of the class of noncomputable linear operators". Advances in Mathematics. 48 (1): 44–74. doi:10.1016/0001-8708(83)90004-X. MR 0697614.
^Rogers, Hartley, Jr. (1959). "The present theory of Turing machine computability". Journal of the Society for Industrial and Applied Mathematics. 7: 114–130. MR 0099923.{{cite journal}}: CS1 maint: multiple names: authors list (link)
^P. Odifreddi, Classical Recursion Theory (1989), p.8. North-Holland, 0-444-87295-7
recursive numbers, effective numbers or the computable reals or recursive reals. The concept of a computable real number was introduced by Emile Borel in 1912...
computation that has ever been imagined can compute only computable functions, and all computable functions can be computed by any of several models of computation...
algebraic numbers. The computable numbers may be viewed as the real numbers that may be exactly represented in a computer: a computablenumber is exactly represented...
In computability theory, a set of natural numbers is called computable, recursive, or decidable if there is an algorithm which takes a number as input...
thus also not arithmetical. Every computablenumber is arithmetical, but not every arithmetical number is computable. For example, the limit of a Specker...
Enumerability: The set S is the range of a partial computable function. The set S is the range of a total computable function, or empty. If S is infinite, the...
Church–Turing thesis, which states that any function that is computable by an algorithm is a computable function. Although initially skeptical, by 1946 Gödel...
basis of clopen groups so the space is zero-dimensional. Brjuno numberComputablenumber Diophantine approximation Proof that e is irrational Proof that...
upon below. Type 1 computability is the naive form of computable analysis in which one restricts the inputs to a machine to be computable numbers instead...
constant (since it is a non-computablenumber). The supremum limit of the Specker sequences (since they are non-computable numbers). The so-called Fredholm...
with weights. Computablenumber: A real number whose digits can be computed by some algorithm. Period: A number which can be computed as the integral...
language Word problem for groups Wang tile Penrose tiling Computablenumber Definable number Halting probability Algorithmic information theory Algorithmic...
closely with our intuition of what a computable function must be. Certainly the initial functions are intuitively computable (in their very simplicity), and...
verification that g is computable relies on the following constructs (or their equivalents): computable subprograms (the program that computes f is a subprogram...
PMID 19797653. S2CID 17187000. Manin, Yu. I. (1980). Vychislimoe i nevychislimoe [Computable and Noncomputable] (in Russian). Soviet Radio. pp. 13–15. Archived from...
partial computable functions. Such enumerations are formally called computablenumberings of the partial computable functions. An arbitrary numbering η of...
and compass construction problem put forth by Pappus. Computablenumber Definable real number Kazarinoff (2003, pp. 10 & 15); Martin (1998), Corollary...
computability theory, a function is called limit computable if it is the limit of a uniformly computable sequence of functions. The terms computable in...
Turing machine capable of computing any computable sequence, as described by Alan Turing in his seminal paper "On Computable Numbers, with an Application...
\to \mathbb {N} } is any computable function, then Σ(n) > f(n) for all sufficiently large n, and hence that Σ is not a computable function. Moreover, this...
Cloud computing is the on-demand availability of computer system resources, especially data storage (cloud storage) and computing power, without direct...