Konstruktivismi (matematiikka)
From Wikipedia, the free encyclopedia
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.