Intuitionismi

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