| What: | Lecture |
| When: | Sunday, 27 September 2009, 17:20–18:50 |
| Where: | ПОМИ РАН |
| Slides: | mfcs_lecture_270909.pdf |
Теорема Успенского–Райса. Теорема о неподвижной точке. Машины Тьюринга. Предикатные формулы. Неразрешимость исчисления предикатов. Выразимость в арифметике. Кодирование конечных последовательностей.
