Diferència entre revisions de la pàgina «Cita de Garrido 1»
De Wikisofia
(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...».) |
|||
| Línia 1: | Línia 1: | ||
{{RecursWiki|Tipus=Extractes d'obres}}{{RecursBase|Nom=Cita de Garrido 1|Idioma=Español}} | {{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 vista de la filosofia, l'interès principal d' | + | 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 què 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.'' |
{{Ref|Ref=M. Garrido, ''Lògica simbòlica,'' Tecnos, Madrid 1983, p. 352.|Cita=true}} | {{Ref|Ref=M. Garrido, ''Lògica simbòlica,'' Tecnos, Madrid 1983, p. 352.|Cita=true}} | ||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió del 15:15, 21 març 2015
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 què 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.