Код ББК 22.122
22.122
Теория доказательств и конструктивная математика
Программы обоснования математики: формализм, интуиционизм, логицизм. Абстракции в математике. Логико-математические теории: формальная арифметика и др. Исследование логико-математических теорий: доказательство их непротиворечивости, разрешимости, теорема Геделя о неполноте. Метаматематика. Конструктивная и интуиционистская математика.
Уточняющие коды
Запись в классификаторе ББК средние таблицы с кодом 22.122 является конечной в иерархии и не содержит уточняющих элементов.
Вышестоящие объекты
Схема иерархии в классификаторе ББК средние таблицы для кода 22.122
Средние таблицы
ЕСТЕСТВЕННЫЕ НАУКИ
Физико-математические науки
Математика
Основания математики. Математическая логика
Полная расшифровка кода: Код ББК 22.122. Онлайн-классификатор ББК, Средние таблицы, ЕСТЕСТВЕННЫЕ НАУКИ, Физико-математические науки, Математика, Основания математики. Математическая логика, Теория доказательств и конструктивная математика.