| Что: | Лекция |
| Когда: | Воскресенье, 27 сентября 2009, 17:20–18:50 |
| Где: | ПОМИ РАН |
| Слайды: | mfcs_lecture_270909.pdf |
Теорема Успенского–Райса. Теорема о неподвижной точке. Машины Тьюринга. Предикатные формулы. Неразрешимость исчисления предикатов. Выразимость в арифметике. Кодирование конечных последовательностей.
