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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Версія для друку більше не підтримується і може мати помилки обробки. Будь ласка, оновіть свої закладки браузера, а також використовуйте натомість базову функцію друку у браузері.

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

Див. також

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