wiki-linki.ru - поиск статей википедии и связей между ними

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


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


Вопрос по теме Сформулируйте свой вопрос в одном предложении. Для вопросов и ответов используется сервис Отвечай.ru

Проект wiki-linki.ru основан на данных Wikipedia, доступной в соответствии с GNU Free Documentation License.