""All computable functions are computable by Turing machine""