City: Saint Petersburg Novosibirsk Kazan Language: Русский English
What: Lecture
When: Sunday, 27 September 2009, 17:20–18:50
Where: ПОМИ РАН
Slides: mfcs_lecture_270909.pdf

Description

Теорема Успенского–Райса. Теорема о неподвижной точке. Машины Тьюринга. Предикатные формулы. Неразрешимость исчисления предикатов. Выразимость в арифметике. Кодирование конечных последовательностей.