Filosofia:matemaattinen intuitionismi
matemaattinen intuitionismi
Tämä sivu on vielä tarkistamatta
| matemaattinen intuitionismi |
Määritelmä
matematiikan perustafilosofia, jonka mukaan matemaattiset käsitteet ja todistukset ovat mentaalisia konstruktioita, joiden ainoana perustana on intuitio luonnollisista luvuista ja niiden järjestyksestä
Selite
Luitzen Brouwerin (1881-1966) intuitionistisen matematiikanfilosofian (1908) mukaan matemaattisen väitteen totuus tarkoittaa sellaisen matemaattisen objektin mentaalista konstruktiota, joka todistaa väitteen todeksi. Brouwerin käsityksen taustalla on Immanuel Kantin (1724-1804) käsitys ajan intuition a priori -luonteesta ja siihen perustuvasta luonnollisten lukujen järjestyksestä. Vaatimus matemaattisten objektien konstruktiosta merkitsi epäsuorien todistusten sekä mm. poissuljetun kolmannen lain ja kaksoisnegaation lain käytön kieltämistä matemaattisissa todistuksissa.
Lähikäsitteet
- logisismi (vieruskäsite)
- matemaattinen konstruktivismi (yläkäsite)
- matemaattinen platonismi (vieruskäsite)
- matematiikan filosofia (kokonaisuuskäsite)
- epäsuora todistus (vastakohta)
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 20.4.2024: Filosofia:matemaattinen intuitionismi. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:matemaattinen intuitionismi.)