Введение в математическую логику. Том 1
Формальная логика описывает математическое рассуждение средствами символических систем.
Описание
Теория типов представляет собой формальную логико-математическую систему классификации математических объектов по уровням для предотвращения парадоксов и логических противоречий. В трудах выдающихся логиков она раскрывается через построение иерархии типов, введение понятий функций различных порядков и строгое разграничение предикатов по их аргументам. В рамках математической логики теория типов устойчиво связывается с основаниями математики, проблемой разрешимости и формализацией математического рассуждения. Произведения объединяет рассмотрение логических оснований математических систем через строгую стратификацию понятий и анализ структуры математического языка.
Произведения
Профиль корпуса концепта
Тип реальности
метафизическая1100 %
Модель человека
рациональная1100 %
Тип воздействия
объяснение1100 %
Уровень рассмотрения
Классификация корпуса концепта
Базовый тип текста
оригинальная модель1100 %
Тип знания
теоретическое1100 %
Уровень знания
теоретический1100 %
Культурный контекст
западная традиция1100 %
Традиция
Значения не указаны.
Функция текста
исследовательская1100 %
Статус текста
базовый текст1100 %
Форма изложения
Серии
Серии для концепта отсутствуют.
Роль в графе
Одиночный концепт · встречается в одном произведении
Связанные концепты
Связанные концепты по заданному порогу не обнаружены.