Indecidibilidad
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Propiedad de un problema de decisión que indica que no existe un algoritmo, en el modelo de cómputo elegido, que siempre termine y decida correctamente la pertenencia para cada instancia de entrada.