Konstruktivismi (matematiikka)
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ä]- Errett Bishop
- L. E. J. Brouwer
- Arend Heyting
- Saul Kripke
- Leopold Kronecker
- Paul Lorenzen
- A. A. Markov
Katso myös
[muokkaa | muokkaa wikitekstiä]Kirjallisuutta
[muokkaa | muokkaa wikitekstiä]- Feferman, Solomon: Relationships between Constructive, Predicative and Classical Systems of Analysis, 1997.
- Troelstra, A. S.: "A History of Constructivism in the 20th Century", University of Amsterdam, ITLI Prepublication Series ML-91-05, 1991.
Aiheesta muualla
[muokkaa | muokkaa wikitekstiä]- Bridges, Douglas: Constructive Mathematics The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab. Stanford University. (englanniksi)
