Konstruktivisme er en filosofisk lære som sier at matematiske størrelser ikke eksisterer uavhengig av vår konstruksjon av dem.
Faktaboks
- Uttale
- konstruktivˈisme
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.
Kommentarer
Kommentarer til artikkelen blir synlig for alle. Ikke skriv inn sensitive opplysninger, for eksempel helseopplysninger. Fagansvarlig eller redaktør svarer når de kan. Det kan ta tid før du får svar.
Du må være logget inn for å kommentere.