El teorema de Church posee relevancia filosófica. Desde el punto de vista de la filosofía, el interés principal de este aserto está en que por él se establece, o se pretende establecer, la no mecanicidad de la lógica formal. Pues si bien es cierto que existen algoritmos que permiten resolver de modo mecánico grandes grupos de problemas de la lógica elemental, según el teorema de Church no existe ni puede existir un algoritmo que los resuelva mecánicamente todos. La operación deductiva de la razón no es totalmente mecanizable.
| M. Garrido, Lógica simbólica, Tecnos, Madrid 1983, p. 352. |