Математическая логика и теория алгоритмов 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
Лектор: Степанов Илья Даниилович

Оператор: Ммаксим Карпов
Монтажёр: Иван Сиомаш

Плейлист:    • Математическая логика и теория алгоритмов ...