Es decir que todo algoritmo calcula una función formula_1 donde cada número natural es la codificación de un problema o de una solución.