This result preceded Alan Turing's work on the halting problem, which also demonstrated the existence of a problem unsolvable by mechanical means.
Acest rezultat a precedat munca lui Alan Turing pe tema problemei opririi, care a dus și ea la demonstrarea existenței unei probleme de nerezolvat prin mijloace mecanice.