Intuitionismi on matematiikan filosofian suuntaus, jonka mukaan matematiikka on ihmismielen konstruktiivista toimintaa. Toisin sanoen matematiikka ei koostu analyyttisestä toiminnasta, jossa olemassaolon monisyisiä syväominaisuuksia paljastettaisiin ja sovellettaisiin. Sen sijaan logiikassa ja matematiikassa on kyse sisäisesti johdonmukaisten menetelmien soveltamisesta vielä monisyisempien mentaalisten rakenteiden ymmärtämiseksi.
Intuitionismin perustaja on L. E. J. Brouwer. Hänen mukaansa matemaattiset oliot saavat alkunsa apriorisista muodoista, jotka antavat tietoa empiirisiä olioita koskevista havainnoista. Intuitionismin motto on ”ei ole olemassa kokemuksesta riippumattomia matemaattisia totuuksia”.
Intuinistisen matematiikan osa-alueita Intuitionistinen analyysi Intuitionistinen aritmetiikka Intuitionistinen logiikka Intuitionistinen joukko-oppi Intuitionistinen tyyppiteoria
Intuitionisteja L. E. J. Brouwer Michael Dummett Arend Heyting Stephen Kleene
Katso myös Konstruktivismi
Kirjallisuutta Brouwer, L. E. J.: (1927), ”Intuitionistic reflections on formalism”. Teoksessa
Aiheesta muualla
Questions and Answers about Intuitionism
Luokka:Matematiikan filosofia Luokka:Tietoteoria