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

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