Hypothèse de Riemann indécidable ?

[azt]

Bonjour à tous,
Je suis en train de lire "La synphonie des nombres premiers" de Marcus du Sautoy. (Très interessant et bien vulgarisé et imagé au passage).

J'en suis arrivé à un passage où l'auteur parle de Cohen et de ses recherches pour démontrer l'hypothèse de Riemann :

Si Cohen démontre que l'hypothèse de Riemann est indécidable à partir des axiomes des mathématiques, il aura prouvé que l'hypothèse est en fait vraie !
Si elle est indécidable, alors, soit elle est fausse et nous ne pouvons le démontrer, soit elle est vraie et nous ne pouvons le démontrer. Mais si elle est fausse, alors un zéro doit échapper à la droite critique, un zéro que l'on peut utiliser pour prouver qu'elle est fausse. Elle ne peut être fausse sans que nous ne puissions le démontrer. Par conséquent la seule façon qu'à l'hypothèse de Riemann d'être improuvable est d'être vraie, mais nous ne pouvons toujours pas démontrer que tous les zéros se situent le long de la droite.

Ce raisonnement ne me convient guère. Si avec une hypothèse de Riemann démontrée indécidable l'on peut prouver qu'elle est en fait décidable (vraie ou fausse), il y a un problème de logique.
Pour moi, ce raisonnement montre que l'hypothèse de Riemann ne peut pas être indécidable et qu'il est inutile d'en chercher une démonstration (de cette indécidabilité); puisqu'il "suffit" de trouver un zéro hors de la droite.

Le seul moyen que je vois pour sortir de cette impasse logique serait de prouver que le premier zéro non situé sur la droite de Riemann est tellement loin que l'on ne pourra jamais l'atteindre quelques soient nos avancées aussi bien en mathématiques et en informatique. On pourra donc considérer en approximation que l'hypothèse est vraie, puisque nous ne rencontrerons jamais de zéros hors de la droite

Puis-je avoir vos remarques ?
-----

[invite6de5f0ac]

Bonjour,

D'accord avec toi, ce raisonnement est trop résumé pour être convaincant... Pour tout dire, tel que tu l'as écrit, il est complètement fumeux.

Si l'hypothèse de Riemann est indécidable, ça veut dire qu'on ne pourra jamais trouver un zéro hors de la droite critique en un temps fini (ou même polynomial, mais on ne va pas trop chipoter). Ça ne veut pas dire qu'elle est vraie ou fausse (d'ailleurs c'est exactement ça que veut dire le mot "indécidable").

Si l'hypothèse de Riemann est indécidable, un tel zéro ne peut être que "hors de portée", donc pas à distance finie, donc hors du plan complexe, donc l'hypothèse de Riemann serait vraie.

Tout ce que ce raisonnement montre, c'est que si l'hypothèse de Riemann est indécidable, alors elle est forcément vraie, donc décidable. Donc elle ne peut pas être indécidable. Donc un jour on saura si elle est vraie ou fausse. Maintenant, dire quel jour... je ne suis pas prophète!

-- françois

P.S. - Tout ça a l'air de se mordre la queue, mais c'est souvent le cas en Logique. Trois aspirines et à jeûn, ça se comprend très bien.

[invitec314d025]

Ce raisonnement ne me convient guère. Si avec une hypothèse de Riemann démontrée indécidable l'on peut prouver qu'elle est en fait décidable (vraie ou fausse), il y a un problème de logique.
Pour moi, ce raisonnement montre que l'hypothèse de Riemann ne peut pas être indécidable et qu'il est inutile d'en chercher une démonstration (de cette indécidabilité); puisqu'il "suffit" de trouver un zéro hors de la droite.

Non ce raisonnement ne montre absolument pas que l'hypothèse ne peut pas être indécidable. Cela montre juste que si elle est indécidable (ce qui est possible) alors on ne peut pas prouver cette indécidabilité. Donc effectivement chercher à prouver qu'elle est indécidable ne sert à rien.
On a le même problème avec la conjecture de Goldbach (et il y a un fil là-dessus).

