L'Encyclopédie
Accueil · Mathématiques · Concepts

Les Paradoxes en Mathématiques

Mathématiques → Logique & Fondements → Concept transversal — Un paradoxe mathématique est un raisonnement qui aboutit à une conclusion choquante, contradictoire ou contre-intuitive — sans pour autant…

Mathématiques → Logique & Fondements → Concept transversal

Enjeu global

Un paradoxe mathématique est un raisonnement qui aboutit à une conclusion choquante, contradictoire ou contre-intuitive — sans pour autant être faux. Loin d’être de simples curiosités, les paradoxes ont été des moteurs de l’histoire des maths : ils révèlent les limites de l’intuition et forcent à refonder les concepts (l’infini, l’ensemble, la vérité). L’enjeu : voir le paradoxe non comme un échec mais comme le lieu où la pensée se corrige et progresse.

Trois grandes familles de paradoxes

1. Les paradoxes de l’infini

  • Zénon d’Élée (Ve s. av. J.-C.) : Achille et la tortue — Achille ne rattraperait jamais la tortue car il doit d’abord atteindre l’endroit qu’elle vient de quitter, à l’infini. Résolu par la convergence des séries (une somme infinie peut être finie).
  • La trompette de Gabriel (Torricelli, 1641) : surface infinie, volume fini.
  • L’hôtel de Hilbert : un hôtel plein avec une infinité de chambres peut toujours accueillir un nouveau client (et même une infinité). L’infini ne se comporte pas comme un grand nombre fini.
  • Leçon : l’intuition du fini échoue sur l’infini ; il faut des outils rigoureux (limites, cardinaux de Cantor).

2. Les paradoxes logiques (autoréférence)

  • Le paradoxe du menteur : “Cette phrase est fausse.” Si elle est vraie, elle est fausse, et inversement.
  • Le paradoxe de Russell (1901) : l’ensemble de tous les ensembles qui ne se contiennent pas eux-mêmes se contient-il ? Contradiction qui a ébranlé les fondements de la théorie des ensembles → refondation axiomatique (Zermelo-Fraenkel).
  • Leçon : l’autoréférence (“cette phrase…”, “l’ensemble de tous les ensembles…”) engendre des contradictions ; il faut encadrer ce qu’on s’autorise à dire (voir logique).

3. Les paradoxes probabilistes / géométriques

  • Le paradoxe de Banach-Tarski (1924) : on peut découper une sphère en un nombre fini de morceaux et les réassembler en deux sphères identiques à la première. Contraire à toute intuition physique — mais conséquence de l’axiome du choix.
  • Le paradoxe de Monty Hall, le paradoxe des anniversaires : l’intuition probabiliste est souvent fausse.

Thèses et débats

1. Le paradoxe, moteur du progrès

  • Thèse : chaque grande crise des fondements (Zénon → calcul infinitésimal ; Russell → axiomatisation ; les paradoxes de l’infini → théorie des ensembles de Cantor) a fait avancer les mathématiques. Le paradoxe est fécond.
  • Contradicteur : certains (intuitionnistes, Brouwer) répondent qu’il faut restreindre les méthodes pour éviter ces monstres (rejeter le tiers exclu, l’infini actuel, l’axiome du choix) — quitte à amputer une partie des maths. Débat sur ce qu’on accepte comme “vrai”.

2. Maths et réalité

  • Thèse : Banach-Tarski montre que les maths peuvent être cohérentes tout en étant physiquement absurdes — les objets mathématiques ne sont pas des objets du monde (voir La Trompette de Gabriel, le paradoxe du peintre).
  • Contradicteur : pour le platonisme mathématique, ces objets “existent” dans un monde d’idées (L’âme, les Formes de Platon) ; pour le formalisme, ce ne sont que des jeux de symboles cohérents. Débat sur la nature même des mathématiques (voir falsifiabilité, le statut épistémologique).

🔗 Notes connexes