El teorema de Goodstein: la sucesión que explota y siempre regresa a cero
Elige un número entero. Cualquiera. Ahora sigue una regla de dos pasos, una y otra vez, y observa el resultado. Para casi cualquier valor inicial que elijas, la sucesión se dispara más allá de un googol, más allá de números que empequeñecen la cantidad de átomos del universo observable, más allá de cualquier cosa que pudieras escribir en toda una vida. Y aun así, de manera demostrable, siempre regresa a cero.
Eso es el teorema de Goodstein, y la primera vez que lo escuchas suena a trampa. La regla no es complicada, los números son ordinarios y el enunciado es limpio. Sin embargo, durante décadas, la razón por la que es verdadero no tuvo cabida en la aritmética ordinaria. Este artículo no te pide que sigas una demostración lógica. En cambio, te muestra la imagen que hay debajo, y una vez que la ves, el teorema deja de ser misterioso.
La regla es casi infantilmente simple
Empiezas con un número entero y una base, comenzando en base 2. En cada paso haces dos cosas: primero, reescribes el número actual en lo que se llama notación hereditaria en base n; segundo, reemplazas cada aparición de la base n por n+1, y luego restas 1. Luego pasas a la siguiente base y repites.
El "bump y resta" suena moderado. Cambiar la base de 2 a 3 parece un cambio pequeño. Restar 1 parece que debería frenar el número. Verás en breve por qué ninguna de las dos intuiciones sobrevive el contacto con la notación hereditaria.
Mira cómo explota
Empieza con 4. En base hereditaria 2, eso es 2^2. Cambia cada 2 a 3 y resta 1: obtienes 3^3 menos 1, que es 26. Ahora escribe 26 en base hereditaria 3, cambia a base 4, resta 1, y obtienes 41. Sigue así.
| 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 sucesión que empieza en 4 es: 4, 26, 41, 60, 83, 109, y continúa subiendo desde ahí. Incluso este comienzo modesto sigue creciendo durante un tramo notablemente largo antes de descender eventualmente. Si en cambio empiezas desde 19, los números alcanzan alturas que son físicamente imposibles de escribir. El número de pasos antes de que la sucesión empiece a dar la vuelta es mayor que el número de átomos en el universo observable. Si hubieras empezado el cálculo en el Big Bang en la computadora más rápida concebible, hoy no habrías visto el pico.
Todo instinto dice: esto diverge. No hay regreso desde números tan grandes. La intuición aquí sencillamente se equivoca, y ese es el punto. Algo invisible está sucediendo que los números brutos no revelan.
El número oculto que solo baja
Reemplaza cada término con su sombra ordinal
Aquí está el movimiento clave. Toma cualquier término de la sucesión de Goodstein y lee su expresión en base hereditaria n. Ahora, donde quiera que veas la base n, escribe el símbolo omega (el primer ordinal infinito) en su lugar. No has cambiado la estructura de la expresión en absoluto. Solo has intercambiado una etiqueta. El resultado es un número ordinal, un tipo de conteo que se extiende más allá de los números enteros hacia el infinito.
Por ejemplo, 4 en base hereditaria 2 es 2^2. Reemplaza 2 por omega y obtienes omega^omega. La sombra ordinal de 26 en base hereditaria 3 es dos por omega al cuadrado, más dos por omega, más dos: un polinomio de altura finita en omega, mucho menor que omega elevado a omega. Los exponentes 2, 1 y 0 en la expresión hereditaria en base 3 ya están por debajo de 3, así que no ocurre apilamiento adicional. Estos ordinales son objetos matemáticos perfectamente bien definidos.
Cambiar la base no hace nada a la sombra
Cuando cambias la base de n a n+1, la expresión hereditaria cambia su etiqueta de n a n+1, pero la forma de la expresión permanece idéntica. Por lo tanto, la sombra ordinal no cambia cuando haces el cambio de base. La sombra del término antes del cambio y la sombra del término después del cambio son el mismo ordinal.
Pero luego restas 1 del número entero. Restar 1, en notación hereditaria, requiere que deshagas el término más bajo de la expresión. Esto cambia la forma de la expresión hereditaria de una manera que, cuando reemplazas la base por omega, te da un ordinal estrictamente menor. No por una cantidad pequeña, no por coincidencia: cada resta de 1 de la sucesión de números enteros fuerza la sombra ordinal estrictamente hacia abajo.
Así que el patrón es: cambia la base (la sombra se queda), resta 1 (la sombra baja). Efecto neto por paso: la sombra ordinal baja al menos un escalón, en cada ocasión.
Los ordinales no pueden decrecer eternamente
Una sucesión estrictamente decreciente de ordinales no puede continuar para siempre. Este es uno de los hechos más fundamentales sobre los ordinales: a diferencia de los enteros, no puedes seguir bajando indefinidamente. Hay un fondo. La sucesión de sombras ordinales debe llegar eventualmente a cero, y cuando la sombra ordinal es cero, el único número entero cuya expresión hereditaria corresponde al ordinal cero es el propio cero. Por lo tanto, la sucesión de Goodstein también debe llegar a cero.
Los números enteros pueden inflarse hasta tamaños inimaginables. Pero los ordinales detrás de ellos están bajando silenciosamente, inevitablemente, con cada paso. El ruido está en los números visibles. La verdad está en la sombra.
La hidra dice lo mismo
Puedes contar la misma historia como un juego. Imagina un monstruo con forma de árbol, una hidra, con cabezas al final de sus ramas. Cortas una cabeza. Dependiendo de cuál cabeza cortes y cuándo, pueden brotar varias cabezas nuevas del tocón, a veces muchas más. Sigues cortando. La hidra parece estar ganando.
El juego de la hidra de Kirby y Paris, introducido por los matemáticos Jeff Paris y Laurie Kirby en 1982, es exactamente esta situación, y codifica las mismas matemáticas que la sucesión de Goodstein. La regla de brotación de cabezas corresponde a la explosión del cambio de base. La estructura del árbol corresponde a la notación hereditaria. Y el ordinal oculto detrás del árbol desciende estrictamente con cada corte, igual que en el argumento de Goodstein.
Sin importar qué estrategia uses, sin importar con qué descuido elijas qué cabeza cortar, siempre ganas. La hidra siempre muere. La explosión de nuevas cabezas es real, y puede ser espectacular, pero debajo del espectáculo corre una cuenta regresiva. El juego de la hidra es el teorema de Goodstein con disfraz.
Por qué les importa a los matemáticos
Aquí es donde la historia da un giro. El teorema de Goodstein es verdadero. Es demostrablemente verdadero, como muestra el argumento ordinal anterior. Pero en 1982, Kirby y Paris demostraron algo más: el teorema no puede demostrarse dentro de la aritmética de Peano.
La aritmética de Peano es el sistema formal estándar para razonar sobre números enteros. Captura casi todo lo que llamarías aritmética ordinaria: adición, multiplicación, inducción sobre los números naturales. Es el escenario donde viven la mayoría de los resultados de clase de matemáticas. Y simplemente no es suficientemente potente para demostrar que las sucesiones de Goodstein terminan.
Esto no significa que el teorema sea indemostrable en todo sentido. El argumento ordinal funciona, y es completamente riguroso. Pero el argumento ordinal requiere razonar sobre el infinito de una manera a la que la aritmética de Peano no puede acceder. El sistema puede describir las sucesiones de Goodstein con precisión. Puede ejecutarlas, término a término. Incluso puede reconocer que cada término es un número entero específico. Lo que no puede hacer es ver la sombra, la estructura ordinal que garantiza el descenso.
El teorema de Goodstein fue uno de los primeros ejemplos de un enunciado natural, de apariencia ordinaria, sobre números ordinarios que resultó vivir justo más allá del alcance de la aritmética estándar. No es un puzzle lógico artificial construido para ser indemostrable. Es un enunciado que podrías explicarle a un estudiante de bachillerato, sobre una sucesión que podrías escribir en una servilleta, y la aritmética estándar no puede cerrar el caso.
El zen de todo esto
Hay algo que vale la pena contemplar aquí. La sucesión que parece explotar sin límite está, en cada paso, participando en un descenso que los números brutos te ocultan. Las dos cosas ocurren simultáneamente: un crecimiento enorme, y un regreso silencioso e inevitable.
Esto no es una contradicción. Es un recordatorio de que el tamaño de un número no es lo mismo que su destino. Lo que importa es la estructura debajo, y la estructura aquí siempre apunta hacia cero.
Las matemáticas están llenas de momentos así: una cantidad que parece que debería divergir pero no lo hace, una demostración que parece que debería fallar pero se sostiene, una sucesión que parece infinita pero termina. La habilidad no está en calcular términos por la fuerza bruta. Está en encontrar la sombra correcta que rastrear, la que te dice qué está pasando realmente. Una vez que ves el ordinal bajando detrás de los fuegos artificiales, el teorema no solo es verdadero. Se siente inevitable.
El tamaño es ruido. La estructura es la señal. La sucesión siempre estuvo volviendo a casa.
Preguntas comunes
- ¿Qué afirma exactamente el teorema de Goodstein?
- Afirma que toda sucesión de Goodstein, sin importar cuánto crezcan sus números en el camino, termina llegando a cero. El crecimiento puede ser astronómico y durar una cantidad inimaginable de pasos, pero la terminación está garantizada para cualquier valor inicial.
- ¿Por qué la sucesión regresa si sigue creciendo?
- Cada término tiene un ordinal oculto que disminuye estrictamente en cada paso. Los números enteros visibles pueden dispararse, pero el ordinal que los acompaña solo puede bajar; y una sucesión decreciente de ordinales no puede caer eternamente, así que el proceso debe terminar en cero.
- ¿Qué es la notación hereditaria en base n?
- Significa escribir un número en base n y luego escribir todos sus exponentes también en base n, hasta abajo del todo. Por ejemplo, el 4 en base hereditaria 2 se escribe como dos elevado a dos, con el exponente expresado también en base 2.
- ¿Por qué es famoso el teorema de Goodstein en lógica?
- Porque es verdadero pero no puede demostrarse usando solo la aritmética de Peano. Fue uno de los primeros enunciados naturales y no artificiales sobre números ordinarios que resultó ser indemostrable en ese sistema, por eso se sitúa en la frontera entre matemáticas y lógica.
- ¿El juego de la hidra es la misma idea?
- Sí. La hidra de Kirby y Paris es una reformulación de las mismas matemáticas. Cortar una cabeza puede hacer crecer muchas más, pero la hidra siempre es derrotada al final, exactamente por la misma razón por la que toda sucesión de Goodstein llega a cero.
¿Te gustó razonarlo paso a paso?
Math Zen convierte esta intuición en práctica diaria, con problemas adaptativos en 24 temas de matemáticas.
