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

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