Формалізм (математика) — Вікіпедія

Формалізм — один з підходів до філософії математики, який намагається звести проблему основ математики до вивчення формальних систем. Поряд з логіцизмом і інтуїціонізмом вважався в XX столітті одним з напрямків фундаменталізму в філософії математики.

Див. також[ред. | ред. код]

• Криза основ математики

Джерела та література[ред. | ред. код]

• Формалізм // Філософський енциклопедичний словник / В. І. Шинкарук (гол. редкол.) та ін. — Київ : Інститут філософії імені Григорія Сковороди НАН України : Абрис, 2002. — С. 686. — 742 с. — 1000 екз. — ББК 87я2. — ISBN 966-531-128-X.