Начала современного естествознания - формализм
Связанные словари
Формализм
формализм
(от лат. forma)1) предпочтение, отдаваемое форме перед содержанием;
2) соблюдение внешней формы в ущерб существу дела;
3) тот или иной математический прием, лежащий в основе какой-либо науки, раздела науки, конкретный формализм используемый в физике (например гамильтонов или лагранжев формализм).
Начала современного естествознания. Тезаурус. — Ростов-на-Дону
В.Н. Савченко, В.П. Смагин
2006
Рейтинг статьи:
См. в других словарях
1.
направление в основаниях математики, программа к-рого была выдвинута Д. Гильбертом (D. Hilbert). Целью этой программы было доказательство непротиворечивости математики точным математич. способом. Программа Гильберта предусматривала уточнение понятия доказательства, чтобы последние могли быть объектами математич. теории доказательств теории. Чтобы сделать возможным точное рассмотрение доказательств, им придается единая, точно определенная форма. Это осуществляется с помощью формализации теорий: утверждения теории заменяются конечными последовательностями определенных знаков, а логич. способы заключения формальными правилами образования новых формально представленных высказываний из уже доказанных. Таким образом, математич. теория заменяется формальной системой. Несмотря на то что попытка осуществления программы Гильберта в целом оказалась несостоятельной (см. Гёделя теорема о неполноте), проведенные в рамках этой программы исследования имели большое значение для развития многих разделов математич. логики. Термин лФ.Математическая энциклопедия. — М.: Советская энциклопедияИ. М. Виноградов1977—1985 ...Математическая энциклопедия
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 368 | |
2 | 328 | |
3 | 328 | |
4 | 326 | |
5 | 326 | |
6 | 318 | |
7 | 308 | |
8 | 308 | |
9 | 307 | |
10 | 307 | |
11 | 305 | |
12 | 300 | |
13 | 298 | |
14 | 294 | |
15 | 292 | |
16 | 291 | |
17 | 274 | |
18 | 269 | |
19 | 269 | |
20 | 266 |