Mathématiques renversées

Mathématiques renversées

Mathématiques à rebours

Les mathématiques à rebours sont une branche des mathématiques qui pourrait être définie simplement par l'idée de “remonter aux axiomes à partir des théorèmes”, contrairement au sens habituel (des axiomes vers les théorèmes). Un peu plus précisément, il s'agit d'évaluer la robustesse logique d'un ensemble de résultats mathématiques usuels en déterminant exactement quels axiomes sont nécessaires et suffisants pour les prouver.

Le domaine a été créé par Harvey Friedman dans son article “Some systems of second order arithmetic and their use” (Proceedings of the International Congress of Mathematicians (Vancouver, B.C., 1974), Vol. 1, pp. 235–242. Canad. Math. Congress, Montreal, Que., 1975).

Le sujet fut poursuivi entre autres par Stephen G. Simpson et ses étudiants. Simpson a écrit l'ouvrage de référence sur le sujet, Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1999, ISBN 3-540-64882-8); dont l'introduction a très fortement inspiré cet article.

Principes

Généralités

Le principe des mathématiques à rebours est le suivant : on considère un langage structuré et une théorie de base, trop faible pour prouver la plupart des théorèmes qui peuvent nous intéresser, mais quand même assez forte pour prouver l'équivalence de certaines assertions dont la différence est vraiment minime, ou pour établir certains faits considérés comme assez évidents (la commutativité de l'addition par exemple). Au dessus de cette faible théorie de base, il existe une théorie complète (ensemble d'axiomes), assez forte pour prouver les théorèmes qui nous intéressent et dans laquelle l'intuition mathématique classique reste intacte.

Entre le système de base et le système complet, le mathématicien cherche les ensembles d'axiomes de robustesse intermédiaire, qui ne sont deux à deux probablement pas équivalent (dans le système de base): chaque système ne doit pas seulement prouver tel ou tel théorème classique, mais doit aussi y être équivalent (dans le système de base). Cela assure que la robustesse logique du théorème a été précisément atteinte (au moins pour le langage structuré et le système de base): un ensemble d'axiome plus restreint ne pourrait pas suffire à prouver le théorème, et il ne pourrait pas en impliquer un plus large.

Le principe part donc du système complet au système de base tout en relevant les axiomes ayant permis par le procédé réciproque l'obtention du système de base.

  • Portail de la logique Portail de la logique
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Math%C3%A9matiques %C3%A0 rebours ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Mathématiques renversées de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Axiome (Mathématiques Élémentaires) — Axiome Un axiome (du grec ancien αξιωμα/axioma, « considéré comme digne, convenable, évident en soi ») désigne une vérité indémontrable qui doit être admise. Pour certains philosophes grecs de l Antiquité, un axiome était une… …   Wikipédia en Français

  • Axiome (mathematiques elementaires) — Axiome Un axiome (du grec ancien αξιωμα/axioma, « considéré comme digne, convenable, évident en soi ») désigne une vérité indémontrable qui doit être admise. Pour certains philosophes grecs de l Antiquité, un axiome était une… …   Wikipédia en Français

  • Axiome (mathématiques élémentaires) — Axiome Un axiome (du grec ancien αξιωμα/axioma, « considéré comme digne, convenable, évident en soi ») désigne une vérité indémontrable qui doit être admise. Pour certains philosophes grecs de l Antiquité, un axiome était une… …   Wikipédia en Français

  • Axiomatique — Axiome Un axiome (du grec ancien αξιωμα/axioma, « considéré comme digne, convenable, évident en soi ») désigne une vérité indémontrable qui doit être admise. Pour certains philosophes grecs de l Antiquité, un axiome était une… …   Wikipédia en Français

  • Axiome — Un axiome (du grec ancien αξιωμα/axioma, « considéré comme digne, convenable, évident en soi » lui même dérivé de αξιος (axios), signifiant « digne ».) désigne une vérité indémontrable qui doit être admise. Pour certains… …   Wikipédia en Français

  • Axiomes — Axiome Un axiome (du grec ancien αξιωμα/axioma, « considéré comme digne, convenable, évident en soi ») désigne une vérité indémontrable qui doit être admise. Pour certains philosophes grecs de l Antiquité, un axiome était une… …   Wikipédia en Français

  • renversé — renversé, ée (ran vèr sé, sée) part. passé de renverser. 1°   Qui est à la renverse. •   Je me figure encor sa nourrice éperdue, Qui devant les bourreaux s était jetée en vain, Et, faible, le tenait renversé sur son sein, RAC. Athal. I, 2. •   Me …   Dictionnaire de la Langue Française d'Émile Littré

  • SYMÉTRIE (physique) — La notion de symétrie en physique est assez intuitive; elle n’a été formalisée et généralisée que depuis moins d’un siècle: en plus des symétries spatio temporelles, il en existe d’autres, liées à des concepts physiques plus abstraits tels que… …   Encyclopédie Universelle

  • Alsace — 48°30′0″N 7°30′0″E / 48.5, 7.5 …   Wikipédia en Français

  • Matrice De Hankel — En algèbre linéaire une matrice de Hankel, du nom du mathématicien Hermann Hankel, est une matrice carrée dont les valeurs sont constantes le long des diagonales ascendantes, c est à dire dont les indices vérifient la relation ai,j = ai − 1,j + 1 …   Wikipédia en Français

Share the article and excerpts

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