Intuiciismo
filozofio de matematiko
Intuiciismo estas skolo (ismo) de matematiko, laŭ kiu pensado superas predikatan logikon.Intuiciistoj opinias, ke objektoj de matematiko estas konstruitaj kaj manipulitaj de la menso de la matematikisto pro tio, ke ne eblas difini la ecojn de matematikaj objektoj nur per predikata logiko.
Specife, intuiciistoj malakceptas la leĝon de neekzisto de tria eblo kiu permesas pruvi pozitivajn asertojn per kontraŭdiro-pruvo.
Tiu skolo estas, ja, matematika rigardo pri Dia ekzisteco (Dio povas sukcesi vidi senfinan aron tute, homo povas sukcesi vidi nur kelkajn erojn pri la aro).
Luitzen Brouwer estas la fondinto pri la skolo. Ekzistas unu versio de intuiciismo, fondita de Andrej Markov.
Vidu ankaŭ
- Intuicia logiko
- Luda semantiko
- Komputebleca logiko
🔥 Top keywords: Vikipedio:ĈefpaĝoSpecialaĵo:SerĉiCarles Puigdemont i Casamajó14-a de junio17-a de septembro25-a de majo28-a de marto18-a de junioMarie-AntoinetteSpecialaĵo:Lastaj ŝanĝojEsperantoPortalo:KomunumoHelpo:EnhavoVikipedio:KontaktojVikipedioDigesta sistemoVikipedio:AktualaĵojMichael JacksonDua MondmilitoVikipedio:Bonvenon al VikipedioVikipedio:MalgarantioMichael BeckerDigestadoVikipedio:DiskutejoKrystyna Łuczak-SurówkaHelpo:Alŝuti dosieron11-a de junioWilhelm HegelerDobra (Satu Mare)Juan Antonio VillacañasȘugagVikipedio:AdministrantojBirdumoŜablono:RomSerĉilo-optimumigoKategorio:Vilaĝoj de RumanioFelix EpsteinUzanto:DominikPornhub