Intuiciismo: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
e robota aldono de: fi:Intuitionismi modifo de: tr:Sezgici matematik |
Arseno (diskuto | kontribuoj) Neniu resumo de redakto |
||
Linio 1:
[[Logiko]]
---
'''Intuiciismo''' estas skolo de logiko, kiu substrekas, ke [[matematiko]] superas [[predikata logiko|predikatan 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 [[aksiomo]]j.
Specife, intuiciistoj malakceptas la [[Leĝo de la Ekskludita Mezo]] kiu permesas pruvo per antinomio.
| |||