Справочная книга по математической логике в четырех частях. Часть 4. Теория доказательств и конструктивная математика

Математическая логика традиционно подразделяется на четыре раздела: теория моделей, теория множеств, теория рекурсии и теория доказательств. Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам. Первая глава или две первые главы в каждой части носят вводный характер. Далее следуют главы, в которых рассматриваются более специальные вопросы, а также приложения математической логики. Каждая глава написана для тех, кто не является специалистом в данной области. Издание рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.
Оглавление. Часть 4
От редактора русского перевода
Введение
Теоремы о неполноте.
Теория доказательств: некоторые приложения устранения сечения.
Теорема Эрбрана и генценовское понятие прямого доказательства.
Теории конечного типа, родственные математической практике.
Аспекты конструктивной математики.
Логика топосов. М. Фурман
Бестиповое лямбда-исчисление.
Математическая неполнота в арифметике Пеано.
Теорема непрерывности для эффективных операторов.
Теорема Эрбрана.
Каноническое дерево вывода для арифметических формул.
Ступенчатая семантика А. А. Маркова.
Мажорантная семантика
Равномерно непрерывное конструктивное отображение квадрата в себя без неподвижных точек.
Предметный указатель