¿Hay problemas cuya capacidad de decisión es desconocida pero se sabe con certeza que los problemas son menos difíciles que el problema de detención?
ver Un problema simple cuya capacidad de decisión no se conoce en Ciencias de la Computación Teórica .
Kaveh