Intuityvizmas yra matematinė filosofija, kuri teigia, kad matematika yra grynai formalus proto kūrinys. Ją XX amžiaus pradžioje sukūrė olandų matematikas LEJ Brouwer. Intuityvizmas teigia, kad matematika yra vidinis, turinio tuščias procesas, kai nuoseklūs matematiniai teiginiai gali būti suvokiami ir įrodomi tik kaip mentalinės konstrukcijos. Šia prasme intuityvizmas prieštarauja daugeliui pagrindinių klasikinės matematikos principų, teigiančių, kad matematika yra objektyvi išorinės egzistencijos analizė.
Intuicionizmas skiriasi nuo klasikinių matematikos filosofijų, tokių kaip formalizmas ir platonizmas, nes jis neprisiima išorinės matematiškai nuoseklios tikrovės. Be to, nemanoma, kad matematika yra simbolinė kalba, kuri turi laikytis tam tikrų nustatytų taisyklių. Taigi, kadangi simbolinės figūros, dažniausiai naudojamos matematikoje, laikomos grynu tarpininkavimu, jos naudojamos tik matematinėms idėjoms perduoti iš vieno matematiko proto kitam ir pačios savaime nesiūlo tolesnių matematinių įrodymų. Vieninteliai du dalykai, kuriuos daro intuicionizmas, yra laiko suvokimas ir kuriančio proto egzistavimas.
Intuityvizmas ir klasikinė matematika pateikia skirtingus paaiškinimus, ką reiškia vadinti matematinį teiginį teisingu. Intuityvime teiginio tiesa nėra griežtai apibrėžiama vien tik jo įrodomumu, o greičiau matematiko gebėjimu intuituoti teiginį ir įrodyti jį toliau aiškinantis kitas racionaliai nuoseklias mentalines konstrukcijas.
Intuicionizmas turi rimtų pasekmių, kurios prieštarauja kai kurioms pagrindinėms klasikinės matematikos sąvokoms. Bene garsiausias iš jų yra atmetimo vidurio dėsnio atmetimas. Paprasčiausia prasme išskiriamo vidurio dėsnis sako, kad „A“ arba „ne A“ gali būti tiesa, bet abu negali būti teisingi vienu metu. Intuicionistai mano, kad įmanoma įrodyti ir „A“, ir „ne A“, jei tik galima sukurti mentalines konstrukcijas, kurios kiekvieną nuosekliai įrodytų. Šia prasme intuicionistinio samprotavimo įrodymas nėra susijęs su „A“ egzistavimo ar nebuvimo įrodymu, o apibrėžiamas pagal tai, ar „A“ ir „ne A“ gali būti nuosekliai ir nuosekliai sukonstruoti kaip matematiniai teiginiai mintyse.
Nors intuityvizmas niekada neišstūmė klasikinės matematikos, jis vis dar sulaukia daug dėmesio ir šiandien. Intuicionizmo tyrimas buvo siejamas su dideliu matematikos studijų pažangos laipsniu, nes jis pakeičia sąvokas apie abstrakčią tiesą sąvokomis apie matematinių konstrukcijų pagrindimą. Jis taip pat buvo šiek tiek traktuojamas kitose filosofijos srityse dėl savo susirūpinimo idealizuotu ir visą subjektyvų kuriančiu protu, kuris buvo lyginamas su Husserlio fenomenologine „transcendentinio subjekto“ samprata.