Суровцев, Валерий Александрович (доктор философских наук). Ф. П. Рамсей и интуиционизм Г. Вейля [Текст] / В. А. Суровцев, И. А. Эннс> // Вестник Томского государственного университета. Философия. Социология. Политология. - 2012. - № 2 (18). - С. 173-187. - Библиогр.: с. 187 (15 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки http://elibrary.ru
Рубрики: Философия Всемирная история философии Кл.слова (ненормированные): математики -- логики -- философия математики -- логицизм -- интуиционизм -- вариативные гипотетические выражения -- гипотетические выражения -- экзистенциальные утверждения -- общие утверждения -- утверждения Аннотация: Рассматривается эволюция взглядов Франка Пеннинстона Рамсея на философию математики. Показано, что он отходит от программы логицизма в основаниях математики и развивает взгляды, близкие "умеренному" интуиционизму Германа Вейля. Доп.точки доступа: Эннс, Ирина Андреевна (кандидат философских наук); Рамсей, Ф. П. (математик ; 1903-1930); Вейль, Г. (немецкий математик ; 1885-1955) Нет сведений об экземплярах (Источник в БД не найден) |
Суровцев, Валерий Александрович (доктор философских наук). Критика Ф. П. Рамсеем формализма и интуиционизма в основаниях математики [Текст] / В. А. Суровцев, К. А. Габрусенко> // Вестник Томского государственного университета. Философия. Социология. Политология. - 2014. - № 4 (28). - С. 78-84. - Библиогр.: с. 84 (7 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки http://elibrary.ru . - ISSN 1998-863x
Рубрики: Философия Философия науки Кл.слова (ненормированные): конференции -- доклады -- математика -- философия математики -- логика -- законы логики -- формализм -- интуиционизм -- утверждения -- общие утверждения -- экзистенциальные утверждения -- математики -- логики Аннотация: Доклад конференции "Современная аналитическая философия: история, проблемы и методы" (Томск, 2014). Позиция Франка Пеннинстона Рамсея относительно программ формализма и интуиционизма в основаниях математики. Доп.точки доступа: Габрусенко, Кирилл Александрович (старший преподаватель); Рамсей, Ф. П. (математик ; 1903-1930) Нет сведений об экземплярах (Источник в БД не найден) |