This result preceded Alan Turing's work on the halting problem, which also demonstrated the existence of a problem unsolvable by mechanical means.
Овај резултат претходел на Алан Тјуринг познатата работа за проблему на застанување кој истотака демонстрирал постоење проблем кој не може да се реши со механички средства.