Формалізм
Матеріал з Ukrainian Logical Encyclopedia
(відмінності між версіями)
Logic (обговорення | внесок)
(Створена сторінка: '''Формалі́зм''' — 1) напрям у філософії математики і програма в області [[основи математики…)
(Створена сторінка: '''Формалі́зм''' — 1) напрям у філософії математики і програма в області [[основи математики…)
Поточна версія на 16:27, 18 червня 2010
Формалі́зм — 1) напрям у філософії математики і програма в області основ математики
2) логічне числення або формалізована теорія; різновид формальної системи
