Comment by RossBencina

But is computation enough? The computable reals are a subset of the reals.