Формалізація - це

Значення слова Формалізація по Єфремової:
Формалізація - Процес дії по знач. несов. глаг. формалізувати (1 *). Процес дії по знач. несов. глаг. формалізувати (2 *).

Формалізація в Енциклопедичному словнику:
Формалізація - представлення та вивчення будь-якої змістовної областізнанія (наукові теорії, міркування, процедура пошуку і т. П.) В відеформальной системи або обчислення; пов'язана з посиленням ролі формальнойлогікі і математичних методів в наукових дослідженнях.

Значення слова Формалізація по Логічному словником:
Формалізація - (від лат. Forma - вигляд, образ) - відображення результатів мислення в точних поняттях і твердженнях. При Ф. досліджуваних об'єктів, їх властивостей і відносин ставляться в соот-ветствие деякі стійкі, добре доступні для огляду і отождествімие матеріальні конструкції, що дають можливість виявити і зафіксувати істотні сторони об'єктів. Ф. уточнює содер-жание шляхом виявлення його форми і може здійснюватися з раз-ної ступенем повноти. Вираз мислення в природній мові можна вважати пер-вим кроком Ф. Подальше її поглиблення досягається введенням в звичайну мову різного роду спеціальних знаків і створенням годину-тично штучних і штучних мов. Логічна Ф. направлена ​​на виявлення і фіксацію логічної форми висновків і доказів. Повна Ф. теорії має місце тог-да, коли абсолютно відволікаються від змістовного сенсу її вихідних понять і положень і перераховують всі правила логи-чеського виведення, використовувані в доказах. Така Ф. включає в себе три моменти: 1) позначення всіх вихідних, невизначених-мих термінів; 2) перерахування прийнятих без доказу формул (аксіом); 3) введення правил перетворення даних формул для отримання з них нових формул (теорем). У формалізованої теорії доказ не вимагає звернення до змісту використовуваних понять, їх змістом. Доказ є тут послідовністю формул, кожна з яких або є аксіома, або виходить з аксіом за правилами виведення. Про-верка такого докази (але не його відшукання) перетворюється в чисто механічну процедуру, яка може бути передана ви-числительной машині. Ф. грає істотну роль в уточненні наукових понять. Ба-Гії проблеми не можуть бути не тільки вирішені, але навіть сформульовані, поки не будуть формалізовані пов'язані з ними рассуж-дення. Так йде справа, зокрема, з широко використовуваним по-заняттям алгоритму і питанням про те, чи існують алгорітмічес-ки нерозв'язні проблеми. Тільки з Ф. арифметики з'явилася можливість поставити пи-рос, охоплює чи формалізована арифметика всю власник-ву арифметику. Як показав К. Гедель, досить багата содер-жанием теорія (що охоплює арифметику натуральних чисел) не може бути повністю відображена в її формалізованої версії; як би не поповнювалася додатковими твердженнями після-дняя, ​​в теорії завжди залишиться невиявлених, неформалізовані залишок (див. Геделя теорема).