Левченко, А. С. К проблеме онто-гносеологического истолкования оснований арифметики в течении интуиционизма [Текст] / Левченко А. С.> // Вестник Оренбургского государственного университета. - 2008. - N 9 (91), сентябрь. - С. 10-15. - Библиогр.: с. 15 (5 назв. ) . - ISSN 1814-6457
Рубрики: Математика Общие вопросы математики Философия Общие вопросы философии Кл.слова (ненормированные): математики -- интуиционизм -- интуиционисты -- философия математики -- арифметические понятия -- арифметика -- онто-гносеологическое истолкование -- онтология -- гносеология -- природа математических истин -- интуиционистская математика -- натуральные числа -- континуум Аннотация: На основе работ А. Гейтинга, Г. Вейля и А. Пуанкаре выявляются онтологические и теоретико-познавательные установки программы интуиционизма в истолковании таких исходных арифметических понятий как натуральное число, следование в ряду натуральных чисел, континуум и пр. Обосновывается утверждение, что в интуиционистских программах обоснования математики, в числе прочего, закладываются предпосылки объективистского, реалистического истолкования природы математических истин и объектов. Доп.точки доступа: Гейтинг, А.; Вейль, Г.; Пуанкаре, А. |
Хаханян, Валерий Христофорович (доктор философских наук; профессор). Интуиционизм и формализм: различие и единство [Текст] : (сравнительный анализ) / В. Х. Хаханян> // Вестник Московского университета. Сер. 7, Философия. - 2012. - № 5. - С. 57-69. - Библиогр.: с. 69 . - ISSN 0201-7385
Рубрики: Философия Философия науки, 20 в. Математика Теория чисел Кл.слова (ненормированные): математики -- математики-интуиционисты -- философы -- философия математики -- теория множеств -- математический анализ -- финитность -- интуиционизм -- формализм Аннотация: Проводится сравнительный анализ взглядов на существование и определение множества представителей главных философско-математических направлений ХХ века - Л. Я. Э. Брауэра и Д. Гильберта. Доп.точки доступа: Кантор, Г.; Брауэр, Л. Я. Э.; Гильберт, Д.; Кант, И. (немецкий философ ; 1724-1804) Нет сведений об экземплярах (Источник в БД не найден) |