On vous a menti à l'école primaire quand on vous a dit que l'infini n'était pas un nombre mais une direction. On vous a encore plus trompé en vous laissant croire que la quête pour débusquer le Chiffre Le Plus Grand Du Monde avait un sens physique ou une ligne d'arrivée tangible. La plupart des gens s'imaginent une sorte de sommet de montagne, un pic ultime que les mathématiciens tenteraient d'escalader avec des supercalculateurs. C'est une vision enfantine qui occulte une réalité bien plus vertigineuse : l'immensité ne se mesure pas, elle se construit, et les monstres numériques que nous avons créés dépassent tellement l'entendement qu'ils rendent notre univers entier, avec ses milliards de galaxies, aussi insignifiant qu'un grain de poussière dans un océan de vide.
Je vais être direct avec vous. Chercher le sommet de l'échelle numérique est une entreprise absurde parce que l'échelle elle-même change de nature à mesure qu'on monte. Ce que nous appelons de grands nombres ne sont pas juste des versions allongées du chiffre dix ou du chiffre cent. Ce sont des structures logiques qui brisent les lois de la physique. Si vous essayiez d'écrire certains de ces géants dans votre esprit, votre cerveau s'effondrerait sur lui-même pour former un trou noir tant la densité d'information serait incompatible avec la structure de l'espace-temps. On ne parle plus ici de quantité, mais de pure puissance d'abstraction qui défie la réalité matérielle. Lisez plus sur un sujet connexe : cet article connexe.
L'illusion de la nomination et le Chiffre Le Plus Grand Du Monde
Le grand public s'arrête souvent au Googolplex, ce un suivi d'un Googol de zéros. C'est mignon, mais pour un mathématicien, c'est du bac à sable. Le véritable basculement s'est produit quand des esprits comme Ronald Graham ou Harvey Friedman ont commencé à manipuler des entiers si vastes qu'ils ne servent plus à compter des objets, mais à décrire des relations logiques complexes. Le nombre de Graham, par exemple, a longtemps détenu le titre officieux dans l'esprit des gens. Il est né d'un problème de combinatoire sur des hypercubes de dimension $n$. Ce qui est fascinant, c'est que ce nombre est si grand qu'on ne peut même pas utiliser la notation scientifique classique pour l'appréhender. On doit inventer des flèches, des tours de puissances, des systèmes de notation qui s'empilent les uns sur les autres comme des étages de fusées.
Pourtant, même ce monstre est devenu minuscule face aux nouveaux arrivants. Le problème fondamental réside dans notre besoin viscéral de nommer les choses pour les posséder. En nommant un candidat au titre de Chiffre Le Plus Grand Du Monde, nous créons l'illusion qu'il existe une limite. Or, le système des nombres entiers est par définition sans plafond. La question n'est donc pas de savoir quel est le plus grand, mais jusqu'où la logique humaine peut s'aventurer avant de perdre tout contact avec le réel. Les mathématiques ne découvrent pas ces nombres, elles les forgent. C'est une architecture de l'esprit qui s'affranchit des contraintes de l'atome. France 24 a traité ce important sujet de manière approfondie.
La dictature de la croissance et les hiérarchies de croissance rapide
Pour comprendre pourquoi votre intuition vous trahit, il faut regarder comment ces nombres croissent. Nous sommes habitués à l'addition, où les choses avancent lentement. Nous comprenons la multiplication, qui accélère le mouvement. Nous saisissons l'exponentielle, qui nous fait déjà un peu peur. Mais au-delà, il existe des opérations comme la tétration ou la pentation. Imaginez une tour de puissances où chaque étage est lui-même une tour de puissances dont la hauteur est déterminée par l'étage précédent. C'est là que le domaine des grands nombres devient une arène de combat logique.
L'Université de Paris-Cité et d'autres centres de recherche en logique mathématique travaillent sur ce qu'on appelle la hiérarchie de croissance rapide. C'est une manière de classer les fonctions selon leur vitesse d'explosion vers l'infini. Dans ce classement, les nombres que nous utilisons pour gérer l'économie mondiale ou la trajectoire des sondes spatiales n'existent même pas, ils sont au niveau zéro de l'échelle. Les vrais colosses, comme ceux issus de la fonction TREE(3), naissent d'une complexité structurelle. TREE(3) provient de la théorie des graphes. Si vous essayiez de commencer à l'écrire, le temps que vous passeriez à poser le premier zéro serait plus long que la durée de vie totale de l'univers, en admettant que vous puissiez écrire un chiffre par seconde de Planck.
Cette surenchère n'est pas un simple jeu d'ego entre chercheurs. Elle révèle une faille de notre intuition : nous pensons que le monde physique est vaste. Il ne l'est pas. Le monde physique est fini, étriqué, presque minuscule face aux structures logiques que nous pouvons concevoir. Un mathématicien n'a pas besoin d'un télescope pour explorer l'immensité, il lui suffit d'une suite de symboles bien agencée. Cette capacité à générer de la démesure à partir de règles simples est la preuve que l'esprit humain n'est pas fait pour se contenter de ce qu'il voit.
Le paradoxe de Berry ou l'impossibilité de la limite ultime
Si vous tentez de définir le Chiffre Le Plus Grand Du Monde par une phrase, vous tombez immédiatement dans un piège logique célèbre appelé le paradoxe de Berry. Imaginez la phrase : "le plus petit entier positif qui ne peut pas être défini par une phrase française de moins de cent caractères". Cette phrase fait moins de cent caractères, et pourtant elle définit précisément ce nombre. C'est une contradiction qui prouve que notre langage et notre logique ont des limites intrinsèques lorsqu'ils tentent de cerner l'immensité.
Cette impasse nous montre que la quête du plus grand nombre est une poursuite de fantôme. À chaque fois que vous pensez avoir atteint un sommet, il suffit d'ajouter un à ce nombre, ou mieux, de l'élever à sa propre puissance, pour le rendre dérisoire. Le véritable sujet d'étude n'est pas le nombre lui-même, mais la puissance de la fonction qui l'a généré. On ne compare plus des quantités, on compare des algorithmes. La compétition s'est déplacée du terrain de l'arithmétique vers celui de la théorie de la calculabilité. C'est là que des noms comme Rayo entrent en scène, avec le Nombre de Rayo, défini comme le plus petit entier plus grand que n'importe quel nombre pouvant être désigné par une expression dans le langage de la théorie des ensembles avec un certain nombre de symboles.
On entre alors dans une zone grise où le nombre n'est même plus calculable. Vous ne pouvez pas demander à un ordinateur de vous donner sa valeur, car l'ordinateur tournerait pour l'éternité sans jamais trouver la solution. On touche ici à l'indécidabilité de Gödel. Certains nombres existent, ils sont finis, ils sont uniques, mais nous n'aurons jamais aucun moyen d'accéder à leur valeur exacte. C'est une forme de transcendance laïque : la certitude mathématique qu'il existe des vérités définitives qui resteront à jamais hors de portée de toute machine et de tout esprit biologique.
Pourquoi l'obsession du sommet nous égare
Pourquoi cette fascination persiste-t-elle ? Parce que nous avons besoin de croire que l'univers a une fin ou un cadre. Admettre que nous pouvons concevoir des entités qui ne tiennent pas dans l'univers physique est une idée déstabilisante. Cela signifie que la réalité mathématique est plus vaste que la réalité matérielle. Si vous prenez tous les atomes de l'univers observable, environ $10^{80}$, et que vous les utilisez comme des bits de mémoire, vous ne pourriez même pas stocker une fraction infinitésimale des étapes nécessaires pour calculer un nombre de la hiérarchie de croissance rapide.
L'erreur est de croire que ces chiffres sont des curiosités de laboratoire. Ils sont en réalité les piliers de notre compréhension de la logique pure. Sans l'étude de ces structures extrêmes, nous ne pourrions pas tester les limites des systèmes formels qui garantissent aujourd'hui la sécurité de vos transactions bancaires ou la fiabilité des protocoles informatiques. La manipulation de l'immense est l'ultime test de résistance pour la raison humaine. Quand la raison s'aventure là-bas, elle ne cherche pas à compter des objets, elle cherche à comprendre jusqu'où le sens peut subsister sans support matériel.
Le risque, quand on se trompe sur ce domaine, c'est de sombrer dans une forme de mysticisme numérique ou, au contraire, de mépris pour l'abstraction. Ce n'est pas parce qu'un nombre ne sert pas à mesurer la distance entre deux villes qu'il est inutile. Au contraire, il mesure la distance entre notre intuition primitive et la structure profonde de la logique. Chaque nouveau record de taille est une frontière qui recule, non pas dans l'espace, mais dans l'architecture de la pensée.
La fin de la quantité et le règne de la structure
L'investigation nous ramène toujours au même point : le nombre n'est qu'un langage. Dire qu'un chiffre est le plus grand revient à dire qu'un mot est le plus long. C'est possible dans un dictionnaire donné, mais le dictionnaire de l'esprit est extensible à l'infini. Les travaux de Cantor sur les transfinis ont déjà montré il y a plus d'un siècle qu'il existe différentes tailles d'infini. Certains infinis sont plus gros que d'autres. Si l'infini lui-même n'est pas une fin en soi, comment un nombre fini, aussi colossal soit-il, pourrait-il revendiquer une couronne définitive ?
La science des grands nombres est une leçon d'humilité radicale. Elle nous apprend que nous vivons dans une minuscule bulle de perceptibilité. Nos sens sont calibrés pour des quantités allant de un à quelques millions. Notre technologie nous permet de jongler avec des milliards et des trilliards. Mais au-delà, c'est le grand saut dans le vide. Nous avons inventé des outils pour sonder ce vide, mais nous ne devons pas confondre l'outil avec la réalité qu'il décrit. Les nombres ne sont pas dans la nature ; ils sont dans notre tête, et notre tête est capable de générer plus de complexité que le cosmos n'est capable d'en contenir physiquement.
Il n'y a pas de vainqueur dans cette course car le terrain de jeu s'agrandit à chaque foulée des coureurs. La prochaine fois que vous entendrez parler d'un nouveau géant numérique, ne vous demandez pas combien il comporte de zéros. Demandez-vous plutôt quelle règle nouvelle a permis de l'engendrer. C'est dans la règle, et non dans le résultat, que réside la véritable puissance. Le reste n'est qu'une collection de chiffres qui s'entassent dans un silence éternel que personne ne viendra jamais perturber par un simple comptage.
L'univers est trop petit pour contenir la pensée humaine dès lors qu'elle décide de ne plus s'arrêter de compter.
