konstruktivism
Sign in to saveAlso known as mathematical constructivism, constructivist mathematics, constructive mathematics
mathematical viewpoint that existence proofs must be constructive
Wikidata facts
Show 1 more fact
- 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
Connections
Luitzen Egbertus Jan Brouwer
Entity
existential quantification
Entity
topos
Entity
intuitionistic type theory
Entity
categorical logic
Entity
computer science
Entity
International Standard Book Number
Entity
David Hilbert
Entity
prime number
Entity
propaganda
Entity
infinity
Entity
function
Entity
dialectic
Entity
rational number
Entity
reason
Entity
theory
Entity
set
Entity
axiom
Entity
hypothesis
Entity
rhetoric
Entity