Konstruktivisme, filosofisk doktrine som sier at matematiske størrelser ikke eksisterer uavhengig av vår konstruksjon av dem.

For å være gyldig i henhold til denne tenkemåten, må derfor et matematisk bevis (eller en definisjon) ikke bare angi at en størrelse eksisterer, men også spesifisere hvordan den kan konstrueres. For eksempel er utvalgsaksiomet ikke konstruktivt, siden det ikke sier noe om hvordan en utvalgt mengde kan konstrueres. På den annen side er uendelighetsaksiomet konstruktivt, ettersom det angir en algoritme som genererer uendelig mange objekter. Se også intuisjonisme.

Foreslå endringer i tekst

Foreslå bilder til artikkelen

Kommentarer

Har du spørsmål om eller kommentarer til artikkelen?

Kommentaren din vil bli publisert under artikkelen, og fagansvarlig eller redaktør vil svare når de har mulighet.

Du må være logget inn for å kommentere.