Плиско В.Е. - Введение в математическую логику - 13. Формальная арифметика

00:00:15 Введение. Аксиомы Пеано. Арифметика второго порядка 00:11:20 Категоричность 00:20:11 Операции сложения и умножения. Элементарный язык арифметики LA 00:30:11 Нестандартные модели арифметики. Арифметическое множество. Арифметическая функция 00:43:04 Подстановка. Минимизация. Китайская теорема об остатках 00:51:57 Бета-функция Гёделя. Рекурсия 01:03:59 Арифметичность перечислимых множеств. Гёделева нумерация. Теорема о неподвижной точке 01:18:00 Теорема Тарского. Парадокс лжеца. Теория PA. Теорема Гёделя о неполноте. Неразрешимое высказывание. Неполнота PA и родственных теорий Ссылка на плейлист: #математическаялогика