While each of them can solve the halting problem for a Turing machine, they cannot solve their own version of the halting problem.
Iako svaki od njih može riješiti problem zaustavljanja za Turingov stroj, oni ne mogu riješiti svoje vlastite inačice problema zaustavljanja.