Cantor, plus grand que l’infini

I. Quelle taille peut avoir l’infini ?

Vous comptez jusqu’à un million. Il reste possible d’ajouter un. Vous continuez : il en reste toujours un autre.

L’infini ressemble d’abord à une route sans arrivée. Demander lequel de deux infinis est le plus grand paraît manquer le sens même du mot. Comment comparer des parcours dont aucun ne s’achève ?

Cantor déplace la question. Oublions un instant l’arrivée. Si l’on peut associer chaque objet d’un côté à un seul objet de l’autre, sans oublier personne, n’a-t-on pas autant d’objets des deux côtés ?

On dirait une affaire de chaises à disposer. Pourtant, quelque chose s’ouvre. L’infini cesse d’être seulement le geste qui désigne le lointain ; il acquiert une forme que nous pouvons examiner.

Le résultat sur la non-dénombrabilité des réels paraît en 1874, le célèbre argument diagonal en 1891. Entre les deux : des calculs, des lettres, des corrections et le travail d’autres personnes. L’infini n’attendait pas, muet, qu’un génie le réveille d’un seul coup.

Suivons d’abord le raisonnement. Le récit du savant devenu fou pour avoir trop vu peut attendre indéfiniment. Une affirmation mathématique réclame une preuve ; une personne malade a besoin de soins. Ce ne sont pas deux formulations de la même chose.

II. Une chaise pour chacun

Dans une salle remplie de monde, inutile de compter séparément les gens et les sièges. Chacun s’assied sur une chaise ; personne ne reste debout, aucune chaise n’est vide. Voilà l’intuition de la correspondance un à un.

Associez maintenant 1 à 2, 2 à 4, 3 à 6, 4 à 8. Chaque entier positif trouve son nombre pair, et chaque nombre pair positif est atteint. La règle ne se dérègle pas parce que nous ne pouvons pas finir matériellement l’opération.

Les pairs restent une partie propre des entiers positifs. Pourtant, au sens de cette correspondance, ils sont aussi nombreux. Une évidence du monde fini — enlever des éléments réduit nécessairement la taille — doit être réexaminée.

Les fractions paraissent plus encombrantes encore. Entre deux rationnels distincts, d’autres peuvent s’insérer. Comment cette foule pourrait-elle former une file où chacun reçoit un numéro entier ?

Rangez les fractions positives dans un tableau, par numérateur et dénominateur, puis parcourez des diagonales successives en sautant les doublons, comme 1/2 et 2/4. Ajoutez zéro et les nombres négatifs : chaque rationnel finit par avoir son tour. Cette diagonale sert à parcourir un tableau ; elle ne joue pas le rôle de celle qui montrera bientôt qu’une liste est incomplète.

Cette taille s’appelle ℵ₀, aleph-zéro : l’infini dénombrable. Entiers, pairs positifs, rationnels peuvent tous y entrer. Peut-être n’existe-t-il finalement qu’une seule taille infinie. Nous avons désormais une raison de poser la question, au lieu d’en présumer la réponse.

III. Celui qui manque sur la liste

Quelqu’un vous présente une liste censée contenir tous les réels compris entre zéro et un. Un développement décimal par ligne, avec un entier positif pour numéroter chaque ligne.

Vous n’avez pas besoin de tout lire. Prenez la première décimale de la première ligne, la deuxième de la deuxième, la troisième de la troisième. Vous choisissez ainsi, dans chaque ligne, l’endroit précis où vous allez diverger.

Construisez un nombre nouveau avec les seuls chiffres 1 et 2. Si la décimale observée vaut 1, écrivez 2 ; sinon, écrivez 1. Le nouveau nombre diffère de la ligne numéro n à la décimale numéro n.

Ce choix évite aussi un piège : 0,4999… et 0,5000… désignent le même réel. Faire varier les signes sur le papier ne suffit pas toujours à obtenir un autre nombre. Même une preuve élégante doit s’occuper de ce détail.

Où placer le nouveau venu ? Pas à la première ligne : la première décimale diffère. Pas à la deuxième non plus. Quelle que soit la ligne choisie, une différence a été préparée pour elle.

Il s’agit pourtant bien d’un réel entre zéro et un. La liste proclamée complète l’a laissé dehors. Ce n’est pas un manque de papier : toute liste indexée par les entiers positifs peut être mise en défaut de cette façon.

C’est une présentation décimale moderne de l’argument de 1891, non sa transcription littérale. La preuve de 1874 suivait une autre voie. L’essentiel est le passage de « nous n’avons pas encore fini » à « cette manière de procéder ne peut pas tout énumérer ».

Le retournement employé plus tard par Turing possède un air de famille. Mais il construit un programme qui contredit une procédure de décision supposée universelle, pas simplement un nombre oublié. Une méthode voyage ; ses objets et ses conclusions restent à distinguer.

