The same technique was later used by Alan Turing in his work on the Entscheidungsproblem.
Na tento článok neskôr naviazal Alan Turing v svojej práci o probléme zastavenia.