Alan Turing y los Algoritmos

Turing demostró que una función es computable si existe un algoritmo que pueda ejecutar la tarea deseada. Al mismo tiempo, demostró que un algoritmo es un proceso que puede ser definido por una máquina de Turing . Por tanto, una función computable es una función que tiene una máquina de Turing para calcularla.