Дано две веревки и зажигалка. Известно, что одна сгорает за час, другая за полчаса. При этом вполне возможно, что горят они неравномерно

Пост утверждает, что всякая вычислимая функция вычислима по Посту, т. е. с помощью машины Поста