[azt]

Merci pour les commentaires
Est-ce que démontrer que le premier zéro hors de la droite de Riemann est hors de portée, c'est démontrer que l'hypothèse est indécidable ?

[A voir en vidéo sur Futura]

[invité576543]

Merci pour les commentaires
Est-ce que démontrer que le premier zéro hors de la droite de Riemann est hors de portée, c'est démontrer que l'hypothèse est indécidable ?

Je ne vois pas comment il peut y avoir de définition rigoureuse de "hors de portée" qui permettrait de dire ce qui tu dis.

Cordialement,

[invite6de5f0ac]

Bonjour,

Je ne cite pas tous les posts précédents, mais prière de vous y reporter...

Pour moi, ce raisonnement montre que si l'hypothèse de Riemann est indécidable, alors elle est décidable. Donc elle ne peut pas être indécidable.

Maintenant, on peut faire de la méta-méta-logique: est-ce que l'indécidabilité de la HR (hypothèse de Riemann) est elle-même décidable?

Quand on en arrive là, je maintiens le coup des trois aspros et à jeûn.

En fait, je crois qu'il y a un vrai problème de vocabulaire. Indécidable ne veut pas dire non-décidable. Et mon raisonnement à moi repose sur une contraposition, très naturelle, mais en Logique il ne faut pas se fier à l'intuition. Le raisonnement montre que:

indécidable => vrai => décidable

d'où je déduis par contraposition:

non-décidable => non-indécidable

ce qui n'est pas pareil... vous savez que ça rend sourd ce genre de manip'?

-- françois

[invité576543]

Pour moi, ce raisonnement montre que si l'hypothèse de Riemann est indécidable, alors elle est décidable. Donc elle ne peut pas être indécidable.

