konstruktivism
Sign in to saveAlso known as mathematical constructivism, constructivist mathematics, constructive mathematics
mathematical viewpoint that existence proofs must be constructive
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 · Svenska
Konstruktivism avser inom matematiken en matematikfilosofisk inriktning som inte accepterar existensbevis grundade på lagen om det uteslutna tredje, utan kräver att matematiska objekt skall explicit konstrueras. Per Martin-Löf är en ledande företrädare för inriktningen.
Abstract from DBpedia / Wikipedia · CC BY-SA