Attributes | Values |
---|
rdfs:label
| |
rdfs:comment
| - Формализм — направление в математике, пытающееся получить решение проблем основания математики при помощи формально-аксиоматических построений. Формализм возник в начале XX века (нем. математик Гильберт и его сотрудники Вильгельм Аккерман, П. Бернайс, Дж. Нейман). Выход из кризиса оснований математики Гильберт, в противоположность интуиционизму, ищет в строго разработанном формализованном аксиоматическом методе.
- Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики.
* Страница 0 - краткая статья
* Страница 1 - энциклопедическая статья
* Разное - на страницах: 2 , 3 , 4 , 5
* Прошу вносить вашу информацию в «Формализм (математика) 1», чтобы сохранить ее
|
dcterms:subject
| |
dbkwik:ru.math/pro...iPageUsesTemplate
| |
dbkwik:ru.science/...iPageUsesTemplate
| |
abstract
| - Формализм — направление в математике, пытающееся получить решение проблем основания математики при помощи формально-аксиоматических построений. Формализм возник в начале XX века (нем. математик Гильберт и его сотрудники Вильгельм Аккерман, П. Бернайс, Дж. Нейман). Выход из кризиса оснований математики Гильберт, в противоположность интуиционизму, ищет в строго разработанном формализованном аксиоматическом методе.
- Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики.
* Страница 0 - краткая статья
* Страница 1 - энциклопедическая статья
* Разное - на страницах: 2 , 3 , 4 , 5
* Прошу вносить вашу информацию в «Формализм (математика) 1», чтобы сохранить ее
|