Sin embargo, para algunos otros problemas interesantes ha podido probarse que no existe un algoritmo que mediante un conjunto finito de pasos encuentre una solución (o alternativamente muestre que el conjunto de soluciones es vacío).