Формализм (математика): различия между версиями

{{другие значения|Формализм}}

'''Формализм''' — направление ''в математике'', пытающееся получить решение проблем основания математики при помощи формально-аксиоматических построений. Формализм возник в начале [[XX век]]а (нем. математик [[Гильберт, Давид|Гильберт]] и его сотрудники [[Вильгельм Аккерман]], [[Бернайс|П. Бернайс]], [[Нейман, Джон фон|Дж. Нейман]]). Выход из кризиса оснований математики Гильберт, в противоположность [[интуиционизм]]у, ищет в строго разработанном формализованном [[аксиома]]тическом методе.

 

== Ссылки ==