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