Capçalera
 FiloXarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos

Temes  -

El saber filosòfic El coneixement La realitat L'ésser humà L'acció humana La societat

Història -

Filosofia antiga i medieval Filosofia moderna Filosofia contemporània Mapa del web Ajuda i altres Descarregar "font grega"
Cerca continguts al web Pensament: autors, conceptes, textos, obres ...
Loading

teorema de Church LÒG.

A. ChurchTeorema establert el 1936 pel lògic americà Alonzo Church, segons el qual la lògica de predicats (superior a la de predicats monàdics) no posseeix un procediment de decisió, o un algorisme que permeti demostrar que una fórmula qualsevol sigui un teorema d'aquesta lògica. Aquesta lògica es considera, per tant, indecidible.

El teorema de Church posseeix rellevància filosòfica. Des del punt de vista de la filosofia, l’interès principal d’aquesta afirmació està que per ell s’estableix, o es pretén establir, la no mecanicitat de la lògica formal. Perquè si bé és cert que hi ha algorismes que permeten resoldre de mode mecànic 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.

 


Licencia de Creative Commons
Aquesta obra està sota una llicència de Creative Commons.