ФОРМАЛИЗАЦИИ МЕТОД

ФОРМАЛИЗАЦИИ МЕТОД

способ получения формальной системы из содержательной математич. теории; один из основных методов в доказателъств теории.
Применение Ф. м. подразумевает выполнение следующих этапов.
1) Символизация исходной математич. теории. При этом все предложения теории записываются в подходящем логико-математич. языке L.
2) Дедуктивный анализ теории и выделение аксиом, т. е. тех предложений теории, из к-рых логически выводимы все предложения теории.
3) Присоединение аксиом в их символич. записи к подходящему, основанному на языке L, логическому исчислению.
Полученная при этом формальная система уже сама является объектом точного математич. изучения (см. Аксиоматический метод, Доказательств теория).

Лит.:[1] Клини С. К., Введение в метаматематику, пер. с англ., М., 1957.
С. Н. Артемов.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "ФОРМАЛИЗАЦИИ МЕТОД" в других словарях:

  • МЕТОД — (от греч. methodos путь, способ исследования, обучения, изложения) совокупность приемов и операций познания и практической деятельности; способ достижения определенных результатов в познании и практике. Применение того или иного М. определяется… …   Философская энциклопедия

  • Метод интервью — психологический вербально коммуникативный метод, заключающийся в проведении разговора между психологом или социологом и субъектом по заранее разработанному плану. Содержание 1 Общие сведения 2 Виды интервью …   Википедия

  • метод —         МЕТОД в широком смысле сознательный способ достижения какого либо результата, осуществление определенной деятельности, решение некоторых задач. М. предполагает известную последовательность действий на основе четко осознаваемого,… …   Энциклопедия эпистемологии и философии науки

  • МЕТОД АКСИОМАТИЧЕСКИЙ — один из способов дедуктивного построения научн. теорий. В основании аксиоматически построенной теории лежат аксиомы, т. е. предложения, принимаемые без доказательства. Все остальные предложения теории выводятся из аксиом (т. е. доказываются,… …   Российская социологическая энциклопедия

  • МЕТОД ЭКСПЕРТНЫХ ОЦЕНОК — специфич. социологич. метод получения информации об объекте с помощью специалистов экспертов в определенной области. Экспертные оценки широко используются в прогнозировании, при определении целей соц. развития или принятии плановых решений,… …   Российская социологическая энциклопедия

  • Метод формализации — это метод изучения самых разнообразных объектов путем отображения их содержания и структуры в знаковой форме, при помощи самых разнообразных «искусственных» языков (язык математики, математической логики, химии, радиотехники и ряда др. наук) …   Исследовательская деятельность. Словарь

  • Метод — (от греч. méthodos путь исследования или познания, теория, учение)         совокупность приёмов или операций практического или теоретического освоения действительности, подчинённых решению конкретной задачи. В качестве М. могут выступать система… …   Большая советская энциклопедия

  • ДСМ-метод — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. ДСМ метод – это метод автоматического порождения гипотез. Формализует схему правдоподобного и достоверного вывода, н …   Википедия

  • НЕФОРМАЛЬНЫЙ АКСИОМАТИЧЕСКИЙ МЕТОД — аксиоматический метод, не фиксирующий жестко применяемого языка и тем самым не фиксирующий границы содержательного понимания предмета, но требующий аксиоматич. определения всех специальных для данного предмета исследования понятий. Этот термин не …   Математическая энциклопедия

  • АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»