In his 1936 paper, Turing says: "Corresponding to each computing machine 'it' we construct a formula 'Un(it)' and we show that, if there is a general method for determining whether 'Un(it)' is provable, then there is a general method for determining whether 'it' ever prints 0".
În articolul său din 1936, Turing spunea: „Corespunzător fiecărei mașini de calcul «it» vom construi o formulă «Un(it)» și vom arăta că, dacă există o metodă generală pentru a determina dacă «Un(it)» este demonstrabilă, atunci există o metodă generală pentru a determina dacă «it» tipărește vreodată 0".