Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


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

Вид поиска

Область поиска
в найденном
 Найдено в других БД:Электронный каталог (4)
Поисковый запрос: (<.>K=интуиционизм<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.


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

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


Доп.точки доступа:
Лахути, Д. Г. \.\; Имамити, Т.
Прямая ссылка
Найти похожие

2.


    Целищев, В.
    Все есть число? / Виталий Целищев // Вокруг света. - 2008. - № 9. - С. 150-160. - (Наука) )
. - ISSN 0321-0669
УДК
ББК 22.1 + 87.25
Рубрики: Математика
   Общие вопросы математики

   Философия

   Философия науки

Кл.слова (ненормированные):
интуиционизм -- компьютерные доказательства -- конструктивизм -- математики -- математическая интуиция -- математические доказательства -- математические объекты -- математический платонизм -- платонизм -- свойства математических объектов -- способы существования математических объектов -- структурализм -- теории чисел -- философия математики -- философы -- числа -- число Пи -- эмпиризм
Аннотация: Анализ основных точек зрения на способы существования математических объектов. Доказательство, как критерий верности математического знания. Виды доказательств.


Доп.точки доступа:
Сриниваса, Р.
Прямая ссылка
Найти похожие

3.


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

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

Прямая ссылка
Найти похожие

4.


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

   Математика

   Общие вопросы математики

Кл.слова (ненормированные):
интуиционизм -- логицизм -- реальность (философия) -- рецензии -- философия математики -- формализм


Доп.точки доступа:
Патога, А.
Прямая ссылка
Найти похожие

5.


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

   Математика

   Теория чисел

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


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

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