Indecidibilitat

Aquesta és una pàgina de desambiguació. És a dir, una pàgina que us adreça cap a articles amb el mateix nom. Si un enllaç intern us ha dut fins ací podeu tornar enrere per arreglar-lo i fer-lo enllaçar a l'article més adient.

«Indecidibilitat» té aquests significats:

• lògica matemàtica:
  • Teorema d'incompletesa de Gödel (article de 1931 de Kurt Gödel Sobre sentències formalment indecidibles de "Principia Mathematica" i sistemes afins).
  • incompletesa de Gödel i indecisió doxàstica.
  • Indecidibilitat, qualitat d'un problema de decisió (recursivament) indecidible, que no pot decidir-se per cap algorisme.
• Altres usos:
  • Objecte impossible o figura indecidible.
  • Conjunt recursivament enumerable o conjunt semi.