Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=интуиционистская математика<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.


    Левченко, А. С.
    К проблеме онто-гносеологического истолкования оснований арифметики в течении интуиционизма [Текст] / Левченко А. С. // Вестник Оренбургского государственного университета. - 2008. - N 9 (91), сентябрь. - С. 10-15. - Библиогр.: с. 15 (5 назв. ) . - ISSN 1814-6457
УДК
^a510
^a1
ББК 22.1 + 87
Рубрики: Математика
   Общие вопросы математики
   Философия
   Общие вопросы философии
Кл.слова (ненормированные):
математики -- интуиционизм -- интуиционисты -- философия математики -- арифметические понятия -- арифметика -- онто-гносеологическое истолкование -- онтология -- гносеология -- природа математических истин -- интуиционистская математика -- натуральные числа -- континуум
Аннотация: На основе работ А. Гейтинга, Г. Вейля и А. Пуанкаре выявляются онтологические и теоретико-познавательные установки программы интуиционизма в истолковании таких исходных арифметических понятий как натуральное число, следование в ряду натуральных чисел, континуум и пр. Обосновывается утверждение, что в интуиционистских программах обоснования математики, в числе прочего, закладываются предпосылки объективистского, реалистического истолкования природы математических истин и объектов.


Доп.точки доступа:
Гейтинг, А.; Вейль, Г.; Пуанкаре, А.

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


    Хаханян, В. Х.
    Базисный вариант аксиоматической теории множеств с подлежащей интуиционистской логикой [Текст] / В. Х. Хаханян // Вестник Московского университета. Сер. 7, Философия. - 2008. - N 4. - С. 92-105. - Библиогр. в примеч. - Примеч.: с. 104-105 . - ISSN 0130-0091. - ISSN 0201-7385
УДК
^a16
ББК 87.4
Рубрики: Логика
   Общие вопросы логики
Кл.слова (ненормированные):
теория множеств -- математическая логика -- интуиционистская логика -- интуиционизм -- интуиционистская математика
Аннотация: В статье предлагается формализованный вариант теории множеств с подлежащей интуиционистской логикой, который мог бы играть роль аксиоматической базисной системы теории множеств и был бы признаваем исследователями других направлений в основаниях математики (классиками, интуиционистами, конструктивистами и т. д. ) как нейтральный по отношению к развиваемым ими вариантами теории множеств.


Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)