O ile potrafią rozstrzygać problem stopu dla maszyn Turinga , nie potrafią rozstrzygać własnych problemów stopu : przykładowo maszyna wyposażona w wyrocznię nie będzie potrafiła odpowiedzieć na pytanie czy podana maszyna z wyrocznią kiedykolwiek się zatrzyma .
While they can solve the stopping problem for Turing machines, they cannot solve their own stopping problems: for example, a machine equipped with an oracle will not be able to answer the question whether the given machine with the oracle will ever stop.