Intuisjonistisk

Intuisjonistisk er et adjektiv som på norsk brukes om intuisjonisme eller intuitionisme, en filosofisk og matematisk posisjon der objekter og matematiske sannheter anses å være konstruert av menneskelig innsikt og intuisjon, snarere enn å eksistere uavhengig av oss i en oppdaget, Platonsk virkelighet.

I matematikkens kontekst var intuisjonisme, grunnlagt av L. E. J. Brouwer tidlig på 1900-tallet, en reaksjon mot mekaniske eller rent formale tilnærminger. Intuisjonismen insisterer på at matematiske påstander ikke er sanne før de kan bygges konstruktivt. Dette fører til intuitionistisk logikk, som avviser visse klassiske prinsipper – spesielt loven om ekskludert tredje for uendelige objekter – og til konstruktiv matematikk.

Heyting videreutviklet formaliseringen av intuitionismen og utformet et system av intuitionistisk logikk. Senere arbeid innen konstruktiv matematikk og type-teori, blant annet Martin-Løfs, har videreført disse ideene i logiske og programmeringsteknologiske sammenhenger. Intuisjonistisk tenkning har hatt betydning i områder som bevissteori, programmeringsspråkdesign og verifikasjon av algoritmer.

Historisk har intuisjonismen møtt motstand fra tilhengerne av klassisk matematikk, og temaene er fortsatt gjenstand for debatt. Hva som utgjør matematisk sannhet, og hvordan man best oppnår bevis, varierer med synet på konstruktivitet og bevisbarhet. Begrepet intuisjonistisk brukes primært i skandinaviske språk, men refererer bredt til intuitionisme som en overordnet tilnærming i filosofi og matematikk.