This result preceded Alan Turing's work on the halting problem, which also demonstrated the existence of a problem unsolvable by mechanical means.
Este traballo precedeu ao famoso traballo do seu alumno Alan Turing sobre o problema de parada que tamén demostrou a existencia de problemas irresolubles por dispositivos mecánicos.