Теорема о неподвижной точке. Программа, печатающая свой текст. Доказательство с помощью искусственного языка программирования. Машины Тьюринга. Неразрешимость задачи Поста.