Se ha creado controversia sobre cuál de las fórmulas alternativas es la que Turing planteo.