Cita de Garrido 1
De Wikisofia
La revisió el 10:21, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{RecursWiki|Tipus=Extractes d'obres}}{{RecursBase|Nom=Cita de Garrido 1|Idioma=Español}} El teorema de Church posseeix rellevància filosòfica. Des del punt de v...».)
El teorema de Church posseeix rellevància filosòfica. Des del punt de vista de la filosofia, l'interès principal d'aquest aserto està en què per ell s'estableix, o es pretén establir, la no mecanicidad 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.