Формальные онтологии и семантика примитивных концепций оснований математики
Анализируются проблемы экспликации семантического статуса примитивных концепций оснований математики в системах Г. Фреге, Р. Кронекера и Д. Гильберта. В центре внимания стоит проблема адекватности обоснования математических систем двумя способами: через определение концепций и аксиоматикой. Концепту...
| Опубликовано в: : | Вестник Томского государственного университета. Философия. Социология. Политология № 4. С. 55-70 |
|---|---|
| Главный автор: | |
| Формат: | Статья в журнале |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001130622 |
| Итог: | Анализируются проблемы экспликации семантического статуса примитивных концепций оснований математики в системах Г. Фреге, Р. Кронекера и Д. Гильберта. В центре внимания стоит проблема адекватности обоснования математических систем двумя способами: через определение концепций и аксиоматикой. Концептуализм Фреге и Кронекера противопоставляется идеологии Гильберта. Сопоставляются примитивные элементы в обоих подходах и определяется их логическая природа. |
|---|---|
| Библиография: | Библиогр.: 20 назв. |
| ISSN: | 1998-863x |