Filosofia:matemaattinen konstruktivismi
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.
Erikieliset vastineet
| mathematical constructivism | englanti (English) |
Lähikäsitteet
- matemaattinen intuitionismi (alakäsite)
- matemaattinen platonismi (vastakohta)
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 25.4.2024: Filosofia:matemaattinen konstruktivismi. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:matemaattinen konstruktivismi.)