Church propone como definición de función efectivamente calculable la función-definible.