Problèmes non résolus en mathématiques
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
Pour les articles homonymes, voir Liste des problèmes non résolus.
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 | modifier le code]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]:
- problème P ≟ NP
- conjecture de Hodge
- hypothèse de Riemann
- existence de la théorie de Yang-Mills avec un gap de masse
- existence et propriétés de solutions des équations de Navier-Stokes
- conjecture de Birch et Swinnerton-Dyer.
Seule la conjecture de Poincaré a été démontrée.
Autres problèmes encore non résolus
[modifier | modifier le code]Théorie des nombres
[modifier | modifier le code]Généralités
[modifier | modifier le code]conjectures
[modifier | modifier le code]- conjecture de Goldbach et sa version faible (1742)
- conjecture de Syracuse (problème 3x + 1)
- conjecture de Gilbreath
- conjecture abc
- conjecture de Szpiro
problème
[modifier | modifier le code]- déterminer les valeurs de et dans le problème de Waring (1770)
questions
[modifier | modifier le code]- existe-t-il un nombre parfait impair ?
- existe-t-il un nombre quasi parfait ?
- existe-t-il un nombre étrange impair ?
- dix est-il un nombre solitaire ?
- existe-t-il taxicab(5, 2, n) pour n > 1 ?
- problème de Brocard : existe-t-il des entiers n et m (n > 7) tels que n! + 1 = m2 ?
- la liste des soixante cinq nombres idoines d'Euler est-elle complète ?
Nombres premiers
[modifier | modifier le code]conjectures
[modifier | modifier le code]- conjecture de Polignac
- conjecture de Fortune : primalité systématique des nombres fortunés
- conjecture des nombres premiers jumeaux
problèmes
[modifier | modifier le code]questions
[modifier | modifier le code]- existe-t-il une infinité de quadruplets de nombres premiers ?
- existe-t-il une infinité de nombres premiers de Mersenne ?
- existe-t-il une infinité de nombres premiers réguliers ?
- existe-t-il une infinité de nombres de Cullen premiers ?
- existe-t-il une infinité de nombres de Fibonacci qui sont premiers ?
- les nombres de Fermat sont-ils tous composés pour ?
- 78 557 est-il le plus petit nombre de Sierpinski ?
- 509 203 est-il le plus petit nombre de Riesel ?
- existe-t-il un nombre double de Mersenne pour n plus grand que 31 ?
Algèbre
[modifier | modifier le code]problème
[modifier | modifier le code]conjecture
[modifier | modifier le code]questions
[modifier | modifier le code]- existe-t-il un cuboïde parfait ?
- Pour quels entiers m, n > 0 le groupe de Burnside B(m, n) est-il fini ?
Analyse
[modifier | modifier le code]problème
[modifier | modifier le code]conjectures
[modifier | modifier le code]question
[modifier | modifier le code]- la constante d'Euler-Mascheroni, , est-elle rationnelle ?
Combinatoire
[modifier | modifier le code]conjecture
[modifier | modifier le code]déterminations
[modifier | modifier le code]- nombre de carrés magiques
- établir une formule donnant la probabilité que deux éléments choisis au hasard engendrent le groupe symétrique
Théorie de Ramsey
[modifier | modifier le code]conjecture
[modifier | modifier le code]- conjecture des familles stables par unions : pour toute famille d'ensembles stable par unions il existe un élément appartenant au moins à une moitié des ensembles de la famille.
déterminations
[modifier | modifier le code]- les valeurs de nombres de van der Waerden
- les valeurs de nombres de Ramsey, en particulier R(5,5)
Théorie des graphes
[modifier | modifier le code]problème
[modifier | modifier le code]détermination
[modifier | modifier le code]- trouver une formule générale pour le seuil de percolation
conjectures
[modifier | modifier le code]- conjecture de reconstruction (en) : les graphes sont déterminés par leurs sous-graphes (due à Kelly et Ulam)
- conjecture d'Erdős-Gyárfás
- conjecture de Hadwiger
- conjecture d'Erdős-Faber-Lovász (résolue en 2021 pour des graphes suffisamment grands)
- conjecture de coloration totale (en)
- Conjecture d'Erdős-Hajnal
- conjecture de Ringel-Kotzig (alias conjecture de von Koch)
- Conjecture de 1-factorisation
- Conjecture du graphe trop plein
Notes et références
[modifier | modifier le code]- (en) Stephen Cook, The P versus NP Problem, Institut de mathématiques Clay, (lire en ligne [PDF]).
Voir aussi
[modifier | modifier le code]Articles connexes
[modifier | modifier le code]- La catégorie Problème non résolu en mathématiques
- Liste de conjectures mathématiques
- Problèmes de Hilbert
- Problèmes de Landau
- Problèmes de Smale
Bibliographie
[modifier | modifier le code]- (en) Vincent Blondel et Alexandre Megrestski, Unsolved Problems in Mathematical Systems and Control Theory, PUP, (1re éd. 2004), 352 p. (ISBN 978-1-4008-2615-5, lire en ligne).
- (en) Fan Chung et Ronald Graham, Erdős on Graphs: His Legacy of Unsolved Problems, A K Peters, , 142 p. (ISBN 978-1-56881-079-9).
- (en) Hallard T. Croft, Kenneth J. Falconer (en) et Richard K. Guy, Unsolved Problems in Geometry, Springer, coll. « Unsolved Problems in Intuitive Mathematics » (no 2), (1re éd. 1991) (ISBN 978-1-4612-6962-5).
- (en) Richard K. Guy, Unsolved Problems in Number Theory, New York, Springer, coll. « Unsolved Problems in Intuitive Mathematics » (no 1), (1re éd. 1981), 437 p. (ISBN 978-0-387-20860-2, lire en ligne).
- (en) Victor Klee et Stan Wagon, Old and New Unsolved Problems in Plane Geometry and Number Theory, MAA, , 333 p. (ISBN 978-0-88385-315-3, lire en ligne).
