Decidibilidad En lgica, el trmino decidible se refiere a la existencia de un mtodo efectivo para determinar si un objeto es miembro de un conjunto de frmulas.

Un sistema lgico o teora es decidible sintcticamente si el conjunto de todas las frmulas vlidas en el sistema es decidible. Es decir, existe un algoritmo tal que para cada frmula del sistema es capaz de decidir en un nmero finito de pasos si la frmula es vlida o no en el sistema. Por otra parte, una teora decidible semnticamente, es un sistema axiomtico donde existe un mtodo lgico y finito para evidenciar que el axioma, proposicin, frmula etc. es un teorema. Tesis de Turing: Un problema es decidible si es computable (por una maquina de turing). En otro caso, es indecidible. La cuestin de si, para una clase dada de problemas, existe un algoritmo o procedimiento efectivo que los resuelva, se denomina problema de decisin. Decimos que un problema es indecidible si podemos demostrar que no existe ningn algoritmo que pueda responder a todas las preguntas que el problema pueda plantear.

Ejemplos: El problema: Hay enteros totales que satisfagan la ecuacin 3x+6y=151? (que tiene una respuesta negativa) no es un problema de decisin. El problema Hay enteros x, y tales que se cumple la ecuacin ax +by=c?, si es un problema de decisin:

Para cada asignacin de valores a los parmetros a, b, c, hay un problema distinto Respuesta: s, si es el mximo comn divisor (mcd) de a y b divide a c Tenemos el algoritmo de Euclides para hallar el mcd de dos nmeros.

http://es.wikipedia.org/wiki/Decidibilidad http://www.ucm.es/info/pslogica/automatas.pdf