Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

Répondre

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
cinquante huit plus vingt neuf
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Retour

Résumé de la discussion (messages les plus récents en premier)

Roro
19-07-2021 21:09:33

Bonsoir,

Vu comme ça, il ne reste plus beaucoup de conjectures... disons que parmi les grands problèmes actuels des mathématiques, comme par exemple la conjecture de Syracuse, ils sont tous "résolus" depuis pas mal d'années puisque des algorithmes ont vérifiés plein de cas (mais évidemment pas tous) !

Lorsque tu dis que les logiciels de calcul montrent que c'est juste, j'ai l'impression que tu dis simplement "dans tous les cas testés, le résultat est correct", ce qui n'est pas du tout une preuve : vérifier 3 cas, ou en vérifier 3000000000000000 est rigoureusement identique du point de vue de la validité... ça reste une conjecture et pas plus.

Il existe des preuves rigoureuses assistées par ordinateur dont la plus célèbre est probablement celle du théorème des quatre couleurs, je ne pense que tu ne parles pas de preuve juste en ce sens.

Roro.

raptor
19-07-2021 20:17:40

Bonsoir,

Oui je vous rassure, je connais le mot conjecture.

Les expressions ont été trouvées par mes propres moyens.Tout est fondé sur des suppositions et je ne vais pas toute les citer.

Les logiciels de calcul montrent que c'est juste, effectivement.Mais comme il n' y a pas de démonstration rigoureuse à l'heure actuelle, ce sont des conjectures.Pour moi, c'est comme cela que je vois les choses.

Roro
18-07-2021 20:50:16

Re-bonsoir,

Sais-tu au moins ce que signifie le mot "conjecture" ???

Parce que justement, c'est quelque chose qu'on ne sait pas encore démontrer rigoureusement. Si, comme tu le dis "tout est juste", c'est qu'il n'y a plus de conjecture !

Mais je ne vais pas vérifier car je ne sais même pas de quoi tu parles, c'est juste la phrase que je citais dans mon précédent post qui m'a fait bondir : elle n'avait pas de sens.

Roro.

raptor
18-07-2021 19:59:09

Bonsoir,

Si vous avez un logiciel de calcul, je vous invite à vérifier et comme vous dites: on est généralement pas au bout de nos surprises...

Vraiment je le confirme.

Roro
18-07-2021 19:53:00

Bonjour,

Je pense que cette phrase est fausse :

raptor a écrit :

Je peux assurer que tout est juste: les logiciels de calculs sont formels, mais cela reste des conjectures.

et j'ai donc déjà de gros doutes sur ce qui pourrait suivre...

C'est comme quand on lit une copie d'élève : si la première phrase n'a pas de sens, on est généralement pas au bout de nos surprises...

Roro.

raptor
18-07-2021 09:56:52

Bonjour
Je passe sur le site pour vous dire que j'ai fait une publication sur le site Vixra.
Cela s'intitule << Values of the Barnes function >> catégorie théorie des nombres.
On y trouve 8 expressions un peu bourrin et j'explique en gros ce que l'on peut faire avec cela.
Bien sûr, on peut critiquer mais j'insiste pour dire que c'est déjà un bon début. Mais je me demande qui sera capable d'aller plus loin ?
Si quelqu'un trouve quelque chose pour améliorer les 8 expressions, vous savez à qui il faut écrire.
Je peux assurer que tout est juste: les logiciels de calculs sont formels, mais cela reste des conjectures.
Avis aux amatheurs !
Cordialement,
DENIS

Pied de page des forums