Математическая логика и теория алгоритмов 11. Арифметическая иерархия

00:00:00 - Арифметическая иерархия и связь вычислимости и арифметики 00:22:00 - Связь с формальной арифметикой 00:39:54 - Примеры выразимых предикатов в арифметике 00:53:16 - Кодирование конечных последовательностей Дата лекции: 17.04.24 Лектор: Мусатов Даниил Владимирович Оператор: Ммаксим Карпов Монтажёр: Иван Сиомаш Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbxuVVn5QJqr1FITycr93SN