Формальные онтологии и семантика примитивных концепций оснований математики
Анализируются проблемы экспликации семантического статуса примитивных концепций оснований математики в системах Г. Фреге, Р. Кронекера и Д. Гильберта. В центре внимания стоит проблема адекватности обоснования математических систем двумя способами: через определение концепций и аксиоматикой. Концепту...
| Published in: | Вестник Томского государственного университета. Философия. Социология. Политология № 4. С. 55-70 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001130622 |