Викия

Математика

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

1457статей на
этой вики
Добавить новую страницу
Обсуждение0 Share

Обнаружено использование расширения AdBlock.


Викия — это свободный ресурс, который существует и развивается за счёт рекламы. Для блокирующих рекламу пользователей мы предоставляем модифицированную версию сайта.

Викия не будет доступна для последующих модификаций. Если вы желаете продолжать работать со страницей, то, пожалуйста, отключите расширение для блокировки рекламы.

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

Ссылки Править

Викия-сеть

Случайная вики