Семинары: С. Л. Кузнецов, Лекция 4. Кодирование примитивно-рекурсивных функций

СЕМИНАРЫ


Спецкурс «Математическая логика, часть 2» 5 марта 2020 г. 16:45, г. Москва, МГУ, Главное здание, ауд. 13-02

Лекция 4. Кодирование примитивно-рекурсивных функций С. Л. Кузнецов
https://youtu.be/MlpB14wXbX0 Аннотация: $\Sigma_1$-полнота PA. Доказуемая тотальность примитивно-рекурсивных функций в PA, доказуемость рекурсивных условий.