Математическая логика и теория алгоритмов 13. Теорема Геделя

Таймкоды: 00:00:00 - Интро 00:00:05 - Напоминание с прошлого раза 00:03:35 - Теорема (Про связь арифметической иерархии и арифметической формулы) 00:13:40 - Аксиомы формальной арифметики 00:34:10 - Примеры выводов 00:51:10 - Подбираемся к теореме Геделя 01:01:20 - Теорема Геделя 01:05:10 - Теорема Тарского 01:14:00 - Второе доказательство Дата лекции: 15.04.26 Лектор: Мусатов Даниил Владимирович Оператор: Чегодаев Алексей Монтажёр: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbdGv1rvfEe6CUK0g5V2q2R Плейлист