Теорема Успенского-Райса, теорема о неподвижной точке

Среда, 21 сентября 2011, 18:30–19:50
ПОМИ РАН

Описание

m-сведения, другие примеры неразрешимых множеств. Последовательность Шпеккера. Теорема Успенского-Райса. Теорема Клини о неподвижной точке. Программа, печатающая свой текст. Доказательство теоремы Клини для искуcственного языка программирования.