Формалізм (математика)

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

Див. також

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

Джерела та література

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