Формальные онтологии и семантика примитивных концепций оснований математики
Анализируются проблемы экспликации семантического статуса примитивных концепций оснований математики в системах Г. Фреге, Р. Кронекера и Д. Гильберта. В центре внимания стоит проблема адекватности обоснования математических систем двумя способами: через определение концепций и аксиоматикой. Концепту...
| 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 |
| Summary: | Анализируются проблемы экспликации семантического статуса примитивных концепций оснований математики в системах Г. Фреге, Р. Кронекера и Д. Гильберта. В центре внимания стоит проблема адекватности обоснования математических систем двумя способами: через определение концепций и аксиоматикой. Концептуализм Фреге и Кронекера противопоставляется идеологии Гильберта. Сопоставляются примитивные элементы в обоих подходах и определяется их логическая природа. |
|---|---|
| Bibliography: | Библиогр.: 20 назв. |
| ISSN: | 1998-863x |