Le théorème de Goodstein : la suite qui explose, puis revient toujours à zéro
Prends un entier quelconque. N'importe lequel. Suis maintenant une règle en deux étapes, encore et encore, et observe le résultat. Pour presque toute valeur de départ choisie, la suite monte en flèche au-delà d'un googol, au-delà de nombres qui dépassent le nombre d'atomes dans l'univers observable, au-delà de tout ce que tu pourrais écrire dans une vie. Et pourtant, de façon prouvable, elle revient toujours à zéro.
C'est le théorème de Goodstein, et la première fois qu'on l'entend, cela ressemble à un tour de passe-passe. La règle n'est pas compliquée, les nombres sont ordinaires, et l'énoncé est limpide. Pendant des décennies pourtant, la raison pour laquelle il est vrai n'avait pas de place dans l'arithmétique ordinaire. Cet article ne te demande pas de suivre une démonstration logique. Il te montre l'image qui se cache dessous, et une fois que tu la vois, le théorème cesse d'être mystérieux.
La règle est presque enfantine
Tu pars d'un entier et d'une base, en commençant à la base 2. À chaque étape, tu fais deux choses : d'abord, tu réécris le terme courant en notation héréditaire base n ; ensuite, tu remplaces chaque occurrence de la base n par n+1, puis tu soustrais 1. Tu passes alors à la base suivante et tu recommences.
Le « coup de pouce et soustraction » paraît anodin. Faire passer la base de 2 à 3 semble un changement minime. Soustraire 1 semble devoir freiner le nombre. Tu vas voir pourquoi aucune de ces deux intuitions ne résiste à la notation héréditaire.
Regarde l'explosion
Partons de 4. En notation héréditaire base 2, cela donne 2^2. On remplace chaque 2 par 3 et on soustrait 1 : on obtient 3^3 moins 1, soit 26. On écrit maintenant 26 en notation héréditaire base 3, on passe à la base 4, on soustrait 1, et on obtient 41. On continue.
| Step | Base | Written in that base | Value |
|---|---|---|---|
| 1 | 2 | 2² | 4 |
| 2 | 3 | 2·3² + 2·3 + 2 | 26 |
| 3 | 4 | 2·4² + 2·4 + 1 | 41 |
| 4 | 5 | 2·5² + 2·5 | 60 |
| 5 | 6 | 2·6² + 6 + 5 | 83 |
| 6 | 7 | 2·7² + 7 + 4 | 109 |
La suite qui part de 4 donne : 4, 26, 41, 60, 83, 109, et continue de croître pendant une durée remarquablement longue avant de finalement redescendre. Si tu pars de 19, les nombres atteignent des hauteurs physiquement inécrivables. Le nombre d'étapes avant même que la suite commence à se retourner est supérieur au nombre d'atomes dans l'univers observable. Si tu avais lancé le calcul au Big Bang sur l'ordinateur le plus rapide concevable, tu ne le verrais pas atteindre son sommet aujourd'hui.
Tout instinct dit : ça diverge. Il n'y a pas de retour possible depuis des nombres si grands. L'intuition se trompe ici, et c'est bien là le propos. Quelque chose d'invisible se passe, que les nombres bruts ne révèlent pas.
Le nombre caché qui ne fait que descendre
Remplacer chaque terme par son ombre ordinale
Voici le geste clé. Prends n'importe quel terme de la suite de Goodstein et lis son expression héréditaire en base n. Maintenant, partout où tu vois la base n, écris le symbole oméga (le premier ordinal infini) à la place. Tu n'as pas changé la structure de l'expression du tout. Tu as seulement échangé une étiquette. Le résultat est un nombre ordinal, une sorte de décompte qui s'étend au-delà des entiers vers l'infini.
Par exemple, 4 en notation héréditaire base 2 est 2^2. Remplace 2 par oméga et tu obtiens oméga^oméga. L'ombre ordinale de 26 en notation héréditaire base 3 est deux fois oméga au carré, plus deux fois oméga, plus deux : un polynôme fini en oméga, bien plus petit qu'oméga à la puissance oméga. Les exposants 2, 1 et 0 dans l'expression héréditaire base 3 sont déjà inférieurs à 3, donc aucun empilement supplémentaire n'a lieu. Ces ordinaux sont des objets mathématiques parfaitement bien définis.
Changer la base ne fait rien à l'ombre
Quand tu fais passer la base de n à n+1, l'expression héréditaire change son étiquette de n à n+1, mais la forme de l'expression reste identique. Donc l'ombre ordinale ne change pas quand tu changes la base. L'ombre du terme avant le changement de base et l'ombre du terme après sont le même ordinal.
Mais ensuite tu soustrais 1 de l'entier. Soustraire 1, en notation héréditaire, exige de défaire le terme le plus bas de l'expression. Cela modifie la forme de l'expression héréditaire de sorte que, lorsque tu remplaces la base par oméga, tu obtiens un ordinal strictement plus petit. Pas d'un montant minime, pas par coïncidence : chaque soustraction de 1 de la suite d'entiers force l'ombre ordinale à descendre strictement.
Donc le schéma est le suivant : on change la base (l'ombre reste sur place), on soustrait 1 (l'ombre descend). Effet net par étape : l'ombre ordinale descend d'au moins un cran, à chaque fois.
Les ordinaux ne peuvent pas décroître indéfiniment
Une suite strictement décroissante d'ordinaux ne peut pas continuer indéfiniment. C'est l'un des faits les plus fondamentaux sur les ordinaux : contrairement aux entiers, on ne peut pas continuer à descendre sans fin. Il y a un plancher. La suite des ombres ordinales doit finir par atteindre zéro, et quand l'ombre ordinale est zéro, le seul entier dont l'expression héréditaire correspond à l'ordinal zéro est zéro lui-même. Donc la suite de Goodstein doit aussi atteindre zéro.
Les entiers peuvent enfler jusqu'à des tailles inimaginables. Mais les ordinaux qui les sous-tendent décomptent tranquillement, inévitablement, à chaque étape. Le bruit est dans les nombres visibles. La vérité est dans l'ombre.
L'hydre dit la même chose
On peut raconter la même histoire sous forme de jeu. Imagine un monstre en forme d'arbre, une hydre, avec des têtes au bout de ses branches. Tu coupes une tête. Selon laquelle tu coupes et à quel moment, plusieurs nouvelles têtes peuvent pousser à la place, parfois bien davantage. Tu continues à couper. L'hydre semble gagner.
Le jeu de l'hydre de Kirby-Paris, introduit par les mathématiciens Jeff Paris et Laurie Kirby en 1982, correspond exactement à cette situation, et il encode les mêmes mathématiques que la suite de Goodstein. La règle de repousse des têtes correspond à l'explosion liée au changement de base. La structure en arbre correspond à la notation héréditaire. Et l'ordinal caché derrière l'arbre décroît strictement à chaque coupe, tout comme dans l'argument de Goodstein.
Quelle que soit la stratégie que tu utilises, quelle que soit la négligence avec laquelle tu choisis quelle tête couper, tu gagnes toujours. L'hydre meurt toujours. L'explosion de nouvelles têtes est réelle, et elle peut être spectaculaire, mais sous les feux d'artifice un compte à rebours tourne. Le jeu de l'hydre est le théorème de Goodstein déguisé.
Pourquoi les mathématiciens s'y intéressent
C'est là que l'histoire prend un tournant. Le théorème de Goodstein est vrai. Il est démontrablement vrai, comme le montre l'argument ordinal ci-dessus. Mais en 1982, Kirby et Paris ont prouvé autre chose : le théorème ne peut pas être démontré dans l'arithmétique de Peano.
L'arithmétique de Peano est le système formel standard pour raisonner sur les entiers. Elle capture presque tout ce qu'on appellerait l'arithmétique ordinaire : l'addition, la multiplication, l'induction sur les entiers naturels. C'est l'arène où vivent la plupart des résultats scolaires. Et elle n'est tout simplement pas assez puissante pour démontrer que les suites de Goodstein terminent.
Cela ne signifie pas que le théorème est indémontrable en tout sens. L'argument ordinal fonctionne, et il est totalement rigoureux. Mais l'argument ordinal exige de raisonner sur l'infini d'une façon que l'arithmétique de Peano ne peut pas atteindre. Le système peut décrire les suites de Goodstein avec précision. Il peut les calculer, terme après terme. Il peut même reconnaître que chaque terme est un entier spécifique. Ce qu'il ne peut pas faire, c'est voir l'ombre, la structure ordinale qui garantit la descente.
Le théorème de Goodstein fut l'un des premiers exemples d'un énoncé naturel, d'apparence ordinaire, sur des nombres ordinaires, qui s'avère vivre juste hors de portée de l'arithmétique standard. Ce n'est pas un puzzle logique artificiel conçu pour être indémontrable. C'est un énoncé qu'on pourrait expliquer à un lycéen, sur une suite qu'on pourrait écrire sur une serviette, et l'arithmétique standard ne peut pas clore l'affaire.
Le zen de tout cela
Il y a quelque chose qui mérite qu'on s'y arrête. La suite qui semble exploser sans borne participe, à chaque étape, à une descente que les nombres bruts te cachent. Les deux choses se passent simultanément : une croissance colossale, et un retour tranquille et inévitable.
Ce n'est pas une contradiction. C'est un rappel que la taille d'un nombre n'est pas la même chose que son destin. Ce qui compte, c'est la structure en dessous, et cette structure pointe toujours vers zéro.
Les mathématiques sont pleines de moments comme celui-là : une quantité qui semble devoir diverger mais ne diverge pas, une démonstration qui semble devoir échouer mais tient, une suite qui semble infinie mais se termine. La compétence n'est pas dans le calcul brut des termes. Elle est dans le fait de trouver la bonne ombre à suivre, celle qui te dit ce qui se passe vraiment. Une fois que tu vois l'ordinal décompter derrière les feux d'artifice, le théorème n'est pas seulement vrai. Il semble inévitable.
La taille, c'est du bruit. La structure, c'est le signal. La suite revenait toujours chez elle.
Questions fréquentes
- Qu'est-ce que le théorème de Goodstein affirme exactement ?
- Il affirme que toute suite de Goodstein, quelle que soit la grandeur des nombres qu'elle atteint en chemin, finit par arriver à zéro. La croissance peut être astronomique et durer un nombre inconcevable d'étapes, mais la terminaison est garantie pour toute valeur de départ.
- Pourquoi la suite redescend-elle si elle ne cesse de croître ?
- Chaque terme possède un partenaire ordinal caché qui décroît strictement à chaque étape. Les entiers visibles peuvent s'emballer, mais l'ordinal qui les sous-tend ne peut que diminuer, et une suite décroissante d'ordinaux ne peut pas tomber indéfiniment : le processus doit donc s'arrêter à zéro.
- Qu'est-ce que la notation héréditaire en base n ?
- Cela consiste à écrire un nombre en base n, puis à écrire tous ses exposants aussi en base n, jusqu'au bout. Par exemple, 4 en notation héréditaire base 2 s'écrit deux à la puissance deux, avec l'exposant lui-même exprimé en base 2.
- Pourquoi le théorème de Goodstein est-il célèbre en logique ?
- Parce qu'il est vrai mais ne peut pas être démontré dans la seule arithmétique de Peano. Ce fut l'un des premiers énoncés naturels, non fabriqués, sur des nombres ordinaires dont on a montré qu'il était indémontrable dans ce système : c'est pourquoi il se situe à la frontière des mathématiques et de la logique.
- Le jeu de l'hydre est-il la même idée ?
- Oui, l'hydre de Kirby et Paris est une reformulation des mêmes mathématiques. Couper une tête peut en faire pousser beaucoup d'autres, et pourtant l'hydre est toujours vaincue au bout du compte, pour exactement la même raison qu'une suite de Goodstein atteint toujours zéro.
Tu as aimé suivre ce raisonnement ?
Math Zen transforme ce type d'intuition en pratique quotidienne, avec des exercices adaptatifs sur 24 thèmes de maths.
