Роль аксиоматизации в процессе построения математической теории
Автор: Масалова Светлана Ивановна
Журнал: Вестник Донского государственного технического университета @vestnik-donstu
Рубрика: Философия
Статья в выпуске: 3 (34) т.7, 2007 года.
Бесплатный доступ
Рассматривается одна из форм формализации - аксиоматизация - и ее роль в процессе построения математической теории и ее основ (абстрактных объектов математики). Аксиоматический метод применяется на этапе систематизации добытого знания и является как результатом, так и средством уплотнения математического знания.
Логический метод, формализация, аксиоматизация, аксиоматический метод, содержательная аксиоматика, полуформальная аксиоматизация, формальная аксиоматика, формальная система, исчисление, метод интерпретации
Короткий адрес: https://sciup.org/14249136
IDR: 14249136
Список литературы Роль аксиоматизации в процессе построения математической теории
- Садовский В.Н. Аксиоматический метод построения научного знания//Философские вопросы современной формальной логики. -М., 1962. -С. 215-262.
- Сухотин А.К. Науки и информация. -М., 1971. -127 с.
- Принсгейм А. Ценность и мнимая не-ценность математики//Новые идеи в математике. -СПб., 1913. -Сб. № 1. -С. 15-23.
