La segunda versión apareció posteriormente en el texto de 1950 de Turing.