- Формализм (матем.)
- Формализм в математике, см. Математический формализм.
Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.
Формализм (матем.)
Смотреть что такое "Формализм (матем.)" в других словарях:
ФОРМАЛИЗМ — направление в основаниях математики, объединившее идущую от Г. Фреге идею строгой формализации матем. рассуждений с абстрактным подходом к математике как неинтерпретированному исчислению (формальной системе) с целью доказательства её… … Естествознание. Энциклопедический словарь
ЛАГРАНЖЕВ ФОРМАЛИЗМ — основанная на вариационном принципе формулировка механики и теории поля, в к рой состояние системы задаётся обобщёнными координатами qi и их производными по времени обобщёнными скоростями (см. Вариационные принципы механики). Исходным для Л. ф.… … Физическая энциклопедия
ЭЛЕМЕНТАРНЫЕ ЧАСТИЦЫ — Введение. Э. ч. в точном значении этого термина первичные, далее неразложимые ч цы, из к рых, по предположению, состоит вся материя. В совр. физике термин «Э. ч.» обычно употребляется не в своём точном значении, а менее строго для наименования… … Физическая энциклопедия
ТЕОРИЯ — (от греч. theoria рассмотрение, исследование) совокупность высказываний, замкнутых относительно логического следования. Такое предельно общее и наиболее абстрактное определение Т. дает логика. С логической т.зр. теорией можно назвать любое… … Философская энциклопедия
ФИНИТИЗМ — (лат. finitus определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико множеств. математики. Программа … Философская энциклопедия
ЭФФЕКТИВИЗМ — направление в филос. основаниях математики, ставившее своей задачей переосмысление «платонистской» концептуальной основы содержат. (канторовской) теории множеств с т. зр. принципов эмпиризма. Выдвинуто в кон. 19 нач. 20 вв. в работах… … Философская энциклопедия
НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) … Философская энциклопедия
ТОПОЛОГИЯ — в широком смысле область математики, изучающая топологич. свойства разл. матем. и физ. объектов. Интуитивно, к топологич. относятся качественные, устойчивые свойства, не меняющиеся при деформациях. Матем. формализация идеи о топологич. свойствах… … Физическая энциклопедия
МАКСВЕЛЛА УРАВНЕНИЯ — фундаментальные ур ния классич. макроскопич. электродинамики, описывающие эл. магн. явления в любой среде (и в вакууме). Сформулированы в 60 х гг. 19 в. Дж. Максвеллом на основе обобщения эмпирич. законов электрич. и магн. явлений и развития идеи … Физическая энциклопедия
КВАНТОВАЯ ТЕОРИЯ ПОЛЯ. — КВАНТОВАЯ ТЕОРИЯ ПОЛЯ. Содержание:1. Квантовые поля ................. 3002. Свободные поля и корпускулярно волновой дуализм .................... 3013. Взаимодействие полей .........3024. Теория возмущений ............... 3035. Расходимости и… … Физическая энциклопедия
