|
СЕМИНАРЫ |
Спецкурс "Доказуемость и формальная арифметика"
|
|||
|
Лекция 7. Представимость функций Л. Д. Беклемишев |
|||
Аннотация: Представимость функций в данной теории. Представимость вычислимых функций в арифметике MA'. Кодирование последовательнстей. Гёделева нумерация синтаксиса формальной арифметики. |