Метод формализации является одним из основополагающих теоретических методов в математическом и естественно-научном знании. В математике он базируется на аксиомах, в физике на идеях, принципах и общих понятиях. Под формализацией понимается особый подход в научном познании, который заключается в использовании специальной символики, позволяющей отвлечься от изучения реальных объектов, от содержания описывающих их теоретических положений и оперировать вместо этого некоторым множеством символом (знаков)...

Продолжаем разговор о мышлении – продукционный интеллект. Мышление – это работа с информацией, которая осуществляется в нашей нейронной системе в мыслеформах – особых физиологических ощущениях. Но, рано или поздно, эту информацию нужно формализовать на языке понятном либо для себя (как у Леонардо да Винчи и алхимиков), либо для всех, чтобы передавать, обсуждать, уточнять, развивать... Основной язык – текстовый, вербальный. Затем – графический, символьный, математический, кинестетический (жесты, позы, мимика)...