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

decisió, problema de la LÒG.

(L’anomenat Entscheidungsproblem) El de si es disposa o no, per a un enunciat o fórmula qualsevol d’un sistema formal, d’un procediment de decisió efectiu, o d’un algorisme, per determinar si la fórmula o l’enunciat en qüestió constitueixen una veritat universalment vàlida (o un teorema) del sistema. Hi ha procediment de decisió per a la lògica d’enunciats i la lògica de predicats (monàdics) però, no n’hi ha, segons el teorema de Church, de 1936, per a la lògica de predicats de primer ordre.

Veure: decidibilitat, indecidibilitat.

 


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