Indecidibilitat
(S'ha redirigit des de: Indecidible)
 | 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.
Vegeu Indecidibilitat en el Viccionari, el diccionari lliure.