Intuiciismo
El Vikipedio
Logiko --- Intuiciismo estas skolo de logiko, kiu substrekas, ke matematiko superas logikon, ke objektoj de matematiko estas konstruitaj kaj manipulitaj de la menso de la matematikisto, kaj ke maleblas defini la ecojn de matematikaj objektoj nur per establi aron de aksiomoj.
Specife, intuiciistoj malakceptas la Leĝo de la Ekskludita Mezo kiu permesas pruvo per antinomio.
La laboro de Luitzen Brouwer estis la fondiĝo de la Intuiciisma Skolo.
[redaktu] Vidu ankaŭ jenon:
- Luda semantiko
- Komputebleca logiko
