Konstruktivismi (matematiikka)

Wikipediasta
Siirry navigaatioon Siirry hakuun

Konstruktivismi on matematiikan filosofian suuntaus, jonka mukaan matemaattisen entiteetin olemassaolon todistamiseksi se on välttämättä ensin löydettävä (tai ”konstruoitava”).

Konstruktivismi sekoitetaan usein intuitionismiin, mutta intuitionismi on itse asiassa vain yksi konstruktivismin muoto. Kuten intuitionismi, konstruktivismi katsoo, että matematiikkaan tulee hyväksyä vain sellaiset matemaattiset entiteetit, jotka voidaan eksplisiittisesti konstruoida tietyssä mielessä. Matematiikka ei ole merkityksettömillä symboleilla pelattua peliä, vaan koskee entiteettejä, jotka voimme luoda suoraan mentaalisen toiminnan kautta. Intuitionismin mukaan matematiikka kuitenkin perustuu intuitioon ja on siksi välttämättä subjektiivista. Konstruktivismi ei jaa tätä näkemystä, ja siksi sen mukaan matematiikka on objektiivista.

Konstruktivistinen matematiikka hyödyntää intuitionistista logiikkaa.

Konstruktivistisen matematiikan osa-alueita

[muokkaa | muokkaa wikitekstiä]

Konstruktivisteja

[muokkaa | muokkaa wikitekstiä]

Kirjallisuutta

[muokkaa | muokkaa wikitekstiä]

Aiheesta muualla

[muokkaa | muokkaa wikitekstiä]
  • Bridges, Douglas: Constructive Mathematics The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab. Stanford University. (englanniksi)
Käännös suomeksi
Käännös suomeksi
Tämä artikkeli tai sen osa on käännetty tai siihen on haettu tietoja muunkielisen Wikipedian artikkelista.
Alkuperäinen artikkeli: en:Constructivism (mathematics)
Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.