A real number x is called semi-computable if it is a limit of an increasing or decreasing computable sequence ( x n ), n ∈ of rational numbers. In this case, a later member of the sequence is always a better approximation to x in the sense that | x x n | ≥ |x x m |, if...
Wolfgang Münchau