Введение в математическую логику 15. Программа Гильберта

00:00:00 - Начало 00:00:34 - Теорема Гёделя о неполноте 00:04:33 - Семантическая версия 00:08:27 - Утверждение о перечислимости множества выводимых формул 00:15:55 - Синтаксическая версия 00:27:09 - Пример арифметики Пеано 00:45:03 - Вычислимые функции без тотального вычислимого продолжения 01:07:04 - Вторая теорема о неполноте 01:17:56 - Теорема Гудстейна Дата лекции: Лектор: Михаил Николаевич Вялый Оператор: Семенов Вадим Монтажёр: Юдин Иван Плейлист: