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
Luokka:Matematiikan filosofia Luokka:Tietoteoria