Existence of Uncomputable Mappings

Theorem
There exists a mapping that is not computable.