Se sabe que ciertos problemas son indecidibles, pero sin embargo es posible avanzar en su solución. Por ejemplo, el problema de detención es indecidible, pero se puede hacer un progreso práctico en la creación de herramientas para detectar posibles bucles infinitos en su código. Los problemas de mosaico a menudo son indecidibles (p. Ej., ¿Este poliomino mosaico tiene algún rectángulo?) Pero de nuevo es posible avanzar en el estado del arte en esta área.
Lo que me pregunto es si existe algún método teórico decente para medir el progreso en la resolución de problemas indecidibles, que se asemeje al aparato teórico que se ha desarrollado para medir el progreso en problemas NP-difíciles. ¿O parece que estamos atascados con evaluaciones ad hoc, sé-progreso-cuando-lo-veo, de cuánto avances particulares avanzan nuestra comprensión de problemas indecidibles?
Editar : Al pensar en esta pregunta, se me ocurre que quizás la complejidad parametrizada puede ser relevante aquí. Un problema indecidible puede volverse decidible si introducimos un parámetro y fijamos el valor del parámetro. Sin embargo, no estoy seguro de si esta observación es útil.