Aunque hay cierta disputa sobre cual interpretación es a la que Turing se refería, Sterret cree que era esta y por lo tanto combina la segunda versión con esta mientras que otros, como Traiger, no lo hacen sin embargo, esto no ha llevado a una interpretación estándar realmente.