Remonter aux fondations des maths

Et si les mathématiques étaient une montagne à descendre ? Les mathématiques à rebours font l'inverse de l'approche classique : au lieu de partir des axiomes pour construire des théorèmes, elles remontent des théorèmes jusqu'aux axiomes. L'objectif ? Déterminer précisément quels principes fondamentaux sont vraiment nécessaires et suffisants pour prouver nos résultats usuels. C'est comme faire de l'archéologie mathématique : fouiller sous les théorèmes pour découvrir les briques logiques minimales qui les soutiennent. Une branche qui teste la robustesse de tout ce qu'on croyait acquis. Fascinant pour comprendre où gît vraiment la force des mathématiques.