Para demostrar este hecho, bastaba con encontrar un sólo problema matemático que careciera de solución algorítmica.