Формалізм

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

Версія від 16:27, 18 червня 2010; Logic (обговорення | внесок)
(різн.) ← Старіша версія | Поточна версія (різн.) | Новіша версія → (різн.)
Перейти до: навігація, пошук

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

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

Особисті інструменти