Pas d'accord. La formulation de Mattias me semble être la bonne. C'est "Donc elle ne peut pas être prouvée indécidable". C'est assez tordu, il y a une régression à l'infini sous-jacente: "l'hypothèse de Riemman est indécidable" est elle-même une hypothèse, qui peut être vraie, fausse ou indécidable. "l"hypothèse que (l'hypothèse de Riemman est indécidable) est indécidable" est elle-même vraie, fausse ou indécidable... Si vous n'avez pas encore le vertige devant l'abime qui s'ouvre devant vous, y'a un problème...

Cordailement,

[invite6de5f0ac]

La formulation de Mattias me semble être la bonne. C'est "Donc elle ne peut pas être prouvée indécidable".

Bonjour,

Parfaitement d'accord. C'est en gros ce que j'essayais de dire, mais je ne suis pas logicien. Il y a des grosses différences entre décidable, prouvable, non-décidable, non-prouvable, indécidable, non-indécidable... mais nos pauvres mots ne permettent pas d'exprimer facilement ce genre de nuances, que déjà mes pauvres boyaux de la tête ont du mal à digérer.

-- françois

P.S. - En relisant mon post, je me suis aperçu que mon doigt avait rippé, et que j'avais écrit "indévidable" au lieu de "indécidable"... Acte manqué? Lapseur révélatus?

[invite7863222222222]

la droite de Riemann est tellement loin que l'on ne pourra jamais l'atteindre quelques soient nos avancées aussi bien en mathématiques et en informatique

Est-ce que démontrer que le premier zéro hors de la droite de Riemann est hors de portée

Tu suppose qu'il existe un objet mathématique hors de portée à l'homme en quelque sorte.

Pour moi, prouver que cet objet existe, c'est prouvé que Dieu existe.

Donc bonne chance...

[invite7863222222222]

Pour ma part, je suis tout à fait d'accord avec Marcus du Sautoy.

[invite6de5f0ac]

Tu suppose qu'il existe un objet mathématique hors de portée à l'homme en quelque sorte.

Pour moi, prouver que cet objet existe, c'est prouvé que Dieu existe.

C'est pourtant bien ça que ça veut dire. "Hors de portée" veut dire "impossible à exprimer en un nombre fini (même énorme) de symboles", ce qui suppose un alphabet au plus dénombrable, enfin il me semble...
C'est là que ça rend sourd.
Je crois que le plus sage est de se ranger au bon sens, et d'accepter le raisonnement de Marcus du Sautoy, même s'il n'est pas très satisfaisant intellectuellement. Ou alors, relire le Da Vinci Code, ce qui l'est encore moins.

-- françois

[invité576543]

Comme complément, je pense qu'il y a un problème avec le mot "indécidable". Il se réfère toujours à un système formel. On peut imaginer que l'hypothèse de Riemann soit vraie, et que en même temps il n'existe pas de système formel (autre que trivial) qui permette de la prouver.

Le nombre de systèmes formels est somme toute limité (c'est dénombrable!). L'idée que quelque chose puisse être prouvée vraie ou fausse dépend de la disponibilité d'un système formel adéquat... Dire "c'est indécidable" c'est une affirmation portant sur la relation entre une assertion et un système formel, et pas vraiment sur l'assertion en elle-même.

(Par trivial, j'entend un système formel qui contienne l'affirmation "tout les zéros sont sur la droite 1/2" ou équivalent comme axiome. Un travail intéressant est au passage de trouver des équivalents, comme il a été fait pour P/NP. Je ne sais pas ce qu'il en est de l'hypthèse de Riemann...)

Cordialement,

[azt]

Ou alors, relire le Da Vinci Code, ce qui l'est encore moins.

Tu veux parler du livre où la plupart des énigmes sautent aux yeux ?

Je relie encore plusieurs fois les commentaires avant de fixer mon avis.

[invite6de5f0ac]

Tu veux parler du livre où la plupart des énigmes sautent aux yeux ?

Je relie encore plusieurs fois les commentaires avant de fixer mon avis.

Voui. Je suis content, je l'ai acheté en édition de poche pour 7 euros (au lieu de 15 normalement), j'ai craqué au bout de trois pages, par acquit de conscience j'ai poussé au bout des trois premiers chapitres, après je suis allé engueuler ma libraire de m'avoir laissé acheter une merde pareille, et elle m'a dit "vous savez, on est une toute petite librairie de quartier, et ça fait plus de 20% de notre chiffre d'affaires, on va pas cracher dans la soupe...".

Pour mmy:

Il y a une notation pour ça. Dans un système formel T, on écrit T|=P pour dire que la proposition P peut être (en un nombre fini d'étapes) démontrée dans le système d'axiomes de T.
Cela dit, c'est un domaine que je connais très mal, alors je préfère éviter de dire des conries. Ya que ceux qui se taisent toujours qui n'en disent jamais...

-- françois

[invité576543]

Voui. Je suis content, je l'ai acheté en édition de poche pour 7 euros (au lieu de 15 normalement), j'ai craqué au bout de trois pages, par acquit de conscience j'ai poussé au bout des trois premiers chapitres, après je suis allé engueuler ma libraire de m'avoir laissé acheter une merde pareille, et elle m'a dit "vous savez, on est une toute petite librairie de quartier, et ça fait plus de 20% de notre chiffre d'affaires, on va pas cracher dans la soupe...".

Je continue le HS: Je l'ai lu très tôt, en anglais, pour le lire en avion pour passer le temps, avant qu'il ait un quelconque succès. Je l'ai donc fini, en me marrant régulièrement sur les erreurs (l'auteur n'a jamais été à Paris ou même regarder une carte...). Et alors je n'aurais pas mis un kopeck sur son succès ultérieur... Quand je réfléchis en arrière, je crois que le titre avait attiré mon regard. Est-ce que cela suffit pour démarrer une réaction en chaîne? Bizarre, bizarre,...

Cordialement,

[invite7863222222222]

En fait je viens de réaliser que si on prouve que s'il est indécidable alors il est

On a donc prouver qu'il est vrai. Donc du coup, il est bien décidable.

Bref, je pense effecitvement qu'il faudrait être plus précis sur ces notions d'indécidabilité.

Je crois par exemple qu'il faudrait préciser que l'indécidabilité ne concernent pas les preuves que l'on pourrait obtenir par l'expérience. Bref ca vole bien trop haut pour moi, là .

[invite7863222222222]

Du coup l'auteur a peut-être raison s'il reprend les travaux fait par des spécialistes, ce que personellement j'ignore complètement.

[invite6de5f0ac]

Je continue le HS: Je l'ai lu très tôt, en anglais, pour le lire en avion pour passer le temps, avant qu'il ait un quelconque succès. Je l'ai donc fini, en me marrant régulièrement sur les erreurs (l'auteur n'a jamais été à Paris ou même regarder une carte...). Et alors je n'aurais pas mis un kopeck sur son succès ultérieur... Quand je réfléchis en arrière, je crois que le titre avait attiré mon regard. Est-ce que cela suffit pour démarrer une réaction en chaîne? Bizarre, bizarre,...

Cordialement,

Oui,

Le coup de mettre l'église Saint-Sulpice sur le même méridien que je ne sais quel trou à rats en Angleterre, c'est à pisser de rire... À la limite, c'est le seul intérêt de ce torche-balle: trouver les invraisemblances!

Je suis tombé récemment sur un samizdat intitulé "Da Vinci Digicode", absolument sans intérêt, mais le titre est rigolo.

Pour jreeman:

D'accord, on n'arrivera à rien tant qu'on n'aura pas défini exactement ce que veulent dire "décidable" et "indécidable", et comment décider ce qui est décidable et ce qui ne l'est pas...

Tout ça se mord la queue. J'ai du mal à comprendre comment des gens peuvent écrire des thèses entières là dessus. J'en ai connu un, on n'a jamais réussi à discuter d'autre chose que des mérites comparés de la Leffe et de la Lambic.

-- françois

[invitec314d025]

Le problème n'est pas d'abord sur la notion de décidabilité, il est sur la notion de vrai/faux.
Au risque de me répéter, il vaudrait mieux continuer la discution sur ce fil : http://forums.futura-sciences.com/sh...light=goldbach
où Sylvestre avait commencé à clarifier les choses.

[invite6de5f0ac]

Le problème n'est pas d'abord sur la notion de décidabilité, il est sur la notion de vrai/faux.
Au risque de me répéter, il vaudrait mieux continuer la discution sur ce fil : http://forums.futura-sciences.com/sh...light=goldbach
où Sylvestre avait commencé à clarifier les choses.

Oki oki oki.

Je viens de relire le fil en question (où j'avais fait plusieurs interventions, je ne me souvenais pas avoir été aussi prolixe), et c'est bien ce que tu dis.

Ça m'a remis en mémoire la distinction décidable/indécidable, démontrable/non-démontrable, réfutable/non-réfutable. Bon, ça n'est pas mon domaine, mais je crois que matthias a raison: le problème est "est-ce que c'est vrai ou est-ce que c'est faux?". Le reste est de la méta-mathématique, je le laisse aux spécialistes.
La réponse à vrai/faux est parfois "on ne sait pas, et il n'y aura jamais moyen de savoir", ce n'est peut-être pas très confortable intellectuellement, mais si on devait toujours rester vautré dans ses certitudes, on n'avancerait pas...

-- françois

[invite7863222222222]

Effectivement, le lien a l'air intéressant.

[inviteaf1870ed]

Sur le sujet : moi j'ai trouvé que le bouquin de Marcus du Sautoy était plutôt ennuyeux et qu'on n'apprenait pas grand chose. Il m'est tombé des mains au bout de 100 pages.

HS : Quant à Da Vinci, il est écrit dans un style tellement lourdingue que c'est une torture de le lire en anglais.

Si vous voulez un bon livre sur ce genre de sujets, je recommande l'indémodable "Gödel Escher Bach" de D Hofstadter.

[inviteb47fe896]

Tout nombre impair i peut se mettre sous les formes : i = 3 + 2m = 5 + 2(m - 1 ) = 7 + 2( m - 2) = ....= (2k + 1) + 2(m- k + 1 ) . Si on divise systématiquement (m - k + 1) par (2k + 1) on obtient un ensemble de restes dont les complèmentaires modulo (2k + 1) présentent des lacunes quand on les ordonne en croissant. Si n est une des premières lacunes alors le nombre 3 + 2( m + n ) est premier.
Quand m tend vers l'infini les lacunes ne sont plus que des puissances de 2.
Y aurait-il une relation avec la droite de Riemann ?

[invite7863222222222]

eirtemoeg, tu peux expliquer ce qu'est une lacune ?

[inviteb47fe896]

Quand on ordonne les complémentaires des restes modulo (2k + 1 ), il y a des nombres absents : ce sont des lacunes. Ex : Quand on procède de la sorte avec le nombre 113 on obtient la suite :
1 ; 2 ; 3 ; 4 ; 5 ; 6 ; ...; 8 ; le nombre 7 est absent, c'est une des lacunes. Alors puisque 113 = 3 + 2 X 55 , le nombre 3 + 2( 55 + 7 ) est premier.
Il y a d'autres lacunes acceptables, ce sont : 9 ; 12 ; 13 . On ne peut tout retenir au delà d'un certain niveau ; cette étude est l'objet d'un mémoire déjà publié sur le Web. Bon courage pour la suite

[invite6b1e2c2e]

Salut,

Je sais pas ce que j'ai aujourd'hui, mais cette définition me fait halluciner. Les complémentaires des restes modulo (2k+1) ? Ba, c'est un ensemble vide.
En effet, pour tout a de Z/(2k+1)Z, je prends b = a, et j'obtiens un nombre dont le reste est a. Je peux même prendre b = a +100*(2k+1) !
Tu veux pas nous donner une vraie définition ? Un truc qu'une réfléxion d'une demi-seconde ne nous amène pas à considérer que c'est totalement trivial...
__
rvz

[invité576543]

Faut pas pousser quand même...

Tu prends 19, décompose-le en pair/impair

(3, 16) (5, 14) (7 12) (9 10)

tu prend le reste de la division de la moitié du second par le premier et tu trouve

2 2 6 5

tu prends le complémentaire au premier et tu trouve

3-2=1, 5-2=3, 7-6=1, 9-5=4

le premier nombre manquant (lacune) est 2

Cordialement,

[invite6b1e2c2e]

D'accord, d'accord. Mais je dois admettre que je n'avais vraiment pas compris. L'algo est quand même pas hyper intuitif.
Merci,

__
rvz

[inviteb47fe896]

Il est possible de bâtir un logiciel qui permet d'appliquer ces résultats ; je le possède (mais c'est une exclusivité). Je rentre un nombre impair quelconque et le résultat qui s'affiche me dit si ce nombe est premier ou pas ; de plus il m'indique les nombres premiers suivants. Mon PC fonctionne avec un Pentium III et il rame dès qu'on dépasse 10 puissance 10 ; mais je vais m'équiper et j'espère que les limites accessibles vont reculer.

[inviteb47fe896]

Il est possible de bâtir un logiciel qui permet d'appliquer ces résultats ; je le possède (mais c'est une exclusivité). Je rentre un nombre impair quelconque et le résultat qui s'affiche me dit si ce nombe est premier ou pas ; de plus il m'indique les nombres premiers suivants. Mon PC fonctionne avec un Pentium III et il rame dès qu'on dépasse 10 puissance 10 ; mais je vais m'équiper et j'espère que les limites accessibles vont reculer.