View source for Computable real number

A real number for which there exists an [[Algorithm|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|Constructive analysis]]).