Cita de Garrido 1
De Wikisofia
El teorema de Church posseeix rellevància filosòfica. Des del punt de vista de la filosofia, l'interès principal d'aquesta asserció està en el fet que per ell s'estableix, o es pretén establir, la no mecanicitat de la lògica formal. Doncs si bé és cert que existeixen algorismes que permeten resoldre de manera mecànica grans grups de problemes de la lògica elemental, segons el teorema de Church no existeix ni pot existir un algorisme que els resolgui mecànicament tots. L'operació deductiva de la raó no és totalment mecanitzable.
| M. Garrido, Lógica simbólica, Tecnos, Madrid 1983, p. 352. |
Original en castellà
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.