Формалізм

Матеріал з Ukrainian Logical Encyclopedia

Перейти до: навігація, пошук

Формалі́зм — 1) напрям у філософії математики і програма в області основ математики

2) логічне числення або формалізована теорія; різновид формальної системи

Отримано з http://logic.net.ua/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%96%D0%B7%D0%BC
Особисті інструменти