Conway proved that the problem: Given g and n, does the sequence of iterates g k ( n ) {\displaystyle g^{k}(n)} reach 1? is undecidable, by representing the halting problem in this way.
Ο Conway απέδειξε ότι το πρόβλημα: Δεδομένων των g και n, θα φτάσει η επαναληπτική ακολουθία gk(n) στο 1; είναι μη αποφασίσιμη, εκφράζοντας το πρόβλημα τερματισμού με αυτόν τον τρόπο.