Автор Вова мушакеев задал вопрос в разделе Прочее компьютерное
что такое формализация? и получил лучший ответ
Ответ от ValtoBar[гуру]
Формализация - представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы, или исчисления. Формализация - осуществляемая на базе определённых абстракций, идеализаций и искусственных символических языков, используется прежде всего в математике (см. Математический формализм) , а также в тех науках, в которых применение математического аппарата достигает достаточной для этой цели степени зрелости. Формализация предполагает усиление роли формальной логики как основания теоретических наук, поскольку в случае формализованных теорий уже нельзя удовлетворяться интуитивным убеждением, что та или иная аргументация согласуется с логическими правилами, усвоенными благодаря так или иначе приобретённой способности к правильному мышлению. Полностью могут быть формализованы лишь элементарные теории с простой логической структурой и небольшим запасом понятий (например, исчисление высказываний и узкое исчисление предикатов – в логике, элементарная геометрия – в математике). Если же теория сложна, она принципиально не может быть полностью формализована (см. Полнота, Метатеория).
Источник: Большая Советская Энциклопедия. Или Вы не о том спросили?))