Résultats effectifs en théorie des nombres

Résultats effectifs en théorie des nombres

Pour des raisons historiques et afin d'avoir des applications à la solution des équations diophantiennes, les résultats de la théorie des nombres ont été examinés plus que ceux d'autres branches des mathématiques pour déterminer si leur contenu est effectivement calculable. Ceci par exemple pose question sur toute utilisation de la notation grand O et les constantes qu'elle sous-entend: les affirmations sont-elles de simples théorèmes d'existence pour de telles constantes, ou peut-on trouver une version dans laquelle une borne calculable (comme par exemple 1 000) prend la place de la constante implicite ?

Beaucoup des résultats principaux que la théorie analytique des nombres prouva entre 1900 et 1950 étaient en fait ineffectifs. Parmi ces résultats on trouve les limites inférieures sur la façon dont croissent les classes des nombres (ideal class group) de certaines familles de corps; et des limites pour les meilleures approximations rationnelles de nombres algébriques en termes de dénominateurs. Ces dernières peuvent être interprétées assez directement comme des résultats à propos d'équations Diophantiennes, après le travail d'Axel Thue. Le résultat utilisé pour les nombres de Liouville dans la preuve est efficace dans la façon dont il applique le théorème de la valeur moyenne : mais les améliorations (connues comme le théorème de Thue-Siegel-Roth) ne l'étaient pas.

Des résultats ultérieurs, particulièrement de Baker, changèrent la donne d'une certaine manière. Des théorèmes plus faibles qualitativement parlant, mais avec des constantes explicites, peuvent désormais être appliqués en conjonction avec un traitement par ordinateur pour prouver que certaines listes de solutions conjecturées complètes le sont bel et bien.

Les difficultés ici furent attaquées par des techniques de preuve radicalement différentes, utilisant les preuves par contradiction avec beaucoup plus de soin. Les arguments utilisés sont plus proches de la théorie de la preuve que des théories de la calculabilité et des fonctions récursives. Il est assez vaguement conjecturé que les difficultés pourraient se trouver dans le domaine de la Théorie de la complexité des algorithmes (computational complexity theory). Des résultats ineffectifs sont encore prouvés sous la forme A ou B, pour lesquels nous n'avons aucun moyen de dire laquelle des alternatives est vraie.


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Résultats effectifs en théorie des nombres de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Resultats effectifs en theorie des nombres — Résultats effectifs en théorie des nombres Pour des raisons historiques et afin d avoir des applications à la solution des équations diophantiennes, les résultats de la théorie des nombres ont été examinés plus que ceux d autres branches des… …   Wikipédia en Français

  • Résultats efficaces dans la théorie des nombres — Résultats effectifs en théorie des nombres Pour des raisons historiques et afin d avoir des applications à la solution des équations diophantiennes, les résultats de la théorie des nombres ont été examinés plus que ceux d autres branches des… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Nombres réels — Nombre réel Les nombres réels (dont l ensemble est noté ℝ) peuvent très informellement être conçus en mathématiques comme tous les nombres associés à des longueurs ou des grandeurs physiques. Ce sont les nombres, qu ils soient positifs, négatifs… …   Wikipédia en Français

  • Corps des réels — Nombre réel Les nombres réels (dont l ensemble est noté ℝ) peuvent très informellement être conçus en mathématiques comme tous les nombres associés à des longueurs ou des grandeurs physiques. Ce sont les nombres, qu ils soient positifs, négatifs… …   Wikipédia en Français

  • BIODÉMOGRAPHIE - Logistique des populations naturelles — Les populations naturelles sont des ensembles fluctuants d’individus de même espèce. Elles se développent et se déploient dans un espace écologique où elles côtoient une multitude d’autres espèces. De tels ensembles multispécifiques constituent… …   Encyclopédie Universelle

  • Thèse de Church — La thèse de Church du nom du mathématicien Alonzo Church est une hypothèse ( thèse ) concernant la définition de la notion de calculabilité. Dans une forme dite physique [1], elle affirme que la notion physique de la calculabilité, définie comme… …   Wikipédia en Français

  • These de Church — Thèse de Church La thèse de Church du nom du mathématicien Alonzo Church est le principe de base de la calculabilité. Dans sa forme la plus ordinaire, elle affirme que tout traitement réalisable mécaniquement peut être accompli par un ordinateur… …   Wikipédia en Français

  • Thèse Church-Turing — Thèse de Church La thèse de Church du nom du mathématicien Alonzo Church est le principe de base de la calculabilité. Dans sa forme la plus ordinaire, elle affirme que tout traitement réalisable mécaniquement peut être accompli par un ordinateur… …   Wikipédia en Français

  • Thèse de Church-Turing — Thèse de Church La thèse de Church du nom du mathématicien Alonzo Church est le principe de base de la calculabilité. Dans sa forme la plus ordinaire, elle affirme que tout traitement réalisable mécaniquement peut être accompli par un ordinateur… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”