Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

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


Что: Лекция
Когда: Среда, 21 сентября 2011, 18:30–19:50
Где: ПОМИ РАН

Описание

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

Видео