Математическая логика и теория алгоритмов 12. Формальная арифметика

Таймкоды: 00:00:00 - Интро 00:00:05 - Напоминание 00:03:11 - Теорема (о строгости вложенности) 00:04:27 - Утверждение (о равенстве сигма катого и пи катого) 00:34:00 - Почему иерархия арифметическая? 00:39:27 - Теорема (арифметическая иерархия = предикаты, выразимыми в формальной арифметике) 00:45:00 - Что можно выразить в арифметике? 01:00:55 - Бетта функция Гёделя 01:05:16 - Кодирование Смаллина 01:11:10 - Конструкция бетта-функции 01:11:12 - Лемма 1 01:12:36 - Лемма 2 01:18:28 - Анонс Дата лекции: 08.04.26 Лектор: Мусатов Даниил Владимирович Оператор: Чегодаев Алексей Монтажёр: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbdGv1rvfEe6CUK0g5V2q2R Плейлист