Démontrer qu’on ne peut pas démontrer

[invitedf3b174e]

Faut-il vraiment laisser ouverte ce genre de discussion ou quelqu'un qui n'y connaît rien prétend en remontrer à ceux qui savent ? Sans avoir l'élémentaire politesse de lire les réponses (le message #4 par exemple).

Cordialement.

Désolé je me suis mal compris
Je suis très précis et très compact (résumé au max) dans mes propos.

Je vais essayer de me mettre dans le niveau qu’il le faut.

J’ai une question et je cherche une réponse autre que celle que j’ai dans ma tête.

La question : est-ce que on peut démontrer qu’une proposition P est indémontrable ?
La réponse dans ma tête : non, si tu n’arrives pas à démontrer la véracité de P tu n’arriveras à démontrer l'indémontrabilié de P …..Sauf si tu invente une nouvelle théorie.


Concernant le message #4 , il est dit « il est très facile de démontrer que l'on ne peut démontrer la commutativité dans la théorie des groupes, ni son contraire » j’ai cherché sur le net et j’ai pas trouvé la démonstration. C’est la vérité, j’ai peut être besoin d’aide
-----

[invite51d17075]

Désolé je me suis mal compris

alors stp, n'insiste pas !
si tu ne te comprends pas toi-même, ça va être difficile et par faire mal à la tête de beaucoup !
ne prends pas le forum comme une tribune à interrogations perso non clarifiées.
et les maths ont dans leurs "ADN" d'être rigoureuses.

[invite51d17075]

alors stp, n'insiste pas !

dans le cas inverse, ce serait un comportement de type troll, et je pense que tu ne l'es pas intrinsèquement.

[Médiat]

Concernant le message #4 , il est dit « il est très facile de démontrer que l'on ne peut démontrer la commutativité dans la théorie des groupes, ni son contraire » j’ai cherché sur le net et j’ai pas trouvé la démonstration.

Il suffit d'utiliser le pas assez célèbre théorème de complétude de Gödel

[invite51d17075]

pourquoi tu le relances ?

[invitedf3b174e]

alors stp, n'insiste pas !
si tu ne te comprends pas toi-même, ça va être difficile et par faire mal à la tête de beaucoup !
ne prends pas le forum comme une tribune à interrogations perso non clarifiées.
et les maths ont dans leurs "ADN" d'être rigoureuses.

Ok
Je n’insiste pas, la question est un casse-tête et j’arrête

[JPL]

Qui est pour fermer cette discussion ?

[mh34]

Ok
Je n’insiste pas, la question est un casse-tête et j’arrête

Ca tombe bien, et pour que ça en reste bien là...je ferme le fil.