El número de Graham es un número natural extraordinariamente grande definido por el matemático Ronald Graham. Graham lo introdujo como cota superior en la solución de un problema en una rama de las matemáticas llamada teoría de Ramsey. En concreto, demostró que la respuesta a su problema —relacionado con coloraciones de aristas en vértices de un hipercubo y la aparición inevitable de ciertos subconfiguraciones monocromáticas— es menor que lo que hoy llamamos el número de Graham.
El número de Graham es uno de los números más grandes que se han usado en una prueba matemática. Incluso si cada dígito del número de Graham se escribiera con la letra más pequeña posible, seguiría siendo demasiado grande para caber en el universo observable. Aun así, es importante subrayar que Graham no afirmaba que ese número fuera la respuesta exacta al problema; era una cota superior práctica que garantizaba la existencia de la configuración buscada. Investigaciones posteriores han reducido drásticamente esa cota superior, de modo que el valor real que resuelve el problema es mucho menor (aunque aún no se conoce exactamente).
Cómo se construye (breve explicación)
La forma de definir el número de Graham utiliza la notación de flechas de Knuth, una manera compacta de expresar potencias iteradas y operaciones aún más rápidas de crecimiento:
- a ↑ b significa a elevado a la b (por ejemplo, 3 ↑ 3 = 27).
- a ↑↑ b (doble flecha) significa una torre de potencias de a de altura b (por ejemplo, 3 ↑↑ 3 = 3^(3^3) = 3^27 ≈ 7,6×10^12).
- Con más flechas (↑↑↑, ↑↑↑↑, ...) la rapidez de crecimiento se magnifica enormemente.
La definición habitual del número de Graham es la siguiente: se define una sucesión g1, g2, ..., g64 por
- g1 = 3 ↑↑↑↑ 3 (es decir, 3 con cuatro flechas y 3),
- y g_{n+1} = 3 ↑^{g_n} 3, donde el número de flechas en la operación es exactamente g_n.
El número de Graham G es g64. Aunque g1 ya es inimaginablemente grande, cada paso de la sucesión produce un número astronómicamente mayor, de modo que g64 (G) supera con mucho a g1 y a prácticamente cualquier número que no se haya construido con notaciones de crecimiento extremo.
Por qué es tan enorme
Hay dos razones principales:
- El uso de flechas de Knuth compone operaciones que aumentan la magnitud de forma superexponencial: pasar de potencias a torres de potencias a operaciones aún más intensas hace que números sucesivos sean «inmensamente más grandes» que los anteriores.
- La propia definición recursiva g_{n+1} = 3 ↑^{g_n} 3 hace que el número de flechas en cada etapa sea igual al valor de la etapa anterior, lo que provoca una explosión de crecimiento mucho más rápida que en una simple torre fija de potencias.
Qué se sabe (y qué no) sobre su valor
- Graham fue una cota superior; no afirmó que G fuera la menor posible. De hecho, investigaciones posteriores han conseguido acotar la respuesta real por debajo de G, reduciendo significativamente la cota superior original.
- El valor exacto del parámetro mínimo que resuelve el problema original de Graham sigue sin conocerse, pero está muy por debajo de G.
- A pesar de su tamaño, algunos aspectos de G sí se pueden calcular: por la estructura en torres y potencias iteradas es posible determinar sus últimos dígitos mediante aritmética modular. Sin embargo, la inmensa mayoría de sus cifras centrales sigue fuera de todo alcance práctico.
- Comparaciones: hay números de la teoría de la computación y la lógica (por ejemplo, TREE(3) o ciertos números asociados a límites de teoría de autómatas) que crecen aún más rápido que Graham, así que G no es el mayor número concebible en matemáticas, pero sí es famoso por ser extremadamente grande y por haber surgido en una demostración concreta.
Curiosidades
- La popularización del número de Graham debe mucho a figuras divulgativas como Martin Gardner, que lo presentó al público general en la década de 1970.
- Aunque G es imprácticamente grande, su existencia y su definición ayudan a fijar límites teóricos en problemas combinatorios; esto ilustra cómo a veces la demostración de existencia en matemáticas no requiere conocer exactamente el valor mínimo, sino solo una cota efectiva.
En resumen, el número de Graham es un ejemplo claro de cómo ciertas notaciones y definiciones recursivas conducen a magnitudes inimaginables; surgió por razones concretas en teoría de Ramsey y, aunque ya no se use como la mejor cota para ese problema, sigue siendo una referencia cultural y matemática sobre la noción de «números extremadamente grandes».
