On the other hand, Emil Post's 1936 paper had appeared and was certified independent of Turing's work.
С другой стороны, появилась статья Эмиля Поста 1936 года и была сертифицирована независимо от работы Тьюринга.