Лекция 4. Кодирование примитивно-рекурсивных функций в PA | Открытые видеолекции учебных курсов МГУ

Теорема 2: в арифметике Пеано Σ1 - полна

x 1.00

МатематикаМатематическая логика. Часть 2

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

КузнецовСтепан Львович

Предыдущая лекция Следующая лекция

2025 МГУ имени М.В. ЛомоносоваУсловия использования сайта Сведения об образовательной организацииНашли ошибку?