Роль аксиоматизации в процессе построения математической теории
Автор: Масалова Светлана Ивановна
Журнал: Advanced Engineering Research (Rostov-on-Don) @vestnik-donstu
Рубрика: Философия
Статья в выпуске: 3 (34) т.7, 2007 года.
Бесплатный доступ
Рассматривается одна из форм формализации - аксиоматизация - и ее роль в процессе построения математической теории и ее основ (абстрактных объектов математики). Аксиоматический метод применяется на этапе систематизации добытого знания и является как результатом, так и средством уплотнения математического знания.
Логический метод, формализация, аксиоматизация, аксиоматический метод, содержательная аксиоматика, полуформальная аксиоматизация, формальная аксиоматика, формальная система, исчисление, метод интерпретации
Короткий адрес: https://sciup.org/14249136
IDR: 14249136 | УДК: 165.
The role of axiomatization in the process of mathematical theory construction
The article covers one of the formalization forms - axiomatization - and its role in the process of construction of mathematical theory and its foundations (abstract mathematical objects). Axiomatic method is used at the stage of systematization of acquired knowledge and is both the result and the means of mathematical knowledge consolidation.
Список литературы Роль аксиоматизации в процессе построения математической теории
- Садовский В.Н. Аксиоматический метод построения научного знания//Философские вопросы современной формальной логики. -М., 1962. -С. 215-262.
- Сухотин А.К. Науки и информация. -М., 1971. -127 с.
- Принсгейм А. Ценность и мнимая не-ценность математики//Новые идеи в математике. -СПб., 1913. -Сб. № 1. -С. 15-23.
