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


En réponse à :

Arogavox Arogavox 10 août 2023 11:35

essence, connaissance, vérités , vérité ultime, connaissance, réalité, réalité ultime, nature fondamentale, origine de toute chose, âme humaine, La raison, ma raison , absolu , objectivité absolue , ...
Que voilà de nombreux mots non (encore (?)) pris en compte (que je sache) par un quelconque formalisme mathématique !

Par contre l’extrait suivant, issu de la p)age Web : https://www.universalis.fr/encyclopedieverite-mathematique/2-formalisme/
semble bien corroborer cette remarque de l’auteur :

’Le « cogito ergo sum » ... parait être la seule chose dont on pourrait être certain.’

extrait de universalis.fr :

« ... À l’opposé du réaliste, le formaliste propose de considérer que seul compte ce que l’on démontre. Pour lui, ce qu’affirme un énoncé mathématique de manière certaine, c’est l’existence de la démonstration qui y conduit. Pour le formaliste, la vérité c’est la démonstration. Ce sens syntaxique n’exclut pas nécessairement qu’il puisse y en avoir d’autres, mais ils viendront en complément et facultativement, l’essentiel ayant été donné par les démonstrations formelles. L’avantage d’une telle attitude est qu’elle dispense de toute interrogation sur la nature et le sens d’une affirmation. ... »

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