Wikidata facts
- Instance of
- branch of mathematics
- Part of
- mathematical logic
Show 1 more fact
- Stack Exchange tag
- mathoverflow.net/tags/reverse-math
Sources (3)
via Wikidata · CC0
Article · Français
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.
Abstract from DBpedia / Wikipedia · CC BY-SA