Raisonnement par l'absurde
Période historique : Antiquité (Éléates, Euclide)
La démonstration par contradiction : établir la vérité d'une proposition en prouvant que sa négation mène à une absurdité.
Contenu & Formulation mathématique
Genèse & Portée historique
Forme classique de raisonnement logique (reductio ad absurdum) reposant sur le principe du tiers exclu. Pour démontrer qu'une thèse est vraie, on suppose provisoirement qu'elle est fausse, puis on déduit rigoureusement une contradiction logique.
Le mathématicien G. H. Hardy qualifiait le raisonnement par l'absurde de « l'une des armes les plus brillantes du mathématicien : un gambit bien plus raffiné que n'importe quel sacrifice aux échecs ».
Filiations & Relations conceptuelles (0)
Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.
Objet de collection MathTCG
Raisonnement par l'absurde
Principe : Assumer la négation de la conclusion souhaitée pour en déduire une contradiction avec les axiomes ou hypothèses établies.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Foundations.