Intuiciismo: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
Neniu resumo de redakto
Neniu resumo de redakto
Linio 1:
'''Intuiciismo''' estas skolo (ismo) de matematiko, 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.
 
La laboro de [[Luitzen Brouwer]] estis la fondiĝo de la Intuiciisma Skolo.