Электронные ресурсы

Базы данных


Статьи из журналов: 2001-2014 - результаты поиска

Вид поиска
Электронный каталог
Статьи из журналов: 2001-2014
Труды ОмГУ
История ОмГУ
Сводный каталог периодических изданий вузовских библиотек г.Омска
Область поиска
в найденном
 Найдено в других БД:Электронный каталог (3)Труды ОмГУ (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=интуиционизм<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.


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


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


    Печенкин, А. А.
    [Рецензия] [Текст] / А. А. Печенкин // Вестник Московского университета. Сер. 7, Философия. - 2008. - N 4. - С. 121-123. - Библиогр. в примеч. - Рец. на кн.: Патога А. Математика: наш компас в реальном мире? Три альтернативы. - Афины : Ниссон академик, 2007. - 132 с. - Примеч.: с. 123 . - ISSN 0201-7385
УДК
^a1
^a510
ББК 87.25 + 22.1
Рубрики: Философия
   Философия науки
   Математика
   Общие вопросы математики
Кл.слова (ненормированные):
рецензии -- реальность (философия) -- философия математики -- логицизм -- формализм -- интуиционизм


Доп.точки доступа:
Патога, Анна \а.\

Найти похожие
3.
165
М 158

    Маккормик, П.
    Технологическая конъюнктура, этическая инновация и способность видеть истину в "Эко-этике" [Текст] / П. Маккормик // Вопросы философии. - 2011. - N 10. - С. 76-91. - Библиогр.: с. 85-86. - Примеч.: с. 86-91 . - ISSN 0042-8744
УДК
165
ББК 87.22
Рубрики: Философия
   Теория познания
Кл.слова (ненормированные):
этика -- эко-этика -- истина -- логос -- эко-этические тезисы -- интуиция -- интуиционизм -- мораль
Аннотация: В статье дается критический анализ эко-этического проекта Т. Имамити.


Доп.точки доступа:
Лахути, Д. Г. \пер.\; Имамити, Томонобу

Найти похожие
4.
1
Х 270

    Хаханян, Валерий Христофорович (доктор философских наук; профессор).
    Интуиционизм и формализм: различие и единство [Текст] : (сравнительный анализ) / В. Х. Хаханян // Вестник Московского университета. Сер. 7. Философия. - 2012. - № 5. - С. 57-69. - Библиогр.: с. 69 . - ISSN 0201-7385
УДК
1
511
ББК 87.25 + 22.13
Рубрики: Философия
   Философия науки
   Математика
   Теория чисел
Кл.слова (ненормированные):
математики -- математики-интуиционисты -- философы -- философия математики -- теория множеств -- математический анализ -- финитность -- интуиционизм -- формализм
Аннотация: Проводится сравнительный анализ взглядов на существование и определение множества представителей главных философско-математических направлений ХХ века - Л. Я. Э. Брауэра и Д. Гильберта.


Доп.точки доступа:
Кантор, Г.; Брауэр, Л. Я. Э.; Гильберт, Д.; Кант, Иммануил (немецкий философ ; 1724-1804)

Найти похожие
5.
517
Х 270

    Хаханян, В. Х.
    Независимость принципа униформизации от тезиса Черча в интуиционистской теории множеств / В. Х. Хаханян // Известия РАН. Серия математическая. - 2013. - Т. 77, № 6. - С. 207-222. - Библиогр.: с. 222 (11 назв.) . - ISSN 0373-2436
УДК
517
ББК 22.16
Рубрики: Математика
   Математический анализ
Кл.слова (ненормированные):
интуиционистские теории множеств -- униформизация -- тезис Черча -- Черча тезис -- принципы Маркова -- Маркова принципы -- теории множеств -- множества -- интуиционистская логика -- интуиционизм -- интуиционистские системы -- аксиоматические системы
Аннотация: Доказана независимость сильного принципа униформизации от тезиса Черча с выбором в интуиционистской теории множеств с аксиомой объемности, расширенной принципами Маркова и двойного дополнения множеств.


Доп.точки доступа:
Московский государственный университет путей сообщения

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