Decidibilidad

La palabra decidible puede referirse a:

• Idioma decidido
• Decidibilidad (lógica) para el equivalente en la lógica matemática
• Problema resuelto y problema indecible
• El teorema incompleto de Gödel, un teorema sobre la indeciso de los idiomas que consiste en "declaraciones verdaderas" en la lógica matemática.
• Set Recursive, un "decidable set" en la teoría de la recursión