"brouwerist" - 1 õppematerjal

Loogika aine ja ajalugu

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 annab praktilise rakendusliku väärtuse asjaolu, et mingi objekti olemasolu intuitsionistlik tõestus annab alati algoritmi selle objekti tegelikuks konstrueerimiseks. Seetõttu saab intuitsionistlikku loogikat kasutada arvutiprogrammide automaatseks sünteesimiseks. 2.5.4 Formaalne süsteem: süntaks, reeglid ja semantika Russell ja Whitehead nimetasid loogikaks muuhulgas nii hulgateooriat kui endaleiutatud tüüpide teooriat. Sõna