formalizer

[Кувалда]

The first definition of formalizer in the dictionary is someone or something which makes formal. Other definition of formalizer is someone or something which makes something official or valid. Formalizer is also someone or something which gives a definite shape or form to.
формальник

[Andriy]

формалізатор/формувальник?

[Кувалда]

формалізатор, формальник

[Andriy]

гмм, формальник — це новотвір?
формувальник вже ніби існує:

-а, ч.
Робітник, зайнятий формуванням (у 2 знач.); фахівець із формування.

[Кувалда]

у цьому сенсі - новотвір. менти ще використовують це слово на позначення людей, які за певними формальними ознаками підпадають під якусь категорію.
Йдеться про людину, яка не формує, наприклад форму глечика, а про людину, яка формалізує, наприклад процедуру

[Andriy]

але якщо людина формалізує, а не формує, то чому формальник а не формалізатор?

[Кувалда]

бо вона прихильник формального підходу.
Формалізатор, певно, теж годиться, але це більше людина, функція якої зводити якісь набори, наприклад вхідних даних, до певної схеми, з якою вже може працювати наприклад комп чи до якої можна застосувати певний метод.
Формальник, це швидше людина, яка настроєна на формальне бачення підхід до чогось. Тобто можна було і квіточку намалювати, але нащо

[Кувалда]

Приклад ужитку
From the seventeenth century on, the style of European mathematics had gradually shifted from geometry, the mathematics of visual shapes, to algebra, the mathematics of formulas. Laplace, especially, was one of the great formalizers. who boasted that his Analytical Mechanics contained no pictures.

[Andriy]

додано