Introduction to formalism:
Formalism refers to a way of thinking and work style that only looks at the appearance of things without analyzing their essence. It violates the scientific principle that content determines form, form serves content, and content and form are unified.
The essence of formalism is subjectivism and utilitarianism; The root cause is the dislocation of the concept of political achievements and the lack of sense of responsibility, which replaces solid implementation with vigorous form and covers up contradictions and problems with glamorous appearance; The specific performance is to bully the upper and deceive the lower, make superficial articles, be more empty than real, shout slogans against the yin, and carry them out to the letter.
The typical feature of formalism is that it is divorced from real life and emphasizes the independence of aesthetic activities and the absoluteness of artistic forms. It is believed that form determines content, not content determines form.
Academic schools:
Academic method: focusing on the use of symbols, marks or certain rules to make the results the same as those obtained by experiments or other calculation methods, which can also be called "formalism". These symbols and rules do not necessarily have corresponding semantics in mathematics. In these cases, the way of calculation is usually called "complete formalization".
Mathematical methods: In the foundation of mathematics, formalism is related to several most accurate mathematical methods. Generally speaking, formalism is an effort to bring the formal system into a specific and limited scope; All issues contained in the formal system or within a certain "formalizable" scope can be formally discussed. Fully formalized, most of them are found in the category of "computer science".
Formalism is also a specific school in Philosophy of Mathematics, which focuses on proving mathematical logic through david hilbert's theory. Therefore, in the category of "mathematical philosophy", formalism refers to a member of the formalism school, which is a dogma of mathematics and philosophy handed down from david hilbert.