En toute généralité, la résolution d'un problème non résolu en mathématiques est relative au cadre axiomatique dans lequel on se place. Pour exemples, on peut prouver plus en logique classique qu'en logique intuitionniste et aussi plus dans la théorie des ensembles usuelle que dans la théorie arithmétique.

Par exemple le théorème de Goodstein s'exprime dans le langage de l'arithmétique et est démontré être indécidable dans la théorie arithmétique, alors qu'il est un théorème de la théorie des ensembles.

Le célèbre dernier théorème de Fermat, qui lui aussi s'exprime dans le langage de l'arithmétique, est résolu en théorie des ensembles, mais on ne sait pas s'il est résoluble ou non dans la théorie arithmétique.

Ce qui suit est donc une liste de problèmes non résolus en mathématiques standard, soit en logique classique avec la théorie des ensembles usuelle.

Problèmes du prix du millénaire

modifier

Sur les sept problèmes du prix du millénaire fixés par l'Institut de mathématiques Clay, les six qui restent ouverts sont[1] :

Seule la conjecture de Poincaré a été démontrée.

Autres problèmes encore non résolus

modifier

Théorie des nombres

modifier

Généralités

modifier
Conjectures
modifier
Problèmes
modifier
  • problème de Brocard : existe-t-il des entiers n et m (n > 7) tels que n! + 1 = m2 ?
  • déterminer les valeurs de   et   dans le problème de Waring (1770)
Questions
modifier

Nombres premiers

modifier
Conjectures
modifier
Problèmes
modifier
Questions
modifier

Algèbre

modifier

Conjecture

modifier

Problème

modifier

Questions

modifier

Analyse

modifier

Conjectures

modifier

Problème

modifier

Question

modifier

Combinatoire

modifier

Conjecture

modifier

Déterminations

modifier

Théorie de Ramsey

modifier

Conjecture

modifier

Déterminations

modifier

Théorie des graphes

modifier

Conjectures

modifier

Problème

modifier

Détermination

modifier
  • trouver une formule générale pour le seuil de percolation

Notes et références

modifier
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Unsolved problems in mathematics » (voir la liste des auteurs).
  1. (en) Stephen Cook, The P versus NP Problem, Institut de mathématiques Clay, avril 2000 (lire en ligne [PDF]).

Voir aussi

modifier

Articles connexes

modifier

Bibliographie

modifier

📚 Artikel Terkait di Wikipedia

Problème du voyageur de commerce

En informatique théorique, le problème du voyageur de commerce, ou problème du commis voyageur, est un problème d'optimisation qui consiste à déterminer

Problème d'échecs

vérifiabilité en associant ces informations à des références à l'aide d'appels de notes. Un problème d’échecs est un casse-tête artistique utilisant les

Problème à N corps

livre de Liu Cixin, consultez l'article Le Problème à trois corps. Le problème à N corps est un problème de mécanique céleste consistant à déterminer

Problème

Un problème, (appelé aussi un blème) dans son acception la plus courante, est une situation dans laquelle un obstacle empêche de progresser, d'avancer

Problème P ≟ NP

Le problème P ≟ NP est une conjecture en mathématiques, et plus précisément en informatique théorique, considérée par de nombreux chercheurs comme une

LNWR classe Problem

LNWR Problem Class LNWR Lady of the Lake Class La no 584 Majestic. La Classe Problem (ou Lady of the Lake) du London and North Western Railway est un

Problème à deux corps

Le problème à deux corps est un modèle théorique important en mécanique, qu'elle soit classique ou quantique, dans lequel sont étudiés les mouvements de

Problème du sac à dos

le problème du sac à dos, parfois noté (KP) (de l'anglais Knapsack Problem) est un problème d'optimisation combinatoire. Ce problème classique en informatique