IV. Fabriquer la marche suivante

Les entiers ont pour cardinal ℵ₀ ; celui des réels se note généralement c. Ce dernier est plus grand. Serait-ce le dernier infini ?

Cantor propose une opération réutilisable : considérer l’ensemble de toutes les parties d’un ensemble. Avec deux personnes, on peut choisir personne, la première seulement, la seconde seulement ou les deux : quatre possibilités.

L’ensemble des parties est toujours strictement plus grand. Supposons avoir attribué à chaque élément une partie de façon à tout couvrir. Réunissons les éléments qui n’appartiennent pas à leur propre partie attribuée. Cette nouvelle partie ne peut être celle d’aucun élément sans contradiction sur sa présence en elle.

Ainsi, pour tout ensemble présenté, une taille supérieure existe. Aucun cardinal maximal ne vient fermer la montée.

Les symboles risquent toutefois de nous tromper. ℵ₀, ℵ₁, ℵ₂ désignent des cardinaux infinis successifs ; prendre l’ensemble des parties ne conduit pas nécessairement à l’aleph immédiatement suivant. Dessiner une seule suite de marches pour les deux opérations ferait passer une question difficile pour une réponse acquise.

L’infini devient plus précis, pas entièrement possédé. Ce travail n’installe personne au-dessus de tout ; il permet de demander avec exactitude ce qui peut venir après le lieu où l’on se trouve.

V. Entre deux marches

ℵ₁ est le plus petit cardinal infini supérieur à ℵ₀. Le cardinal des réels c lui est-il égal ? Existe-t-il une taille strictement intermédiaire entre le dénombrable et le continu ?

C’est l’hypothèse du continu. Cantor la poursuit pendant des années sans parvenir à la résoudre. On peut imaginer la fatigue des reprises ; on ne peut pas tirer d’un problème ardu le diagnostic causal d’une maladie.

En 1900, Hilbert place la question en tête de sa célèbre liste. Elle ne disparaît pas avec l’échec de Cantor. Les travaux ultérieurs vont également transformer le sens d’une réponse possible.

Gödel obtient son résultat de cohérence relative en 1938, puis publie une monographie en 1940. Cohen apporte l’autre direction en 1963. Si les axiomes usuels de la théorie des ensembles, ZFC, sont cohérents, ils ne permettent de démontrer ni l’hypothèse du continu ni sa négation.

Les mots « dans ZFC » sont indispensables. Aucune interdiction ne frappe pour toujours toutes les mathématiques imaginables. D’autres axiomes et modèles deviennent des objets de recherche ; leur choix exige cependant des raisons, et pas seulement l’envie d’obtenir une réponse préférée.

Ne pas avoir trouvé la démonstration et travailler avec des règles qui ne déterminent pas la réponse sont deux situations différentes. Les distinguer constitue déjà un progrès. L’inachèvement n’est pas toujours une défaillance personnelle, encore moins une raison d’humilier.

VI. Deux tables de travail

Kronecker fut un adversaire important. Ses exigences concernant les objets et les méthodes admissibles étaient beaucoup plus restrictives. Il y avait là un désaccord intellectuel réel, traversé aussi par l’inégalité du pouvoir professionnel.

Mais la carrière de Cantor ne se résume pas à un gardien malveillant et à un rejet unanime. Weierstrass et d’autres l’ont soutenu ; il a travaillé longtemps à Halle et contribué à bâtir une communauté mathématique. Soutien, hostilité, maladie et revers ne relèvent pas d’une cause unique.

Il y avait aussi Dedekind. La correspondance de 1873 n’est pas celle d’un génie annonçant ses résultats à son public. Deux mathématiciens échangent des problèmes, des preuves, des améliorations. La pensée avance parce qu’une feuille passe d’une table à l’autre.

Une dette de reconnaissance doit demeurer visible. Dedekind a consigné que sa preuve et ses améliorations avaient été reprises dans l’article de 1874 sans reconnaissance publique adéquate. L’importance des découvertes de Cantor ne supprime pas cette dette.

En 2026, Quanta a rapporté le retour à l’attention du public d’une lettre longtemps tenue pour perdue, retrouvée par Demian Goos à Halle en 2025. Datée du 30 novembre 1873, elle contient la preuve de Dedekind sur la dénombrabilité des nombres algébriques. Reportage récent, documents conservés et suppositions sur les intentions ne sont pas des preuves de même nature.

Ce n’est pas le coup de théâtre où tout serait volé. Les contributions à la non-dénombrabilité et aux nombres transfinis restent à examiner séparément. Dedekind ne doit pas non plus servir uniquement à rendre Cantor plus complexe : son nom appartient au travail qu’il a fait.

