Filosofia:matemaattinen konstruktivismi

Kohteesta Tieteen termipankki
Loikkaa: valikkoon, hakuun

matemaattinen konstruktivismi

matemaattinen konstruktivismi
Määritelmä käsitys, jonka mukaan matematiikan tulisi pitäytyä vain niihin entiteetteihin, jotka se voi konstruoida
Selite Metamaattisen konstruktivismin mukaan on pitäydyttävä vain niihin entiteetteihin, jotka voidaan rakentaa jo hyväksymämme pohjalta. Se vastustaa matemaattista platonismia, jonka mukaan matematiikan kohteet ovat kognitiivisista toiminnoista riippumattomia ja sen vuoksi verifioimattomia. Matemaattisen konstruktivismiin kuuluu monia eri suuntauksia: finitismi hylkää abstraktit käsitteet kuten joukon ja laskutoimitukset, predikativismin mukaan matemaattisten objektien määritelmien pitää olla predikatiivisia ja Bishopin konstruktiivinen matematiikka katsoo, että matematiikan lausekkeilla tulee olla numeerinen merkitys. Markovin konstruktiivinen ja rekursiivinen matematiikka sekä Brouwerin ja Heytingin intuitionismi kuuluvat myös matemaattiseen konstruktivismiin.

Vieraskieliset vastineet

mathematical constructivismenglanti

Lähikäsitteet

Käytetyt lähteet

BunninNYuJ2004

Alaviitteet

Lähdeviittaus tähän sivuun:
Tieteen termipankki 26.03.2019: Filosofia:matemaattinen konstruktivismi. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:matemaattinen konstruktivismi.)


Siirry tarkastelemaan sivun muokkaushistoriaa →