Para señalar que existe un método efectivo que nos permite calcular los valores obtenidos por una función, Church utiliza la expresión “efectivamente calculable”.