Es decir, si una función es computable entonces puede ser computada por una máquina de Turing.