He encontrado en alguna parte la siguiente afirmación:
"Toda función real computable tiene que ser continua,"
pero no soy capaz de demostrarlo y las "pruebas" que he encontrado en algunas entradas de blog no me parecen lo suficientemente rigurosas. ¿Podría aportar una prueba formal de la afirmación?
Nota: Tengo algunos conocimientos sobre las máquinas de Turing.
