Плиско В.Е. - Введение в математическую логику - 14. Интуиционистская логика

00:00:14 Теорема Тарского. Парадокс лжеца. Теория PA. Теорема Гёделя о неполноте. Неразрешимое высказывание. Неполнота PA и родственных теорий 00:11:05 Интуиционистская логика. О законе исключенного третьего. Пример 00:24:47 Интуиционистское исчисление высказываний. Корректность. Аксиома И10 00:34:38 Допустимые правила. Логические матрицы. Модель. Пример 00:50:59 Разрешимость ИИВ (интуиционистского исчисления высказываний). Нетабличность ИИВ. Модели Крипке. Истинность в модели. Пример 01:04:56 Интуиционистская логика предикатов. Модели Крипке для логики предикатов. Истинность в модели Крипке. Корректность и полнота. Пример 01:20:30 Интуиционизм и теория алгоритмов. Рекурсивная реализуемость. Реализуемость и истинность. Интуиционистская арифметика. Логическое программирование Ссылка на плейлист: #математическаялогика