Mathématiques À Rebours

Mathématiques À Rebours

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 À Rebours de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Mathematiques a rebours — 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… …   Wikipédia en Français

  • 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… …   Wikipédia en Français

  • 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… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   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

  • Fondation des mathématiques — Fondements des mathématiques Le problème de la fondation ou des fondements, des mathématiques est celui des principes sur lequel est établie cette science, de sa vérité et de son contenu. Il s agit en particulier de répondre à la question :… …   Wikipédia en Français

  • Fondements Des Mathématiques — Le problème de la fondation ou des fondements, des mathématiques est celui des principes sur lequel est établie cette science, de sa vérité et de son contenu. Il s agit en particulier de répondre à la question : « À partir de quels… …   Wikipédia en Français

  • Fondements des mathematiques — Fondements des mathématiques Le problème de la fondation ou des fondements, des mathématiques est celui des principes sur lequel est établie cette science, de sa vérité et de son contenu. Il s agit en particulier de répondre à la question :… …   Wikipédia en Français

  • Fondements des mathématiques — La fondation, ou les fondements, des mathématiques sont les principes sur lesquels est établie cette science. Sommaire 1 Les points de vue sur la nature des mathématiques 1.1 Le logicisme 1.2 Le formalisme 1.3 …   Wikipédia en Français

  • Récurrence en mathématiques — Raisonnement par récurrence En mathématiques, le raisonnement par récurrence est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels. Le raisonnement par récurrence consiste à démontrer les points… …   Wikipédia en Français

Share the article and excerpts

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