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 

 Konstruktivistinen logiikka
 Konstruktivistinen tyyppiteoria
 Konstruktivistinen analyysi

Konstruktivisteja 

 Errett Bishop
 L. E. J. Brouwer
 Arend Heyting
 Saul Kripke
 Leopold Kronecker
 Paul Lorenzen
 A. A. Markov

Katso myös 

 Intuitionismi

Kirjallisuutta 

 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 

 

Matematiikan filosofia
Tietoteoria