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