Формализм (матем.) это:

Формализм (матем.)
Формализм в математике, см. Математический формализм.

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Смотреть что такое "Формализм (матем.)" в других словарях:

  • ФОРМАЛИЗМ — направление в основаниях математики, объединившее идущую от Г. Фреге идею строгой формализации матем. рассуждений с абстрактным подходом к математике как неинтерпретированному исчислению (формальной системе) с целью доказательства её… …   Естествознание. Энциклопедический словарь

  • ЛАГРАНЖЕВ ФОРМАЛИЗМ — основанная на вариационном принципе формулировка механики и теории поля, в к рой состояние системы задаётся обобщёнными координатами qi и их производными по времени обобщёнными скоростями (см. Вариационные принципы механики). Исходным для Л. ф.… …   Физическая энциклопедия

  • ЭЛЕМЕНТАРНЫЕ ЧАСТИЦЫ — Введение. Э. ч. в точном значении этого термина первичные, далее неразложимые ч цы, из к рых, по предположению, состоит вся материя. В совр. физике термин «Э. ч.» обычно употребляется не в своём точном значении, а менее строго для наименования… …   Физическая энциклопедия

  • ТЕОРИЯ — (от греч. theoria рассмотрение, исследование) совокупность высказываний, замкнутых относительно логического следования. Такое предельно общее и наиболее абстрактное определение Т. дает логика. С логической т.зр. теорией можно назвать любое… …   Философская энциклопедия

  • ФИНИТИЗМ —         (лат. finitus определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико множеств. математики. Программа …   Философская энциклопедия

  • ЭФФЕКТИВИЗМ —         направление в филос. основаниях математики, ставившее своей задачей переосмысление «платонистской» концептуальной основы содержат. (канторовской) теории множеств с т. зр. принципов эмпиризма. Выдвинуто в кон. 19 нач. 20 вв. в работах… …   Философская энциклопедия

  • НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) …   Философская энциклопедия

  • ТОПОЛОГИЯ — в широком смысле область математики, изучающая топологич. свойства разл. матем. и физ. объектов. Интуитивно, к топологич. относятся качественные, устойчивые свойства, не меняющиеся при деформациях. Матем. формализация идеи о топологич. свойствах… …   Физическая энциклопедия

  • МАКСВЕЛЛА УРАВНЕНИЯ — фундаментальные ур ния классич. макроскопич. электродинамики, описывающие эл. магн. явления в любой среде (и в вакууме). Сформулированы в 60 х гг. 19 в. Дж. Максвеллом на основе обобщения эмпирич. законов электрич. и магн. явлений и развития идеи …   Физическая энциклопедия

  • КВАНТОВАЯ ТЕОРИЯ ПОЛЯ. — КВАНТОВАЯ ТЕОРИЯ ПОЛЯ. Содержание:1. Квантовые поля ................. 3002. Свободные поля и корпускулярно волновой дуализм .................... 3013. Взаимодействие полей .........3024. Теория возмущений ............... 3035. Расходимости и… …   Физическая энциклопедия


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

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