[enugu]

Yes, when you restrict to computable numbers, then there are countably many reals. Countable in classical sense. You wont have an computable enumeration, again of because of diagonalization.