Compare a non-computable real number to a rational

48 Views Asked by At

Suppose we have a non-computable real number $p$. Can we determine for any rational $r$ whether $r \lt p$ or $r \gt p$?

I think that if we could, than we could approximate $p$ by rationals from above and below and "compute" it with any precision.