""La clase de las funciones que pueden ser calculadas mediante un algoritmo coincide con la clase de las funciones recursivas."" (Tesis de Church).