Une personne injustement traitée peut en traiter une autre injustement. Cela mérite d’être dit, sans inventer une loi de conservation des blessures. Souffrir ne rend pas la faute future inévitable et ne l’excuse pas.

Comprendre quelqu’un est plus difficile que le défendre jusqu’au bout. Il faut préserver le travail, la souffrance, et la place de celui dont la contribution n’a pas reçu son nom.

VII. Trois limites distinctes

Cantor, Gödel, Turing : la juxtaposition attire. Chacun impose une limite rigoureuse à l’espoir de pouvoir tout mener à bien.

Cantor montre qu’on ne peut numéroter tous les réels par les entiers. Gödel étudie des systèmes formels effectivement axiomatisés, assez riches pour exprimer l’arithmétique. Turing examine la possibilité d’un algorithme universel de décision. Ils ne récitent pas trois fois le même théorème.

Diagonales, codage et autoréférence dessinent une parenté importante. Pourtant, listes, systèmes de preuve et programmes sont des objets différents. L’indépendance du continu n’est pas simplement le problème de l’arrêt sous un autre nom.

Une lecture philosophique peut y trouver un exercice de modestie : savoir la puissance d’un outil et demander où elle s’applique. C’est une lecture, non la preuve mathématique de toutes les thèses philosophiques que nous souhaiterions confirmer.

Surtout, leurs maladies, les persécutions et leurs morts ne doivent pas devenir le corollaire selon lequel voir une limite condamne à être brisé par elle. Turing a subi la persécution de l’État ; Cantor a connu des troubles récurrents. Leurs vies ne sont pas des illustrations jointes aux théorèmes.

Même celui qui connaît les limites des méthodes a besoin d’amis, de travail, de repos et de soins. Faire de la souffrance un certificat de profondeur est une autre blessure que nous pouvons éviter d’infliger en commémorant.

VIII. Pas de sommet ne signifie pas pas de chemin

Revenons à l’escalier. À chaque niveau, on peut demander s’il existe un ensemble plus grand. Monter suffisamment haut ne finit pas par transformer la réponse en non.

Cela peut rappeler le Bien de Platon ou le système de Hegel. C’est un début de comparaison, pas sa conclusion. Un théorème sur les cardinaux ne réfute directement ni les Formes ni une conception de la fin de l’histoire.

Cantor lui-même avait de fortes préoccupations religieuses et distinguait le transfini mathématique de l’infini absolu de la théologie. En faire l’homme qui abolit toute question ultime empêcherait aussi d’entendre sa voix.

Son travail ressemble moins à la découverte que rien n’est possible qu’à la fabrication d’un instrument de mesure meilleur. Dénombrable, non dénombrable, ensemble des parties : chaque distinction offre un appui plus sûr pour la suite.

Il n’est pas nécessaire de posséder le tout pour entreprendre la portion devant soi. Un lecteur n’a pas non plus à maîtriser toute la théorie des ensembles pour voir une transformation : un vague « toujours » devient matière à désaccord, à correction et à travail commun.

L’escalier n’a pas de sommet. Vous ne pouvez gravir aucune marche aujourd’hui. Ce sont deux phrases différentes. Les mathématiques de Cantor nous laissent la première ; elles n’exigent pas la seconde.

IX. Une chaise, ici aussi

Cantor meurt à l’hôpital psychiatrique de Halle le 6 janvier 1918, à soixante-douze ans. Les hospitalisations ont marqué ses dernières années ; la guerre rend la vie plus difficile. Ces faits n’ont pas besoin d’une voix ajoutant que l’infini aurait finalement emporté sa raison.

La formule de Hilbert sur le paradis créé par Cantor appartient aux années qui suivent sa mort. Elle parle de l’espace ouvert aux mathématiques, non du quotidien de son créateur. La victoire d’une discipline ne remonte pas le temps pour tenir compagnie à un malade.

Sur le pont imaginaire de cette série, Cantor regarde encore vers le haut. Sa plume trace ℵ₀, ℵ₁ dans l’air. Il reste de la place après.

Cette fois, nul besoin de lui dessiner les yeux fous de celui qui aurait trop vu. Il peut simplement être quelqu’un qui s’anime en expliquant, heureux qu’un autre cherche à comprendre.

Tchekhov s’approche. Hume range son backgammon. Turing tient une feuille couverte de signes ; personne ne le presse de transformer son histoire en conclusion.

Cantor peut poursuivre, ou s’interrompre. Quelqu’un écoutera sans exiger un nouveau théorème extraordinaire en échange.

Les marches ne disparaîtront pas pendant son repos. Une personne n’a pas à s’épuiser entièrement pour être digne du chemin qu’elle a ouvert.

Il y a encore quelque chose au-dessus. Ici aussi, il peut y avoir une chaise.