The Irrationality Exponents of Computable Numbers

Verónica Becher, Yann Bugeaud, Theodore A. Slaman

We prove that a real number a greater than or equal to 2 is the irrationality exponent of some computable real number if and only if a is the upper limit of a computable sequence o…