Next: Isomorfism (isomorphism)
Up: No Title
Previous: Interpretatsioon (interpretation)
- filosoofiline suund matemaatikas, mis peab matemaatikas tõeseks vaid intuitsiooniga kooskõlas olevaid väiteid. Intuitsionistlikus loogikas on tuletatavad vaid need väited, mille jaoks leidub realisatsioon. Näiteks väide
on tõestatav vaid juhul, kui saab konstrueerida muutuja x konkreetse väärtuse
, nii et valemi
väärtus on tõene.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996