DictionaryForumContacts

   Russian English
Google | Forvo | +
формализм
 формализм
gen. beadledom; formalism; academicism; precisianism; priggery; officialism
math. description
| логики первого порядка
 логика первого порядка
comp. first order logic

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

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

формализм: 92 phrases in 16 subjects
Art1
Artificial intelligence2
Electronics2
General6
High energy physics1
Information technology1
Logic2
Makarov40
Mathematics14
Nanotechnology7
Nuclear physics1
Physics3
Programming8
Public relations1
Scientific1
Technology2