- Определения и примеры
- Связность
- Глава 2 из конспекта
- Виро О.Я., Иванов О.А., Нецветаев Н.Ю., Харламов В.М., Элементарная топология
- Язык исчисления высказываний
- Общезначимость
- Выводимость
- Теорема о дедукции
- Главы 3-4 из конспекта
- Теорема о дедукции
- Теорема о корректности
- Теорема о полноте
- BHK-интерпретация логических связок
- Теоретико-множественная интерпретация логических связок
- Формализация интуиционистской логики: варианты 10 аксиомы.
- Топологическая интерпретация логических связок
- В.Е.Плиско, В.Х.Хаханян, Интуиционистская логика, Мех-Мат МГУ 2009 (http://lpcs.math.msu.su/~plisko/intlog.pdf)
- Ещё раз о философии, мотивация определений
- Теорема Гливенко (формулировка)
- Решётки: общее определение, дистрибутивная, импликативная
- В.Е.Плиско, В.Х.Хаханян, Интуиционистская логика, Мех-Мат МГУ 2009 (http://lpcs.math.msu.su/~plisko/intlog.pdf)
- Алгебры Гейтинга и Булевы алгебры
- Алгебра Линденбаума
- Полнота Алгебр Гейтинга как моделей ИИВ
- В.Е.Плиско, В.Х.Хаханян, Интуиционистская логика, Мех-Мат МГУ 2009 (http://lpcs.math.msu.su/~plisko/intlog.pdf)
- Модели Крипке
- Модель Крипке есть алгебра Гейтинга
- Нетабличность ИИВ
- Гёделевы алгебры
- Гёделевизация алгебры Линденбаума
- Гомоморфизм алгебр Гейтинга
- В.Е.Плиско, В.Х.Хаханян, Интуиционистская логика, Мех-Мат МГУ 2009 (http://lpcs.math.msu.su/~plisko/intlog.pdf)
- Дизъюнктивность ИИВ (⊢α∨β влечёт ⊢α или ⊢β)
- Язык исчисления предикатов
- Структуры и модели в ИП, предметное множество
- Свободные и связанные вхождения, свобода для подстановки
- Аксиомы и правила вывода в ИП
- Теорема о дедукции
- Теорема о корректности ИП (начало)
- Н.К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Языки и исчисления. https://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf
- Теорема о корректности ИП
- Непротиворечивое множество замкнутых формул / замкнутых бескванторных формул
- Модель для непротиворечивого множества з.ф. / з.б.ф.
- Следствие в ИП
- Теорема Гёделя о полноте ИП (формулировка)
- Н.К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Языки и исчисления. https://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf
- Аксиоматика Пеано
- Теория 1 порядка
- Формальная арифметика
- Примитивно-рекурсивные функции
- Н.К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Вычислимые функции. https://www.mccme.ru/free-books/shen/shen-logic-part3-2.pdf
- Э. Мендельсон. Введение в математическую логику. М. "Наука", 1971
- П.Дж. Коэн. Теория множеств и континуум-гипотеза. М. "Мир", 1969
- Минимизация. Рекурсивные функции.
- Бета-функция Гёделя.
- Представимость рекурсивных функций в формальной арифметике.
- Н.К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Вычислимые функции. https://www.mccme.ru/free-books/shen/shen-logic-part3-2.pdf
- Э. Мендельсон. Введение в математическую логику. М. "Наука", 1971
- П.Дж. Коэн. Теория множеств и континуум-гипотеза. М. "Мир", 1969
Гёделева нумерация, арифметизация математики, рекурсивность представимых в формальной арифметике функций
- Гёделева нумерация.
- Любая представимая в формальной арифметике функция рекурсивна.
- Формулировка и идея доказательства первой теоремы Гёделя о неполноте арифметики.
- Э. Мендельсон. Введение в математическую логику. М. "Наука", 1971
- Первая теорема Гёделя о неполноте формальной арифметики (с доказательством).
- Первая теорема Гёделя о неполноте формальной арифметики в форме Россера.
- Условия выводимости Гильберта-Бернайса-Лёба.
- Вторая теорема Гёделя о неполноте формальной арифметики (с кратким изложением доказательства).
- Э. Мендельсон. Введение в математическую логику. М. "Наука", 1971
- Мотивация создания теории множеств.
- Краткое изложение аксиоматики Цермело-Френкеля.