Before revision: By enumerating algorithms, we can show classically that the computable numbers are countable.
After revision: By enumerating algorithms, we can show clasically that the computable numbers are countable.