Loogika aine ja ajalugu
Intuitsionistlike tõestuste leidmine on reeglina keerulisem,
kui klassikaliste tõestuste leidmine, kuid sellegipoolest suutis Brouwer neid tõestusi leida ja sel viisil näidata, et suur
hulk olulist matemaatikat kehtib ka intuitsionistlikust vaatepunktist. Aastal 1918. avaldas Brouwer intuitsionistliku
hulgateooria, aastal 1919. intuitsionistliku mõõduteooria ja aastal 1923. funktsiooniteooria.
Kuigi Brouwer rajas intuitsionistliku koolkonna ja ehitas üles suure hulga intuitsionistlikku matemaatikat, ei
formaliseerinud ta intuitsionistlikku loogikat. Sellega sai 1930. aastal hakkama Arend Heyting. Intuitsionistlik loogika
on klassikalisele väga sarnane, erinevus on (konkreetsest esitusest sõltuvalt) vaid paaris lisapiirangus ehk mõne
klassikalise aksioomi keelamises.
Loogikute hulgas on intuitsionism olnud suur ja oluline koolkond Brouwerist kuni tänase päevani. Intuitsionismile
annaabi.ee 
