Формализм

77

Направление в основаниях математики, объединившее идущую от Г. Фреге идею строгой формализации матем. Рассуждений с абстрактным подходом к математике как неинтерпретированному исчислению (формальной системе) с целью доказательства её непротиворечивости. Основатель - Д. Гильберт.

Значения в других словарях
Форма

(матем.), многочлен отнеск. (от) переменных, все члены к-рых имеют одну и ту же степень (под степенью одночлена xayбета...zу понимают число и = а + бета +...+у). В зависимости от числа т переменных различают бинарные Ф. (m = 2), тернарные Ф. (m = 3), а в зависимости от степени п их членов - линейные Ф. (n = 1), квадратичные Ф. (n = 2), кубичные Ф. (n = 3) и т.д. См. Также Билинейная форма. ..

Формализация

Представление и изучение к.-л. Содержат, области знания (науч. Теории, рассуждения, процедур поиска и т.п.) в виде формальной системы или исчисления. ..

Формалин

Водный р-р, содержащий 37-40% формальдегида и 6-15% метилового спирта (стабилизатор). При хранении мутнеет, т. К. Выпадает белый осадок (параформальдегид). Источник формальдегида, дезинфицирующее и дезодорирующее средство. Р-р для приготовления анат. Препаратов и дубления кож. ..

Формальдегид

(муравьиный альдегид), НСНО, бесцв. Газ с резким запахом, tкип -19,2 °С. Сырьё в произ-ве феноло-формальдегидных смол, карбамидных смол, полиформальдегида, изопрена и др. Важных продуктов. См. Также Формалин. ..

Дополнительный поиск Формализм Формализм

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Формализм" в словаре Естествознание. Энциклопедический словарь, подробное описание, примеры использования, словосочетания с выражением Формализм, различные варианты толкований, скрытый смысл.

Первая буква "Ф". Общая длина 9 символа