La tesis de Church-Turing consiste en afirmar que las funciones computables son aquellas que pueden ser expresadas a través del cálculo lambda.