Computable number

real number that can be computed to within any desired precision by a finite, terminating algorithm