Otros opinan que la «solución de insolubilidad» a la que se llegó siete décadas después no sólo hubiera sorprendido al auditorio que asistió en 1900 en la Sorbona a la presentación de Hilbert, sino posiblemente incluso al propio Hilbert, ya que se esperaba obtener un conjunto de instrucciones que definieran un procedimiento, y a lo que se llegó finalmente fue a una demostración de la inexistencia de tal conjunto de instrucciones.