Turing computable functions