Лекция 14. Интуиционистская логика

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