DictionnaireLe forumContacts

Google | Forvo | +
phrases

формализм

n
contraintes
Gruzovik formalities
génér. beadledom; formalism; academicism; precisianism; priggery; officialism; formality; red tape; punctiliousness (Borita); formalizm; scrupulosity
Игорь Миг rigmarole
math. description; formal description; model (Alex_Odeychuk)
psych. academism
relig. legalism
 Russe glossaire
формализм n
génér. 1) предпочтение, отдаваемое форме перед содержанием в различных сферах человеческой деятельности. Проявляется в безукоснительном следовании правилам этикета, ритуала даже в тех случаях, когда жизненная ситуация делает это бессмысленным, в преклонении перед буквой закона при пренебрежении к его духу, в искусстве - в признании "чистой" формы единственно ценным художественным элементом, и т. п

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

формализм
: 97 phrases, 17 sujets
Art1
Électronique2
Général6
Informatique2
Intelligence artificielle2
Logique2
Makarov40
Mathématiques14
Mécanique quantique3
Nanotechnologie7
Physique4
Physique des hautes énergies1
Physique nucléaire1
Programmation8
Relations publiques1
Scientifique1
Technologie2

Ajouter | Signaler une erreur | Obtenir une URL courte