• AgoraVox sur Twitter
  • RSS
  • Agoravox TV
  • Agoravox Mobile


En réponse à :

franc 30 juin 2014 15:31

j’ajoute encore que l’intuition est contenue m^me dans les propositions logiques élémentaires de la mathématique ,et m^me dans les axiomes formels de la mathématiquement formelle ,il faut se rappeler de la réaction intuitioniste de Brouwer qui a créé la logique intuitioniste dénonçant qu ’une proposition élémentaire ne peut être vrai que si l’intuition lui accorde cette vérité par l’évidenc e en soi ,car le formalisme pur peut déboucher sur des sophismes ,or l’évidence en soi relève bien d e l’intuition ;

Chaque terme de la mathématique doit avoir un sens et chaque relation entre les termes doivent l’avoir aussi ,c’est l’intuition de l’évidence en soi qui saisit ce sens et m^me crée le sens ,en excluant toute expressionbsurde ou tout propos contradictoire en soi ,c’est cela l’intuitionisme ,ce qui n’empêche nullement la création de théorie s formelles dans le cadre d el’intuitionisme.Car m^me dans ce cadre intuitioniste un axiome quelconque peut se poser a priori et formellement contenant m^me une contradiction assumée et le sens de cette contradiction est bien saisie par l’intuition ,sauf que la théorie formelle ainsi formée ne développera pas beaucoup d eproposition et de théorème ,puisque que toutes propositions peuvent être à la fausse et vraie à la suite de cet axiome contradictoire

Il existe donc

Signaler un abus Lien permanent

Ajouter une réaction

Pour réagir, identifiez-vous avec votre login / mot de passe, en haut à droite de cette page

Si vous n'avez pas de login / mot de passe, vous devez vous inscrire ici.


FAIRE UN DON


Palmarès