This result preceded Alan Turing's work on the halting problem, which also demonstrated the existence of a problem unsolvable by mechanical means.
Ovaj je rezultat prethodio poznati rad Alana Turinga na problemu zaustavljanja, koji je također demonstrirao postojanje problema nerješivih mehaničkim sredstvima.