Filosofia:matemaattinen konstruktivismi

From Tieteen termipankki
Jump to: navigation, search

matemaattinen konstruktivismi

matemaattinen konstruktivismi
Definition käsitys, jonka mukaan matematiikan tulisi pitäytyä vain niihin entiteetteihin, jotka se voi konstruoida
Explanation 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.

Equivalents

mathematical constructivismenglanti

Related Concepts

Sources

BunninNYuJ2004

References

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


Siirry tarkastelemaan sivun muokkaushistoriaa →