Computable real number

A real number for which there exists an algorithm which yields a rational approximation to the number, as accurate as one pleases. The term "constructive real number" has a similar meaning, and is usually employed when a computable real number is considered in the framework of some system of constructive mathematics (see Constructive analysis).