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

Таймкоды: 0:00 - Выводимость в арифметике, вывод коммутативности сложения 24:34 - Доказуемые формулы 29:50 - Теорема Гёделя (б/д) 31:21 - Теорема Тарского 50:30 - Непосредственно доказательство теорем Гёделя и Тарского 1:09:08 - Теорема Гёделя-Россера 1:10:13 - Вторая теорема Гёделя 1:12:05 - Колмогоровская сложность Дата лекции: 23.04.2025 Лектор: Мусатов Даниил Владимирович Оператор: Алексей Чегодаев Монтажёр: Алексей Чегодаев Плейлист:   • Математическая логика и теория алгоритмов ...