Библиотека Амурского Государственного Университета

Главная

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

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

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

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

БД "Книги" (2)

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

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

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

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

Хаханян, В. Х.
Базисный вариант аксиоматической теории множеств с подлежащей интуиционистской логикой [Текст] / В. Х. Хаханян // Вестник Московского университета. Сер. 7, Философия. - 2008. - N 4. - С. 92-105. . - Библиогр. в примеч. - Примеч.: с. 104-105

УДК

^a16

ББК 87.4
Рубрики: Логика
Общие вопросы логики
Кл.слова (ненормированные):
теория множеств -- математическая логика -- интуиционистская логика -- интуиционизм -- интуиционистская математика
Аннотация: В статье предлагается формализованный вариант теории множеств с подлежащей интуиционистской логикой, который мог бы играть роль аксиоматической базисной системы теории множеств и был бы признаваем исследователями других направлений в основаниях математики (классиками, интуиционистами, конструктивистами и т. д. ) как нейтральный по отношению к развиваемым ими вариантами теории множеств.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Печенкин, А. А.
[Рецензия] [Текст] / А. А. Печенкин // Вестник Московского университета. Сер. 7, Философия. - 2008. - N 4. - С. 121-123. . - Библиогр. в примеч. - Рец. на кн.: Патога А. Математика: наш компас в реальном мире? Три альтернативы. - Афины : Ниссон академик, 2007. - 132 с. - Примеч.: с. 123

УДК

^a1

^a510

ББК 87.25 + 22.1
Рубрики: Философия
   Философия науки
   Математика
   Общие вопросы математики
Кл.слова (ненормированные):
рецензии -- реальность (философия) -- философия математики -- логицизм -- формализм -- интуиционизм

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

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Маккормик, П.
Технологическая конъюнктура, этическая инновация и способность видеть истину в "Эко-этике" [Текст] / П. Маккормик ; пер. с англ. Д. Г. Лахути // Вопросы философии. - 2011. - N 10. - С. 76-91. . - Библиогр.: с. 85-86. - Примеч.: с. 86-91

УДК

^a165

ББК 87.22
Рубрики: Философия
Теория познания
Кл.слова (ненормированные):
этика -- эко-этика -- истина -- логос -- эко-этические тезисы -- интуиция -- интуиционизм -- мораль
Аннотация: В статье дается критический анализ эко-этического проекта Т. Имамити.

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

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Хаханян, В. Х.
Интерпретация существования в математике [Текст] / В. Х. Хаханян // Философские науки. - 2011. - № 12. - С. 116-128. - Библиогр. в примеч. - Примеч.: с. 127-128 . - ISSN 0235-1188

УДК

^a1

ББК 87.25
Рубрики: Философия
Философия науки
Кл.слова (ненормированные):
интуиционизм -- математика -- объекты -- множества -- существование -- интерпретация -- математики
Аннотация: В статье рассматриваются взгляды математиков Г. Кантора, Д. Брауэра и Л. Э. Я. Гильберта на понимание вопроса существования объекта в математике.

Доп.точки доступа:
Гильберт, Д. (математик ; 1862-1943); Брауэр, Л. Э. Я. (математик ; 1881-1966); Кантор, Г. (математик ; 1845-1918)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Хаханян, Валерий Христофорович (доктор философских наук; профессор).
Интуиционизм и формализм: различие и единство [Текст] : (сравнительный анализ) / В. Х. Хаханян // Вестник Московского университета. Сер. 7, Философия. - 2012. - № 5. - С. 57-69. - Библиогр.: с. 69 . - ISSN 0201-7385

УДК

^a1

^a511

ББК 87.25 + 22.13
Рубрики: Философия
   Философия науки, 20 в.
   Математика
   Теория чисел
Кл.слова (ненормированные):
математики -- математики-интуиционисты -- философы -- философия математики -- теория множеств -- математический анализ -- финитность -- интуиционизм -- формализм
Аннотация: Проводится сравнительный анализ взглядов на существование и определение множества представителей главных философско-математических направлений ХХ века - Л. Я. Э. Брауэра и Д. Гильберта.

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

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

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

УДК

^a517

ББК 22.16
Рубрики: Математика
Математический анализ
Кл.слова (ненормированные):
Маркова принципы -- Черча тезис -- аксиоматические системы -- интуиционизм -- интуиционистская логика -- интуиционистские системы -- интуиционистские теории множеств -- множества -- принципы Маркова -- тезис Черча -- теории множеств -- униформизация
Аннотация: Доказана независимость сильного принципа униформизации от тезиса Черча с выбором в интуиционистской теории множеств с аксиомой объемности, расширенной принципами Маркова и двойного дополнения множеств.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

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

Статистика за 30.07.2024
Число запросов	19973
Число посетителей	1
Число заказов	0

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