Научная Библиотека Пермского Государственного Университета

Главная

Упрощенный режим

Базы данных

Труды учёных ПГНИУ - результаты поиска

Вид поиска

Основная библиотечная БД

Труды учёных ПГНИУ

Диссертации

Журналы

Рациональное природопользование

Иностранная периодика

Дореволюционная периодика

Библиотека юридичеcкого факультета (статьи)

Туризм

История Пермского университета

Продолжающиеся издания

Музейный книжный фонд

Область поиска

Найдено в других БД:

Основная библиотечная БД (2)

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: (<.>K=интуиционистская логика<.>)

Общее количество найденных документов : 1

Родин, А. В.
Исчисление задач А.Н. Колмогорова и томотопическая теория типов / А. В. Родин // Вестник Пермского университета. Сер.: Философия. Психология. Социология. - 2022. - № 3. - С. 368-379

УДК

^A1

ББК 87.25
Рубрики: Философия
Философия науки

Кл.слова (ненормированные):
гомотопическая теория типов -- интуиционистская логика -- исчисление задач, -- конструктивное отрицание
Аннотация: А.Н. Колмогоров в 1932 г. предложил оригинальный вариант математического интуиционизма Л. Бауэра, в котором центральную роль играет различие задач и теорем, отличающихся по своему содержанию от интуиционизма А. Гейтинга и других последователей. У современных историков и логиков существуют разные мнения по вопросу о том, следует ли считать различие между задачами и теоремами у А.Н. Колмогорова логическим или же в интуиционистской интерпретации высказываний можно считать «проблемы» А.Н. Колмогорова просто альтернативным термином для теорем.

Доп.точки доступа:
Колмогоров, Андрей Николаевич (советский математик ; 1903-1987) \а. Н.\

Найти похожие

Тематический навигатор

Статистика обращений

Статистика за 07.08.2024
Число запросов	27610
Число посетителей	468
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)