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

Cantor

Mathématiques → Théorie des ensembles → Le dompteur de l'infini — Georg Cantor est un mathématicien allemand, créateur de la théorie des ensembles et le premier à traiter l'infini actuel de façon…

Mathématiques → Théorie des ensembles → Le dompteur de l’infini

Qui c’est

Georg Cantor est un mathématicien allemand, créateur de la théorie des ensembles et le premier à traiter l’infini actuel de façon rigoureuse. Sa découverte-choc : il existe plusieurs infinis, de tailles différentes. Génie longtemps combattu de son vivant, il a bouleversé les fondements des mathématiques.

Ses apports

  • La théorie des ensembles : penser des collections d’objets comme des touts — base de toutes les mathématiques modernes.
  • L’argument diagonal : sa preuve la plus célèbre. Il montre qu’on ne peut pas numéroter les nombres réels (les mettre en liste 1, 2, 3…) : les réels sont « non dénombrables ». Donc l’infini des réels est strictement plus grand que celui des entiers.
  • Les cardinaux transfinis (les aleph) : il mesure les infinis. Le plus petit, celui des entiers, est ℵ₀ (aleph-zéro) ; celui des réels est plus grand. Il y a une hiérarchie infinie d’infinis.
  • L’hypothèse du continu : existe-t-il un infini entre celui des entiers et celui des réels ? Question qui s’avérera indécidable dans les axiomes usuels (Gödel, Cohen) — un abîme logique.

Réception & drame

  • Rejeté par une partie des mathématiciens (surtout Kronecker, qui le persécute : « Dieu a fait les entiers, tout le reste est l’œuvre de l’homme »). Hilbert, à l’inverse, le défend : « Nul ne nous chassera du paradis que Cantor a créé. »
  • Cantor souffrit de dépressions graves (bipolarité probable), aggravées par ces attaques ; il mourut dans un asile. Figure tragique du génie incompris, réhabilité après sa mort.

Portée

Cantor achève philosophiquement le vieux débat sur l’infini (voir Le Débat Hobbes-Torricelli sur l’Infini) : contre Hobbes, l’infini actuel devient un objet légitime de la raison. Il ouvre les mathématiques du XXe siècle (logique, fondements).

🔗 Liens

Fiches qui citent celle-ci (4)