Decisió, problema de la
De Wikisofia
La revisió el 09:41, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki |Titulo=Problema de la decisió }} (L'anomenat ''Entscheidungsproblem'') El de si es disposa o no, per a un enunciat o fórmula qualsevol d'un sist...».)
La revisió el 09:41, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki |Titulo=Problema de la decisió }} (L'anomenat ''Entscheidungsproblem'') El de si es disposa o no, per a un enunciat o fórmula qualsevol d'un sist...».)
(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ádicos) però, no ho hi ha, segons el teorema de Church, de 1936, per la lògica de predicats de primer ordre.
Veure: decidibilidad, indecidibilidad.