Dado un programa finito, existe un número infinito de bits que el programa no puede computar.