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

Таймкоды: 0:00 - Теорема про предикат в Арифметической иерархии 6:42 - Как превратить заданный предикат в арифметическую формулу 11:52 - 3 проблемы 16:35 - Кодирование Смаллина 33:34 - Устройство S(a, b, x) 46:20 - Доказательства в формальной арифметике 1:06:12 - Пример вывода Дата лекции: 16.04.2025 Лектор: Мусатов Даниил Владимирович Оператор: Алексей Чегодаев Монтажёр: Алексей Чегодаев Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvanereHN4Hg6mOhn7ifWvwN