Problème P = NP

[invite7863222222222]

Bonjour,

Je viens de lire un livre sur les 7 problèmes du siècle encore non résolu et l'auteur présente l'un d'eux : P = NP et pré-suppose qu'il est prouvable et qu'il est donc possible de dire si P = NP.

Mais le principe de Godel dit que dans tout système logique, il y existe des propriétés qu'on ne peut ni affirmer, ni infirmer.

A-t-on déjà prouver qu'un système est prouvable autrement qu'en en donnant les solutions ?

J'avoue que ces notions me déroutent un peu mais, je me dis que si ca se trouve, le problème P = NP est improuvable. Si vous avez une opinion ou des éléments à me donner sur la prouvabilité de ce problème, ca m'interesserait.

Merci .
-----

[invited9d71a3e]

Bonsoir jreeman,
Personallement, je crois qu'il existe des propriétés qu'on ne peut ni affirmer, ni infirmer(principe de Godel),
par fois, une proprietée me semble inexacte, mais aprés la demonstration elle devient plus clair.
et c'est la meme chose pour votre problème, espérant que vous pouviez le demontrer.
Cordialement