I have found somewhere the following statement:
"Every computable real function has to be continuous,"
but I'm not able to prove it and the "proofs" that I found in some blog posts don't seem rigorous enough to me. Could you provide a formal proof of the statement?
Note: I have some knowledge of Turing machines.
It is proved on the book Computable Analysis: An Introduction written by Klaus Weihrauch