konstruktivisme - matematikk

Konstruktivisme, filosofisk doktrine 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. Se også intuisjonisme.

Kommentarer

Kommentaren din publiseres her. Fagansvarlig eller redaktør svarer når de kan.

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

eller registrer deg