конструктивная математика
Sign in to saveAlso known as mathematical constructivism, constructivist mathematics, constructive mathematics
математическое мировоззрение, согласно которому доказательства существования должны быть конструктивными
Wikidata facts
- Subclass of
- point of view
- Part of
- philosophy of mathematics
Show 2 more facts
- topic's main category
- Category:Constructivism (mathematics)
- Stack Exchange tag
- cstheory.stackexchange.com/tags/constructive-mathematics
Sources (1)
via Wikidata · CC0
Article · Русский
Конструктивная математика — абстрактная наука о мыслительных конструктивных процессах, человеческой способности осуществлять их, и об их результатах — конструктивных математических объектах. Является результатом развития конструктивного направления в математике — математического мировоззрения, которое в отличие от теоретико-множественного направления считает основной задачей математики исследование конструктивных процессов и конструктивных объектов. Основоположником конструктивного направления можно считать Давида Гильберта после его неудавшейся попытки обосновать теоретико-множественную математику на базе конструктивной. Одним из основоположников собственно конструктивной математики является советский учёный Андрей Марков.
Abstract from DBpedia / Wikipedia · CC BY-SA