Формализации Метод
способ получения формальной системы из содержательной математич. Теории. Один из основных методов в доказателъств теории. Применение Ф. М. Подразумевает выполнение следующих этапов. 1) Символизация исходной математич. Теории. При этом все предложения теории записываются в подходящем логико-математич. Языке L. 2) Дедуктивный анализ теории и выделение аксиом, т. Е. Тех предложений теории, из к-рых логически выводимы все предложения теории. 3) Присоединение аксиом в их символич. Записи к подходящему, основанному на языке L, логическому исчислению. Полученная при этом формальная система уже сама является объектом точного математич. Изучения (см. Аксиоматический метод, Доказательств теория). Лит.:[1] Клини С. К., Введение в метаматематику, пер.
С англ., М., 1957. С. Н. Артемов.
Дополнительный поиск Формализации Метод
На нашем сайте Вы найдете значение "Формализации Метод" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Формализации Метод, различные варианты толкований, скрытый смысл.
Первая буква "Ф". Общая длина 18 символа