Indecidibilidad

Indecidibilidad, la cualidad de lo indecidible (lo contrario de la decidibilidad y lo decidible), puede referirse a:

• En lógica matemática:
  • La independencia de una sentencia de una teoría axiomática, como las que aparecen en los teoremas de incompletitud de Gödel.
  • La cualidad de un problema de decisión (recursivamente) indecidible, que no puede decidirse por ningún algoritmo, como el problema de la parada de Alan Turing; véase también problema indecidible.

• Otros usos:
  • Objeto imposible (o figura indecidible).
  • Conjunto recursivamente enumerable (o conjunto semidecidible).

Véase también

• Indiferencia
• Incertidumbre