A function that can be implemented by a TM is called Turing computable.