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

00:00:00 - Первая теорема Гёделя о неполноте (формулировка)
00:05:38 - Вторая теорема Гёделя (формулировка)
00:08:30 - Примеры невыводимых истин
00:15:27 - Доказательство первой теоремы Гёделя
00:35:40 - Смежная теорема
00:42:30 - Доказательство второй теоремы Гёделя
00:50:22 - Свойства арифметической иерархии
Дата лекции: 08.05.24
Лектор: Степанов Илья Даниилович
Оператор: Ммаксим Карпов
Монтажёр: Иван Сиомаш
Плейлист: • Математическая логика ...