Matematisk konstruktivisme
Konstruktivisme i matematikk er ein filosofisk doktrine som seier at matematiske storleikar ikkje eksisterer uavhengig av konstruksjonen vår av dei. For at denne tenkemåten skal vere gyldig, må derfor eit matematisk bevis eller ein definisjon ikkje berre vise at ein storleik eksisterer, men òg korleis storleiken kan konstruerast.
Utvalsaksiomet er til dømes ikkje konstruktivt, fordi det ikkje seier noko om korleis ei utvalt mengd kan konstruerast. Uendelegheitsaksiomet er derimot konstruktivt fordi det gjev ein algoritme som genererer uendeleg mange objekt.
Sjå òg
Kjelder
- konstruktivisme. (2012-01-05) I Store norske leksikon. Henta frå http://snl.no/konstruktivisme/matematikk
🔥 Top keywords: HovudsideOddvar TorsheimCarles PuigdemontSpesial:SøkGene SimmonsJa, vi elsker dette landetVerdas landTussmørkesvermararSpesial:Siste endringarWikipedia:KontaktNy-CaledoniaDet norske flaggetLora stoppestadDraumkvedetDet norske alfabetetWikipedia:Gode nynorskordWikipedia:OmAndre verdskrigenParadis i BergenKrøllalfaNetiporn SanesangkhomNasjonaldyrRayleeWikipedia:ArbeidskontoretHjelp:InnhaldWikipedia:AtterhaldWikipedia:SamfunnshusetSang til BergenWikipediaBottheim stoppestadNoregLønnPinseHurraDen norske grunnlovsdagenLinn UllmannFil:US-NLM-PubMed-Logo.svgAndre pinsedagIslandske nasjonaldrakter