Sea O un ordenamiento computable de todos los reales computables en ⟨0,1) (por ejemplo, primero por la longitud de los programas que los computan y luego lexicográficamente). (no importa que aparezcan allí más de una vez).
Parece que es posible producir un real computable no en este ordenamiento por argumento diagonal, utilizando un algoritmo determinista para producir el dígito no coincidente.
¿Cuál es el error en este razonamiento?
