Partial recursive functions are the only computable functions, and these are the functions computable by TMs.
