The representation for uncomputable functions will be uncomputable, of course. There's only a countable number of computable functions, so most functions are un

The representation for uncomputable functions will be uncomputable, of course. There's only a countable number of computable functions, so most functions are uncomputable, but that usually doesn't stop mathematicians from proving theorems about them.