Np=P ?

[invite4b07365d]

Salut,

Cela fait 9 ans que je travail sur ce problème, sans jamais consulter l'état de l'art.
J'aimerais des liens pour savoir où en son les autres équipes.

Merci.
-----

[invite4b07365d]

Bonjour,

Voilà la piste que j'exploite : la coopération dans la résolution d'occurence de problème Np-difficile.

Il est claire que chacun dans son coin, est capable de résoudre de tel problème mais la taille des variables gérer est réduite.
Il est claire également qu'en coopérant on est capable de résoudre de tel problème avec une taille des variables beaucoup plus important.

Mon but, mettre au jour le mode coopératif à l'oeuvre dans les mathématiques pour trouver une forme de coopérations qui soient accessibles aux plus grands nombres et ainsi démultiplier notre capacité de résolution consciente de problèmes.

Je pense avoir trouver : ce sont les mathématiques dans ce qu'elles ont de fondamentales, c'est à dire sans l'artifice réthorique et limitant que constitue la logique.

En effet la logique est un mode de penser avec lequelle seul un petit nombre d'entre nous est à l'aise (ce famillier du JM par exemple).

Le mode de raisonnement en cour de mise en lumière serait plus facilement accessible aux plus grands nombres et surtout serait beaucoup plus efficace dans la production de nouveau "résultat".

confirmation ou infirmation en cours.

Bonne journée.

[invite14e03d2a]

Je pense avoir trouver : ce sont les mathématiques dans ce qu'elles ont de fondamentales, c'est à dire sans l'artifice réthorique et limitant que constitue la logique.

C'est sur qu'en s'affranchissant de la logique, les conjectures les plus tenaces deviennent plus simples a "prouver".

[invite4b07365d]

C'est sur qu'en s'affranchissant de la logique, les conjectures les plus tenaces deviennent plus simples a "prouver".

Les preuves basés sur le raisonnement proposé ne demande qu'à être réglè par des "résultats" relatif à ses même preuves.
Une partie importante de ses "résultats" viendront d'une confrontation avec la logique (dîtes égalitaire du première ordre), le but étant de prouver que ce raisonnement serait suffisament riche pour permettre d'exprimer la logique mais elle ne pourrait exprimer ce raisonnement.

Tous cela est en cours d'expérience, j'attends moi aussi le résultat de cette confrontation.

[A voir en vidéo sur Futura]

[invite4b07365d]

Petite rectification :

Les preuves basés sur le raisonnement proposé ne demande qu'à être réglè par des "résultats" relatif à ses même preuves.
Une partie importante de ses "résultats" viendront d'une confrontation avec la logique (dîtes égalitaire du première ordre), le but étant de prouver que ce raisonnement serait suffisament riche pour permettre d'exprimer la logique
[PARTIE NON NECESSAIRE] mais elle ne pourrait exprimer ce raisonnement. [\FIN]

Tous cela est en cours d'expérience, j'attends moi aussi le résultat de cette confrontation.

[Médiat]

Bonjour,

Et nous, n'étant pas devins, nous attendrons une publication, si possible dans une revue à comité de lecture.

On ferme

Médiat, pour la modération