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 til artikkelen? Skriv her, så får du svar fra fagansvarlig eller redaktør.

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