On 15 Jun., 10:03, Derek Holt <ma...@warwick.ac.uk> wrote:
> A little more precisely, there does not exist a computable bijection > from the natural numbers to the set of all computable reals. > > But the set of computable reals is of course countable so there does > exist a list of all computable reals - but not a computable list.
