Материалов:
1 082 141

Репозиториев:
30

Авторов:
761 409

Формальные онтологии и семантика примитивных концепций оснований математики

Дата публикации: 2013

Дата публикации в реестре: 2024-03-01T18:03:13Z

Аннотация:

Анализируются проблемы экспликации семантического статуса примитивных концепций оснований математики в системах Г. Фреге, Р. Кронекера и Д. Гильберта. В центре внимания стоит проблема адекватности обоснования математических систем двумя способами: через определение концепций и аксиоматикой. Концептуализм Фреге и Кронекера противопоставляется идеологии Гильберта. Сопоставляются примитивные элементы в обоих подходах и определяется их логическая природа.

Тип: статьи в журналах

Источник: Вестник Томского государственного университета. Философия. Социология. Политология. 2013. № 4. С. 55-70


Связанные документы (рекомендация CORE)