La insolencia de los trascendentes: cuando Hilbert se equivocó de dificultad

 

En colaboración con el Profesor Manuel Gómez.

“Un número trascendente es aquel que no puede ser medido por la regla del álgebra, pero cuya presencia es indispensable para medir la continuidad del cosmos”. Henri Poincaré (Francia 1854 – 1912).

Durante siglos, las ecuaciones tuvieron razones para sentirse importantes. Con suficientes términos, potencias y coeficientes, parecían capaces de perseguir casi cualquier número hasta obligarlo a confesar de dónde venía. El problema apareció cuando las matemáticas descubrieron que existían fugitivos.

Las soluciones de las ecuaciones polinómicas con coeficientes enteros forman el conjunto de los números algebraicos ($\mathbb{\overline{Q}}$). Un número racional como $3/4$ es algebraico (solución de $4x - 3 = 0$), pero también lo es un irracional real como $\sqrt{2}$ ($x^2 - 2 = 0$) o un número algebraico complejo no real como la unidad imaginaria $i$ ($x^2 + 1 = 0$). Por otro lado, existen números que jamás pueden obtenerse como raíz de ninguna ecuación polinómica no nula con coeficientes enteros: son los números trascendentes.

En el Congreso Internacional de Matemáticos, celebrado en París en el verano de 1900, David Hilbert presentó su célebre lista de 23 problemas sin resolver destinados a guiar la investigación del siglo XX, ver https://gilbeworld.blogspot.com/2026/01/los-problemas-de-hilbert-y-el-instituto.html. Entre ellos, el séptimo problema planteó una pregunta aparentemente simple sobre potencias y exponentes, pero cuya profundidad terminó transformando para siempre la teoría de números: ¿será siempre $a^b$ trascendente cuando $a$ es algebraico ($\neq 0, 1$) y $b$ es un número irracional algebraico (por ejemplo, $2^{\sqrt{2}}$)?

La idea de “trascendencia” llevaba tiempo rondando. Gottfried Leibniz (Alemania 1646 – 1716) había utilizado ese lenguaje desde el siglo XVII y Leonhard Euler (Suiza 1707 - 1783) desarrolló después la distinción entre lo algebraico y aquello que escapaba de ese territorio. Pero faltaba algo incómodo: demostrar que esos números realmente existían.

Joseph Liouville (Francia 1809 – 1882) lo hizo en 1844 gracias a un descubrimiento genial en la teoría de la aproximación diofántica: demostró que los números algebraicos irracionales tienen una "barrera" de precisión que les impide dejarse aproximar "demasiado bien" por fracciones de enteros. Específicamente, probó que para cualquier algebraico $\alpha$ de grado $n > 1$, la diferencia $\vert{}\alpha - p/q\vert{}$ siempre es mayor que una cota proporcional a $1/q^n$.

Sabiendo esto, Liouville diseñó deliberadamente un número cuya construcción rompía esa barrera de protección mediante una suma infinita con un crecimiento super-exponencial en sus ceros:

$$L = \sum_{k=1}^{\infty} 10^{-k!} = 0.110001000000000000000001000\dots$$

Donde los dígitos 1 aparecen únicamente en las posiciones factoriales ($1!, 2!, 3!, 4!, \dots$). Al aproximar $L$ mediante sus cortes finitos, la precisión violaba la cota requerida para cualquier grado $n$. El veredicto era inevitable: $L$ no podía ser raíz de ningún polinomio no nulo con coeficientes enteros. La existencia de los números trascendentes había quedado demostrada rigurosamente.

Parecía una fauna matemática bastante exótica hasta que Charles Hermite (Francia 1822 – 1901) demostró en 1873 que la base de los logaritmos naturales, $e$, pertenecía a ella.

Un año después, Georg Cantor (1845 – 1918) empeoró considerablemente la situación para el orgullo del álgebra: probó que los números algebraicos podían enumerarse, mientras que los números reales eran incontables.

La demostración de Cantor para probar que los algebraicos son numerables es de una elegancia asombrosa:

Un polinomio con coeficientes enteros $P(x) = a_n x^n + \dots + a_0$ puede clasificarse según su "altura" $h$, definida como $h = n + \vert{}a_n\vert{} + \dots + \vert{}a_0\vert{}$. Para cada valor entero de altura $h \ge 2$, solo existe una cantidad finita de polinomios posibles. La unión de infinitos conjuntos finitos da como resultado un conjunto numerable de polinomios. Por el Teorema Fundamental del Álgebra, cada polinomio de grado $n$ aporta como máximo $n$ raíces en el plano complejo. El conjunto de los números algebraicos es una unión numerable de conjuntos finitos, lo que prueba matemáticamente que $\mathbb{\overline{Q}}$ es numerable.

Dado que los números reales ($\mathbb{R}$) son incontables (demostrado por el célebre argumento de la diagonal de Cantor), la conclusión era devastadora: los trascendentes no eran unas cuantas anomalías escondidas entre números respetables. Eran una multitud.

Y en 1882 Ferdinand von Lindemann (Alemania 1852 - 1939) colocó entre ellos a uno de los números más célebres de la historia: $\pi$. Su demostración tuvo además una víctima de más de dos mil años. La antigua cuadratura del círculo, perseguida desde los griegos con regla y compás, quedó definitivamente sentenciada. No faltaba encontrar una construcción especialmente ingeniosa: bajo esas reglas, era imposible

El teorema de Lindemann-Weierstrass (en 1885 Karl Weierstrass (Alemania 1815 - 1897) generalizó el resultado anterior de Lindemann) demostró que si $\alpha$ es un número algebraico distinto de cero, $e^\alpha$ es trascendente. Esto resolvía el comportamiento de la función exponencial cuando el exponente era algebraico. Sin embargo, la operación inversa y el comportamiento de potencias generales de la forma $a^b$ permanecían envueltos en la oscuridad.

Entonces Hilbert enunció la siguiente conjetura:

Si $a$ y $b$ son números algebraicos complejos, con $a \notin \{0, 1\}$, y $b$ no es un número racional (es decir, $b \in \mathbb{\overline{Q}} \setminus \mathbb{Q}$), ¿es siempre trascendente la potencia $a^b$?

Hilbert no eligió sus 23 problemas al azar. Vio en el séptimo problema el paso natural para entender la interacción profunda entre la aritmética, el álgebra y las funciones analíticas en el plano complejo. Sin embargo, cometió un error memorable de apreciación sobre la dificultad de sus propios enigmas.

En una célebre conferencia dictada en Gotinga hacia 1919, Hilbert comentó ante sus alumnos la dificultad relativa de tres grandes problemas de la matemática: la Hipótesis de Riemann, el Último Teorema de Fermat y su propio Séptimo Problema.

Según recordó años más tarde el matemático Carl Ludwig Siegel (Alemania 1896 – 1981), quien se encontraba entre el público cuando era un joven estudiante, Hilbert afirmó que esperaba que la Hipótesis de Riemann se resolviera muy pronto; creía que el Último Teorema de Fermat lo resolverían tal vez los jóvenes estudiantes presentes en la sala... y sentenció que ninguno de los allí presentes viviría para ver la resolución del Séptimo Problema, al que consideraba de una dificultad prácticamente insuperable.

¡La historia demostró que se equivocó por completo!

El Séptimo Problema fue el primero de los tres en resolverse, apenas 15 años después de aquella conferencia (en 1934), en plena vida de Siegel y de los demás jóvenes que escuchaban la charla. Mientras tanto, Fermat requeriría casi un siglo (1995) y la Hipótesis de Riemann continúa siendo un misterio absoluto en la actualidad. Hilbert consideraba el problema de $a^b$ un obstáculo analítico colosal, pero no previó la rapidez con la que Gelfond y Schneider desarrollarían las herramientas para conquistarlo.

Tras años de estancamiento, el primer avance de peso llegó en 1929, cuando el matemático soviético Aleksandr Gelfond (Rusia 1906 - 1968) demostró que la constante $e^\pi$ era efectivamente trascendente mediante el uso de funciones enteras interpolacionales.

Poco después, de manera independiente y casi simultánea, en 1934 Aleksandr Gelfond y en 1935 el matemático alemán Theodor Schneider (Alemania 1911 - 1988) publicaron la demostración general del problema. El resultado se conoce hoy como el Teorema de Gelfond-Schneider.

Teorema de Gelfond-Schneider:

Si $a$ y $b$ son números algebraicos complejos tales que $a \notin \{0, 1\}$, y $b \notin \mathbb{Q}$, entonces cualquier valor de la potencia $a^b = \exp(b \ln a)$ es un número trascendente.

La prueba utiliza una técnica de demostración por reducción al absurdo mediante el uso de funciones auxiliares:

Hipótesis del absurdo: Se supone que $\gamma = a^b$ no es trascendente, sino un número algebraico. Esto implicaría que el cuerpo formado por $a, b$ y $\gamma$ es una extensión finita de $\mathbb{Q}$.

Construcción de la función auxiliar: Utilizando el Lema de Siegel (que garantiza la existencia de soluciones enteras no nulas en sistemas lineales indeterminados), se construye la función:

1. $$F(z) = \sum_{k_1=0}^{N} \sum_{k_2=0}^{N} C_{k_1, k_2} \, a^{(k_1 + k_2 b) z}$$

   Los coeficientes enteros $C_{k_1, k_2}$ se eligen de tal manera que $F(z)$ y un número masivo de sus primeras derivadas se anulen exactamente en una malla de puntos enteros $z = 1, 2, \dots, M$.

El conflicto analítico-aritmético: Por el lado del análisis complejo, al tener tantas raíces fuertemente concentradas, el principio del módulo máximo obliga a que $F(z)$ crezca con extrema lentitud y se vuelva infinitesimalmente pequeña en regiones amplias. Por el lado de la aritmética algebraica, existe una propiedad fundamental: los números algebraicos no nulos tienen una "altura" o tamaño aritmético mínimo; no pueden ser arbitrariamente pequeños sin ser exactamente cero.

Al ajustar los parámetros $N$ y $M$, la cota analítica exige que el valor evaluado sea menor que la cota aritmética mínima permitida para un algebraico no nulo. La única salida a esta incompatibilidad es que la suposición inicial fuera falsa: $\gamma = a^b$ debe ser trascendente.

Gracias a este teorema, se confirmó de manera definitiva la trascendencia de números como $2^{\sqrt{2}}$, $\log_2 3$ y la constante de Gelfond $e^\pi$.

Hoy sabemos que, en el sentido de la medida de Lebesgue, casi todos los números reales son trascendentes. Sin embargo, demostrar que un número concreto lo es puede exigir matemáticas extraordinariamente profundas. Incluso combinaciones aparentemente inocentes de constantes conocidas siguen guardando secretos: a día de hoy, ni siquiera sabemos si $\pi + e$, $\pi \cdot e$ o $2^e$ son números trascendentes o algebraicos.

Quizá ahí esté la verdadera insolencia de estos números.

Las ecuaciones algebraicas pueden describir un universo enorme, elegante y extraordinariamente fértil. Pero la recta real es todavía mayor. Las matemáticas tardaron siglos en descubrir que aquello que escapaba de sus ecuaciones no vivía en los márgenes.

El Séptimo Problema de Hilbert no solo transformó la teoría de números moderna al dar origen al Teorema de Gelfond-Schneider; también nos dejó una gran lección de humildad. Nos enseñó que la intuición incluso de los genios puede fallar sobre la dificultad de un enigma y nos confirmó que, mientras las ecuaciones algebraicas construyen hermosas estructuras finitas, los números trascendentes constituyen el vasto e infinito océano sobre el que todas ellas flotan. 

El Sexto Problema de Hilbert: El sueño de traducir el universo a axiomas

 

«Un matemático puede decir lo que quiera, pero un físico tiene que estar al menos parcialmente cuerdo.» Josiah Willard Gibbs (EE.UU. 1839 – 1903).

En 1899 David Hilbert (Alemania 1862 – 1943) publicó Grundlagen der Geometrie (Fundamentos de la Geometría), obra donde reestructuró la geometría euclidiana eliminando lagunas lógicas de más de 2000 años. Tras demostrar que la geometría podía reducirse a un conjunto impecable de axiomas lógicos, Hilbert se preguntó si era posible aplicar el mismo rigor a las ciencias naturales.

A finales del siglo XIX, la física vivía un acalorado debate. Por un lado, físicos como Ludwig Boltzmann (Austria 1844 – 1906) defendían que la materia estaba hecha de átomos invisibles cuyo choque caótico explicaba el calor y los gases (teoría cinética). Por otro lado, científicos influyentes como Ernst Mach (Austria 1838 – 1916) y Wilhelm Ostwald (Alemania 1853 - 1932) rechazaban los átomos por no poder verse, argumentando que la física debía tratar únicamente sobre medios continuos y energía.

Para explicar el comportamiento de los gases, Boltzmann tuvo que recurrir al cálculo de probabilidades. Sin embargo, en 1900 la probabilidad no era más que una colección de trucos heurísticos sin base matemática formal, lo que llevaba a paradojas y críticas severas por parte de los matemáticos puros.

En el Congreso Internacional Matemáticas de 1900 en París, Hilbert entre cuestiones sobre hipótesis de números primos, ecuaciones diofánticas y fundamentos de la geometría, introdujo una propuesta inusualmente ambiciosa: el “Sexto Problema”, formalmente titulado Tratamiento axiomático de los axiomas de la física.

Hilbert no pretendía únicamente resolver un cálculo complejo o demostrar un teorema aislado; su aspiración era metodológica y filosófica. Fascinado por el éxito de su trabajo reciente en Grundlagen der Geometrie (1899) —donde había rehecho los cimientos de la geometría euclidiana con un rigor impecable—, creía firmemente que la física teórica podía y debía organizarse bajo el mismo esquema deductivo. Su sueño era reducir las leyes del universo a un conjunto de axiomas primarios a partir de los cuales cualquier fenómeno pudiera derivarse mediante la lógica matemática.

Para comprender el reto de Hilbert, es necesario tener en cuanta qué es un sistema axiomático, como la geometría euclidiana, por ejemplo, donde Euclides estableció verdades primarias e indemostrables a partir de las cuales se deducen, mediante deducción lógica, todos los demás teoremas de la geometría.

Hilbert buscaba aplicar este mismo nivel de certeza a la física. En sus propias palabras, el objetivo del Sexto Problema era: "Tratar mediante axiomas, según el modelo de la geometría, aquellas ciencias físicas en las que las matemáticas desempeñan un papel primordial."

En lugar de construir ecuaciones a partir de experimentos dispersos, Hilbert soñaba con un edificio teórico en el que las leyes de la física —desde la gravedad hasta la termodinámica— fueran consecuencias necesarias de un conjunto de axiomas matemáticos perfectamente definidos.

Para entender la magnitud del Sexto Problema, es necesario situarse en la física del cambio de siglo. En 1900, la física se debatía entre la visión discreta (la materia compuesta por átomos y moléculas en movimiento) y la visión continua (la materia vista como un todo fluido o un campo electromagnético).

El desafío planteado por Hilbert consistía en demostrar rigurosamente cómo pasar de las leyes microscópicas individuales a las ecuaciones macroscópicas continuas sin recurrir a suposiciones ad hoc ni a atajos heurísticos.

Hilbert formuló su problema centrándose de manera muy específica en la mecánica y el cálculo de probabilidades. Exigió a la comunidad científica abordar dos tareas fundamentales:

1. Axiomatizar el cálculo de probabilidades: En aquel momento, la probabilidad se aplicaba en la física estadística mediante reglas intuitivas, pero carecía de una definición matemática rigurosa dentro de la teoría de conjuntos y el análisis.
2. El paso de escala (El límite hidrodinámico): Hilbert solicitó una deducción matemáticamente exacta que explicara cómo, a partir de las leyes de la mecánica clásica que rigen el choque de partículas individuales (el nivel microscópico), se obtienen las ecuaciones de la cinética de gases de Boltzmann (nivel mesoscópico) y, finalmente, las ecuaciones de los fluidos de Euler y Navier-Stokes (nivel macroscópico).

En esencia, Hilbert planteó una pregunta crucial: ¿Podemos demostrar matemáticamente que la física del agua en un vaso es la consecuencia lógica e inevitable del choque de trillones de moléculas invisibles?

A diferencia del Último Teorema de Fermat o la Conjetura de Poincaré, donde la respuesta es una demostración concreta que cierra el caso para siempre, el Sexto Problema de Hilbert pertenece a una categoría diferente: es un programa de investigación. No tiene, hasta el momento, una respuesta única por tres razones fundamentales:

1. La física no es estática: las teorías cambian con el tiempo. Cada vez que la física descubre un nuevo paradigma teórico, nace la necesidad de construir un nuevo conjunto de axiomas matemáticos para sustentarlo. No se puede «cerrar» la axiomatización de una ciencia cuyo objeto de estudio sigue expandiéndose.
2. La brecha entre diferentes escalas de la realidad (Los límites multiescala). Derivar matemáticamente las leyes del mundo macroscópico (como la dinámica de fluidos) a partir de las leyes de partículas individuales implica una cascada infinita de problemas matemáticos complejos (como pasar del movimiento de esferas rígidas a la Ecuación de Boltzmann, y de esta a Navier-Stokes). Cada paso de escala es, en sí mismo, una gran área de investigación independiente.
3. Las limitaciones lógicas intrínsecas. Aplicado a la física, esto significa que es matemáticamente imposible encerrar toda la realidad física en un único conjunto finito y cerrado de axiomas. Cualquier intento de axiomatización dejará verdades fuera o requerirá nuevos axiomas a medida que profundicemos en él.

A lo largo del siglo XX, el sueño de Hilbert se enfrentó a barreras conceptuales imprevistas que cambiaron el rumbo de la ciencia. Kurt Gödel (Austria 1906 – 1978) demostró que cualquier sistema axiomático lo suficientemente complejo como para abarcar la aritmética es fundamentalmente incompleto: existen enunciados verdaderos que no se pueden demostrar dentro del propio sistema, ver https://gilbeworld.blogspot.com/2026/09/de-la-obsesion-de-hilbert-la-genialidad.html. Esto asestó un golpe directo al programa formalista de Hilbert, demostrando que ningún conjunto finito de axiomas puede encerrar toda la verdad matemática o física.

Poco después del congreso de 1900, la física experimentó dos revoluciones fundamentales:

• Relatividad General (1915): Redefinió la gravedad no como una fuerza, sino como la curvatura del espacio-tiempo dada por las ecuaciones de campo de Einstein.
• Mecánica Cuántica (décadas de 1920 y 1930): Sustituyó el determinismo clásico por amplitudes de probabilidad y la función de onda $\Psi$, gobernada por la ecuación de Schrödinger.

Cualquier intento de axiomatizar la física debía ajustarse a estos nuevos paradigmas, cuya unificación completa continúa siendo uno de los mayores enigmas de la ciencia contemporánea.

Las matemáticas operan sobre verdades absolutas condicionadas por axiomas prefijados; la física, en cambio, depende de la observación de la naturaleza. Apenas unos años después del discurso de Hilbert, la física sufrió dos revoluciones colosales: la Mecánica Cuántica y la Teoría de la Relatividad. Los axiomas de la mecánica newtoniana que Hilbert pretendía formalizar resultaron ser solo aproximaciones válidas a bajas velocidades y escalas macroscópicas. Cada vez que la física descubre un nuevo ámbito de la realidad, los axiomas deben reescribirse.

Construir un puente matemático entre el microcosmos y el macrocosmos implica lidiar con el infinito y el caos. Traducir el comportamiento de $10^{23}$ partículas a un medio continuo no es solo un reto de cálculo, sino un desafío conceptual donde aparecen paradojas como la irreversibilidad termodinámica: cómo del movimiento de partículas reversibles en el tiempo surge un flujo irreversible.

No se ha encontrado una única manera de axiomatizar esta teoría. Por ejemplo, en la mecánica cuántica se puede optar por el formalismo de espacios de Hilbert, desarrollado por von Neumann, la formulación de integrales de trayectoria de Feynman o la mecánica matricial de Heisenberg. Cada enfoque enfatiza diferentes axiomas y herramientas matemáticas.

A pesar de ser un problema abierto por naturaleza, el llamado de Hilbert ha impulsado algunos de los avances más profundos e importantes del análisis matemático y la física teórica contemporánea.

El primer triunfo incontestable del programa de Hilbert llegó de la mano del matemático soviético Andréi Kolmogorov (Rusia 1903 – 1987). Kolmogorov integró el cálculo de probabilidades dentro de la teoría de la medida de Lebesgue. Definió eventos como conjuntos, probabilidades como medidas alineadas a un valor total de $1$ y variables aleatorias como funciones medibles. Con este marco, la probabilidad dejó de ser una herramienta heurística y se convirtió en una rama impecable de la matemática pura.

El avance más célebre sobre la segunda parte del problema lo logró Oscar Lanford (EE.UU. 1940 - 2013). Lanford demostró con rigor matemático que, en un sistema de esferas raras que chocan elásticamente (el modelo de gas ideal), la ecuación de Boltzmann se deduce de las ecuaciones de Newton en el llamado límite de Grad-Boltzmann (cuando el número de partículas $N \to \infty$ y el radio de las partículas $r \to 0$, de modo que $N r^2$ permanece constante). Aunque la prueba solo es válida para un intervalo de tiempo extremadamente corto, constituyó la primera demostración rigurosa de la transición del nivel micro al mesoscópico.

Durante las últimas décadas, analistas de la talla de Claude Bardos, François Golse y David Levermore han logrado derivar matemáticamente las ecuaciones de la hidrodinámica (Navier-Stokes y Euler) a partir de modelos cinéticos. A esta gran empresa matemática se han sumado las contribuciones decisivas de medallistas Fields como Cédric Villani (2010) y Yu Deng (2026), cuyos trabajos sobre la ecuación de Boltzmann han permitido consolidar de forma rigurosa este puente entre el mundo microscópico y los fluidos. Estos resultados han exigido la invención de técnicas totalmente nuevas en el estudio de ecuaciones en derivadas parciales no lineales, ver https://gilbeworld.blogspot.com/2026/09/del-caos-molecular-al-fluido-continuo.html

Hoy en día, el espíritu del Sexto Problema de Hilbert se mantiene más vivo que nunca a través de los retos fundamentales de la física teórica moderna:

• Teoría Cuántica de Campos (QFT) y Yang-Mills: La física moderna describe las fuerzas fundamentales mediante teorías de campos cuánticos, pero estas teorías adolecen con frecuencia de inconsistencias matemáticas (infinitos que deben ser "renormalizados"). Uno de los siete Problemas del Milenio del Instituto Clay, ver https://gilbeworld.blogspot.com/2026/01/los-problemas-de-hilbert-y-el-instituto.html, exige axiomatizar las ecuaciones de Yang-Mills y demostrar la existencia del salto de masa cuántico, continuando directamente la visión de Hilbert.
• El Problema de Navier-Stokes: Otro Problema del Milenio cuestiona si las ecuaciones de Navier-Stokes —el destino del límite hidrodinámico de Hilbert— siempre admiten soluciones suaves e ilimitadas en el tiempo, o si pueden desarrollarse singularidades (puntos donde la velocidad o la presión se vuelven infinitas).

El Sexto Problema de Hilbert demostró que la física y las matemáticas se necesitan mutuamente de forma visceral. Aunque el sueño de reducir todo el universo a un conjunto estático de axiomas sea inalcanzable, el esfuerzo por construir ese lenguaje formal sigue siendo uno de los motores más potentes de la ciencia humana.

El Sexto Problema de Hilbert representa la búsqueda de la estructura matemática subyacente a la realidad. Aunque la naturaleza ha demostrado ser más compleja y elusiva de lo que Hilbert imaginó en 1900, el esfuerzo por traducirla a un lenguaje formal riguroso sigue impulsando los avances en la física matemática contemporánea.

La Intuición de Sophus Lie a Prueba: El Quinto Desafío de Hilbert

 

"Mi teoría es como un vasto océano en el que apenas he navegado unas pocas brazadas." Sophus Lie (Noruega 1842 – 1889).

Entre estos desafíos planteados por Hilbert en el Congreso Internacional de Matemáticas de París 1900 (ver https://gilbeworld.blogspot.com/2026/01/los-problemas-de-hilbert-y-el-instituto.html), el Quinto Problema planteaba una pregunta fundamental sobre la naturaleza de las simetrías continuas: ¿es posible describir las transformaciones suaves y continuas de la geometría utilizando únicamente la noción de continuidad, sin asumir de antemano el cálculo diferencial?

Para comprender la esencia del Quinto Problema, primero debemos definir qué es un Grupo de Lie, nombrado así en honor al matemático noruego Sophus Lie.

En matemáticas, y específicamente en el álgebra abstracta, un grupo es un conjunto de elementos junto con una operación que satisface cuatro propiedades fundamentales (asociatividad, elemento neutro, elemento inverso y clausura). Por ejemplo, los números enteros con la suma forman un grupo, sin embargo con la multiplicación los números enteros no serían un grupo dado que el inverso de la multiplicación puede ser un número racional, es decir, ya no estaría dentro del conjunto de los enteros.

El álgebra abstracta no busca estudiar número por número, sino las estructuras y patrones generales. Al demostrar que algo es un grupo (sea un conjunto de ecuaciones, las partículas fundamentales de la física o las simetrías de un cristal), automáticamente sabes que hereda todas las propiedades matemáticas comprobadas para los grupos.

Un Grupo de Lie es un objeto híbrido que une dos áreas de las matemáticas: álgebra con geometría y topología, dado que es un grupo abstracto cuyos elementos se pueden combinar y además es un espacio geométrico continuo y suave (una variedad diferenciable), como una esfera o la superficie de un toro. Un Grupo de Lie es la herramienta matemática para estudiar la simetría continua; formalmente, es un conjunto que es simultáneamente un grupo algebraico y una variedad diferenciable suave.

La teoría de los grupos de Lie surgió en la década de 1870, cuando el matemático noruego Sophus Lie buscaba crear un equivalente continuo para las ecuaciones diferenciales de lo que Évariste Galois había logrado para las ecuaciones algebraicas con la teoría de grupos finitos. 

En la década de 1830, Évariste Galois demostró que una ecuación polinómica se puede resolver mediante radicales si y solo si su "grupo de simetrías" (un grupo finito) tiene una estructura resoluble, ver https://gilbeworld.blogspot.com/2026/08/evariste-galois-el-fuego-de-la.html.

Lie se planteó el siguiente objetivo: ¿Es posible determinar si una ecuación diferencial se puede resolver por integraciones directas analizando sus simetrías continuas?

• Descubrió que cuando una ecuación diferencial se mantiene invariable bajo una familia continua de transformaciones (por ejemplo, rotaciones o escalados), la dimensión del problema se puede reducir.

• Al estudiar estas transformaciones continuas, notó que se podían manipular analizando únicamente sus cambios "infinitesimales" (derivadas cerca de la identidad), convirtiendo problemas geométricos y analíticos difíciles en problemas de álgebra lineal mucho más sencillos..

Dado que las rotaciones forman un espacio geométrico suave donde se pueden aplicar derivadas y cálculo diferencial, la familia de todas las rotaciones tridimensionales constituye un Grupo de Lie.

A finales del siglo XIX, Sophus Lie formuló su teoría asumiendo que las funciones que describían estas simetrías eran analíticas (es decir, infinitamente derivables y expresables mediante series de potencias).

Hilbert se preguntó si esta suposición era realmente necesaria:

Enunciado simplificado del Quinto Problema: Si tenemos un grupo de transformaciones que es simplemente continuo (sin saltos, pero no necesariamente "suave" o derivable a simple vista), ¿se deduce automáticamente que debe ser un Grupo de Lie analítico y derivable?

En términos cotidianos: si una trayectoria no tiene interrupciones bruscas, ¿significa que en el fondo es completamente suave y libre de picos o esquinas afiladas?

La respuesta no llegó de forma inmediata. Hizo falta medio siglo de avances en topología y álgebra abstracta para resolver la incógnita. En 1952, los matemáticos Andrew Gleason (EE.UU 1921 - 2008), Deane Montgomery (EE.UU 1909 - 1992) y Leo Zippin (EE.UU 1905 – 1995) dieron la solución definitiva para el caso de dimensiones finitas. Ellos demostraron que cualquier grupo topológico localmente compacto que cumpla ciertas condiciones mínimas (como no tener "subgrupos arbitrariamente pequeños") es isomórfico a un Grupo de Lie analítico, de manera que la respuesta al Quinto Problema era SÍ.

Gleason demostró que si un grupo topológico localmente compacto no contiene "subgrupos arbitrariamente pequeños" (es decir, existe un entorno del elemento identidad que no alberga ningún subgrupo propio completo), entonces dicho grupo es isomórfico a un Grupo de Lie analítico.

Por su parte, Montgomery y Zippin demostraron que todo grupo topológico de dimensión finita, localmente compacto y conexo cumple precisamente con la condición de no tener subgrupos arbitrariamente pequeños.

Al unir ambos teoremas, demostraron que todo grupo topológico localmente compacto de dimensión finita que sea una variedad topológica es un Grupo de Lie. Esto confirmó la intuición de Hilbert: en el contexto de grupos de transformaciones continuas, la mera estructura topológica y la continuidad obligan a que el espacio sea automáticamente "suave", analítico y diferenciable, sin necesidad de asumirlo previamente.

Por lo tanto, la exigencia de "suavidad" o "diferenciabilidad" no era una condición arbitraria añadida por Sophus Lie, sino una consecuencia natural e inevitable de la propia estructura del grupo y la continuidad.

La resolución del Quinto Problema de Hilbert tuvo un impacto profundo en el desarrollo de la matemática moderna y la física teórica. Conectó la topología general (el estudio de las formas y la continuidad sin distancias rígidas) con el análisis matemático y el álgebra de Lie.

Hoy los Grupos de Lie son la herramienta matemática central de la física cuántica y la teoría de la relatividad. Saber que la continuidad garantiza la derivabilidad asegura que las leyes de simetría de la naturaleza puedan analizarse siempre mediante ecuaciones diferenciales.

Por otra parte, la búsqueda de la solución al Quinto Problema impulsó el desarrollo de la topología algebraica y la teoría de grupos topológicos, permitiendo abordar problemas aún más complejos en dimensiones infinitas.

La visión de Hilbert de conectar simetrías continuas, análisis y geometría sigue más viva que nunca. En el Congreso Internacional de Matemáticos (ICM) de 2026, la Medalla Fields —el máximo galardón de las matemáticas para investigadores menores de 40 años— premió avances que son descendientes directos de este legado:

John Pardon (EE.UU 1989) fue galardonado por sus aportaciones a la geometría simpléctica y la topología, áreas donde las acciones de grupos de Lie sobre variedades geométricas son fundamentales para entender la física cuántica y las estructuras geométricas continuas, ver https://gilbeworld.blogspot.com/2026/09/de-los-nudos-imposibles-y-las-arrugas.html.

Yu Deng, ver https://gilbeworld.blogspot.com/2026/09/del-caos-molecular-al-fluido-continuo.html, y Hong Wang , ver https://gilbeworld.blogspot.com/2026/09/la-conjetura-de-kakeya-y-su-odisea.html, recibieron la medalla por sus avances en ecuaciones en derivadas parciales y análisis armónico, herramientas que nacieron precisamente para estudiar las simetrías analíticas que Lie y Hilbert exploraron.

El Quinto Problema de Hilbert demostró que la "suavidad" no es un parche ni un supuesto arbitrario, sino una consecuencia inevitable de la propia estructura de simetría continua. Sin la certeza de que las simetrías continuas son diferenciables, la formulación matemática de la mecánica cuántica y la relatividad general carecería del rigor fundamental sobre el que se apoyan hoy.

La colaboración implícita entre Lie, Hilbert, Gleason, Montgomery y Zippin muestra cómo un problema geométrico del siglo XIX necesitó del desarrollo de la topología del siglo XX para ser comprendido en su totalidad. Como reflejan las Medallas Fields 2026, las preguntas planteadas hace más de un siglo sobre grupos de Lie, variedades y análisis siguen alimentando las fronteras más avanzadas de la matemática contemporánea.

Acertijo o un mapa de caminos: La verdadera naturaleza del Cuarto Problema de Hilbert

 

«El Cuarto Problema de Hilbert no pedía encontrar un número o resolver una ecuación, sino construir una nueva visión de lo que significa medir el espacio cuando la recta sigue siendo la guía.» Herbert Busemann (Alemania 1905 – 1994).

En la geometría euclidiana nos enseñan un axioma intuitivo: la distancia más corta entre dos puntos es la línea recta. Sin embargo, a lo largo del siglo XIX, matemáticos como Lobachevsky, Bólyai y Gauss demostraron que existen geometrías no euclidianas perfectamente válidas. En una esfera, por ejemplo, las "rectas" (las trayectorias más cortas o geodésicas) son los grandes círculos, como el ecuador.

Hilbert entonces planteó la siguiente pregunta fundamental: ¿Es posible construir métricas (formas de medir distancias) donde las líneas rectas ordinarias del espacio euclidiano sigan siendo las trayectorias más cortas, pero los ángulos o las áreas se comporten de forma completamente diferente?

El Cuarto Problema sufría de una intencionada vaguedad en su formulación. Hilbert no impuso condiciones estrictas de suavidad sobre la función de distancia ni especificó la dimensión exacta del espacio.

Enunciado de Hilbert del Cuarto Problema en el Congreso de París, extracto resumido del texto original de 1900:

«Se trata de hallar todas las geometrías posibles en las que el axioma de la línea recta como el camino más corto entre dos puntos se verifique, y estudiar sus propiedades... Este problema exige la construcción y clasificación de todas las métricas en las que las rectas del espacio euclidiano funcionan como geodésicas.»

Su planteamiento se centraba en determinar las geometrías que surgen si se mantiene el concepto de que la línea recta euclidiana es la trayectoria más corta entre dos puntos, pero se descartan o modifican los demás axiomas clásicos.

Hilbert propuso investigar las geometrías que satisfacen las siguientes condiciones:

• Soberanía de la línea recta: Las líneas rectas del espacio euclidiano ordinario (o segmentos de ellas) continúan siendo las trayectorias que minimizan la distancia entre cualquier par de puntos.
• Flexibilidad de los demás axiomas: Se prescinde del axioma de las paralelas de Euclides y de las nociones habituales de ángulo y área.
• Propiedades de la métrica: La función de distancia $d(P, Q)$ debe cumplir la desigualdad triangular estándar ($d(P, Q) \le d(P, R) + d(R, Q)$) y ser continua, garantizando que el camino en línea recta sea estrictamente el de menor longitud.

Dado lo anterior, la comunidad matemática coincide en que el Cuarto Problema debe entenderse como un campo de estudio abstracto dedicado a la clasificación de métricas geométricas, más que un problema cuya solución sea SÏ o NO. El desarrollo de este problema requirió redefinir lo que entendemos por "medir" en un espacio continuo.

El primer acercamiento a la solución del Cuarto Problema vino en fecha tan reciente como 1901 con los trabajos de Georg Hamel (Alemania 1877 - 1954), tan solo un año después de que David Hilbert presentara el problema en el Congreso Internacional de Matemáticos de París.

En su tesis doctoral (dirigida por el propio Hilbert), Hamel intentó dar un marco analítico preciso a la vaga formulación de su maestro. Para ello, asumió que la función de distancia debía ser "suave" (infinitamente diferenciable, $C^\infty$) e introdujo una función $F(x, y, dx, dy)$ donde la longitud de un segmento infinitesimal $ds$ dependía tanto de la posición $(x, y)$ como de la dirección $(dx, dy)$.

Al aplicar el cálculo de variaciones mediante las ecuaciones de Euler-Lagrange (conjunto de ecuaciones diferenciales ordinarias que constituyen el pilar fundamental del cálculo de variaciones. Su objetivo es encontrar la trayectoria que minimiza o maximiza una cantidad dada por una integral, conocida como el funcional de acción, ver https://gilbeworld.blogspot.com/2026/03/el-anillo-unico-de-las-ecuaciones.html), e imponer la condición de que las soluciones que minimizaban la distancia fueran líneas rectas euclidianas ($y = ax + b$), Hamel demostró la existencia de una familia infinita de métricas no euclidianas que cumplían el axioma de Hilbert.

En la literatura matemática actual es muy común leer que Hamel empleó métricas de Finsler para dar esta primera solución. Sin embargo, esto constituye un anacronismo histórico, dado que Paul Finsler (Alemania 1894 – 1970), no definiría estos espacios hasta 1918, cuando presentó su tesis sobre curvas y superficies en espacios generales. Finsler sistematizó el marco abstracto, la curvatura y las nociones de ángulo en entornos donde la medida depende de la dirección.

Aunque el trabajo de Hamel en 1901 demostró que el problema tenía infinitas respuestas y sentó las bases operativas de las métricas proyectivas, no cerró el debate por dos limitaciones clave:

• La restricción de suavidad: Hamel exigió que la métrica fuera diferenciable ($C^\infty$). El enunciado original de Hilbert no imponía esta condición, dejando la puerta abierta a métricas que fueran continuas pero no suaves.
• Dimensiones reducidas: Sus demostraciones se limitaron al plano y al espacio tridimensional, dejando sin clasificar las métricas en dimensiones superiores.

A pesar de no ser la palabra final, el trabajo de Hamel en 1901 transformó la intuición de Hilbert en una línea de investigación concreta, abriendo el camino para que décadas más tarde Herbert Busemann y Aleksandr Pogorélov completaran el mapa de este fascinante territorio geométrico.

Herbert Busemann (Alemania 1905 – 1994) es considerado la figura central en la resolución del Cuarto Problema de Hilbert a mediados del siglo XX, impulsado por los trabajos previos de Karl Pohlke (Alemania 1810 – 1876), pintor y matemático quien aportó las bases geométricas en el siglo XIX. Pohlke demostró un teorema, el Teorema de Pohlke, que establece que cualquier proyección paralela de un objeto tridimensional sobre un plano puede construirse a partir de la elección libre de tres ejes y sus escalas de acortamiento, un pilar fundamental de la representación gráfica y la geometría descriptiva.

Mientras que Hamel abordó el problema mediante el cálculo de variaciones y la suposición de que las métricas eran diferenciables ($C^\infty$), Busemann revolucionó el enfoque al cambiar la perspectiva analítica por una perspectiva sintética y métrica.

Busemann eliminó por completo la exigencia de suavidad en las funciones de distancia, formulando el problema en el marco de los espacios métricos abstractos. A lo largo de las décadas de 1940 y 1950, formalizó la noción de espacio de Finsler generalizado sin necesidad de coordenadas ni derivadas, apoyándose estrictamente en la desigualdad triangular y en la noción de convexidad.

Busemann logró clasificar y caracterizar una amplia familia de métricas (conocidas como métricas de Busemann o métricas proyectivas continuas) en las que los segmentos de recta euclidianos actúan como geodésicas únicas, aun cuando el espacio no sea suave.

El trabajo de Pohlke y, fundamentalmente, la monumental obra de Busemann demostraron que el problema de Hilbert no pertenecía en exclusiva al cálculo de variaciones ni a la geometría diferencial tradicional, sino a la geometría métrica general, preparando el terreno para que Aleksandr Pogorélov (Rusia 1919 – 2002) lograra la solución definitiva en 1973 para las dimensiones 2 y 3.

Los resultados principales de Pogorélov fueron publicados en una célebre monografía de 1973 (traducida al inglés en 1979 bajo el título A realization of Hilbert's Fourth Problem). A diferencia de Hamel (1901), quien exigía que la función de distancia fuera diferenciable ($C^\infty$), Pogorélov abordó el problema asumiendo únicamente que la métrica fuera continua y satisficiera los axiomas básicos de distancia.

La gran innovación de Pogorélov fue emplear herramientas de la geometría integral. Demostró que cualquier métrica en el plano (o en el espacio de dimensión 3) donde las líneas rectas son las geodésicas más cortas puede representarse mediante una medida positiva sobre el conjunto de hiperplanos (o rectas) que cortan a un segmento dado.

Pogorélov logró clasificar todas las métricas continuas, homogéneas e invariantes por traslación que hacen que las rectas euclidianas sean geodésicas. Demostró que toda métrica de este tipo en $d=2$ y $d=3$ es una métrica de Blaschke-Minkowski o puede expresarse como la integral de una medida de áreas/volúmenes sobre el espacio de cortes.

Gracias al trabajo de Pogorélov, el Cuarto Problema quedó plenamente resuelto en el espacio tridimensional habitual, abriendo la puerta a la teoría moderna de la medida y la tomografía matemática.

El impacto del Cuarto Problema trasciende su enunciado original, habiendo alimentado áreas clave de las matemáticas modernas:

• Geometría de Finsler: Estructura que generaliza la geometría riemanniana al permitir que la distancia dependa de la dirección en cada punto, fundamental en la física teórica actual.
• Geometría Integral: La solución de Pogorélov utilizó medidas en el espacio de líneas rectas, impulsando el desarrollo de la tomografía matemática y el procesamiento de imágenes.
• Geometría Métrica y Espacios de Hilbert-Geometría: El estudio de espacios donde la noción de métrica no requiere derivadas ni estructuras diferenciales.

Desde los primeros e intuitivos avances de Georg Hamel en 1901 —quien aplicó el cálculo de variaciones adelantándose 17 años a la formalización de la geometría de Finsler—, pasando por el enfoque sintético de Herbert Busemann a mediados de siglo, hasta la brillante caracterización mediante geometría integral de Aleksandr Pogorélov en 1973, el problema ha servido como motor de desarrollo para la teoría de la medida y los espacios métricos abstractos.

El Cuarto Problema de Hilbert demostró que la verdadera riqueza de las matemáticas a menudo no reside en resolver una ecuación con un resultado único, sino en redefinir los conceptos más fundamentales. Al cuestionar qué hace que una recta sea la distancia más corta, Hilbert no planteó una adivinanza, sino la cartografía de un nuevo territorio geométrico.

Lo que comenzó como una reflexión sobre los axiomas de Euclides es hoy una herramienta imprescindible en áreas que van desde la física teórica y la relatividad general hasta la tomografía médica y el procesamiento moderno de imágenes. El Cuarto Problema nos recuerda que, cuando cambiamos la forma en que medimos el espacio, el universo entero adquiere una nueva perspectiva.

De las tijeras de Euclides a los invariantes modernos: El Tercer Problema de Hilbert

 

"La geometría es el arte de razonar bien sobre figuras mal hechas." Henri Poincaré (Francia 1854 – 1912).

Imagina que tienes una figura de papel, digamos un triángulo. Con unas tijeras, la cortas en tres o cuatro piezas y las vuelves a ensamblar para formar un rectángulo perfecto. Intuitivamente, sabemos que esto siempre es posible en el plano de dos dimensiones. Pero, ¿ocurre lo mismo en el espacio tridimensional si usamos un bisturí para cortar poliedros?

Esta pregunta, aparentemente sencilla, es el corazón del Tercer Problema de Hilbert  presentado en el histórico Congreso Internacional de Matemáticos de París en 1900. Para entender la importancia del planteamiento, primero debemos definir el concepto de equidescomponibilidad (o congruencia por tijeras).

Decimos que dos figuras planas $A$ y $B$ son equidescomponibles si podemos dividir la figura $A$ en un número finito de piezas poligonales $P_1, P_2, \dots, P_n$ y, tras rotar o trasladar esas piezas sin superponerlas, volver a armarlas para obtener exactamente la figura $B$.

En el siglo XIX, el matemático húngaro Wolfgang Bolyai (Hungría 1775 – 1856) y el oficial prusiano Paul Gerwien (1799 - 1858) demostraron independientemente el Teorema de Bolyai-Gerwien:

Teorema: Dos polígonos en el plano tienen la misma área si y solo si son equidescomponibles.

Esto significa que, en 2D, el área y la descomposición mediante cortes rectos son conceptos equivalentes. Si dos figuras ocupan la misma superficie, siempre puedes pasar de una a otra usando solo un par de tijeras y una regla.

Al pasar al espacio tridimensional (3D), la idea intuitiva es que dos poliedros con el mismo volumen deberían poder cortarse en un número finito de piezas tetraédricas y reensamblarse el uno en el otro.

Sin embargo, en el cálculo del volumen de pirámides o tetraedros, los matemáticos se topaban constantemente con un obstáculo: el método de exhaustión de Arquímedes (o el Principio de Cavalieri), que requiere un proceso de límite infinito.

Hilbert se preguntaba: ¿Es realmente necesario recurrir al análisis matemático y al infinito para calcular el volumen de cuerpos con caras planas, o existe una forma puramente geométrica y finita (a base de cortes) de demostrar que dos poliedros del mismo volumen son equivalentes? Hilbert se enunció así su problema:

Dados dos tetraedros de la misma base y la misma altura (y por tanto, de igual volumen), ¿es siempre posible descomponer el primero en un número finito de tetraedros más pequeños y reensamblarlos para formar el segundo?

A finales del siglo XIX podemos resumir el conocimiento sobre estos temas de la siguiente manera:

Aspecto	Geometría Plana (2D)	Geometría Espacial (3D)
Cálculo de Área/Volumen	Suma finita de triángulos	Requiere integración / límites infinitos
Equidescomponibilidad	Demostrada (Bolyai-Gerwien)	¿Desconocida hasta 1900?
Herramientas necesarias	Álgebra y geometría elemental	Análisis matemático avanzado

Hilbert estaba profundamente interesado en los fundamentos de la geometría. En 1899 había publicado sus Grundlagen der Geometrie (Fundamentos de la Geometría), donde axiomatizó la geometría euclidiana con una rigurosidad nunca antes vista.

En la tradición griega, la geometría plana se construía sin necesidad del concepto numérico de "área continuous" gracias a las transformaciones finitas. Pero para los sólidos en 3D (como la pirámide), ni Euclides ni Gauss habían logrado evitar el cálculo infinitesimal.

Hilbert sospechaba firmemente que la respuesta al problema era NO: creía que existían poliedros de igual volumen que jamás podrían convertirse el uno en el otro mediante un número finito de cortes planos. De confirmarse su intuición, se demostraría que el análisis matemático y el uso del infinito son estrictamente indispensables para medir el espacio tridimensional.

Lo que no imaginaba Hilbert era que la respuesta a su tercer problema ya estaba prácticamente terminada en la mente de uno de sus propios estudiantes al momento de su conferencia. Este problema fue el primero de la lista en ser resuelto, y su solución tardó apenas unos meses después de la conferencia de Hilbert en París.

En 1901, Max Dehn (Alemania 1878 – 1952), publicó la demostración que resolvía negativamente la conjetura de Hilbert, convirtiéndolo en el primer problema de la lista en ser tachado.

Para demostrar que dos cosas con el mismo volumen no son equidescomponibles, Dehn inventó una "firma matemática" o una "huella digital" para cada poliedro, un valor que nunca cambia cuando cortas el poliedro y lo vuelves a armar. En matemáticas, esto se conoce como un invariante.

Si cortas un poliedro $P$ en piezas $P_1, P_2, \dots, P_k$ y reorganizas esas piezas para formar $Q$, entonces:

$$\text{Invariante}(P) = \sum_{i=1}^k \text{Invariante}(P_i) = \text{Invariante}(Q)$$

Por lo tanto, si encuentras dos poliedros $P$ y $Q$ con el mismo volumen pero con diferente invariante, ¡es matemáticamente imposible transformar uno en el otro usando tijeras!

El invariante diseñado por Dehn combina dos datos de cada arista del poliedro:

1. La longitud de la arista ($l_i$).

2. El ángulo diedro ($\theta_i$) formado por las dos caras que se cruzan en esa arista.

El Invariante de Dehn (denotado como $D(P)$) se define como una suma sobre todas las aristas del sólido:

$$D(P) = \sum l_i \otimes \theta_i$$

Donde $\theta_i$ se mide en términos de múltiplos de $\pi$ (mód $\pi$) y $\otimes$ es el producto tensorial entre la arista y el ángulo.

No es objetivo de este artículo adentrarnos en la definición y propìedades del producto tensorial, solo basta con conocer que si el ángulo $\theta$ es múltiplo racional de $\pi$ el producto tensorial será cero.

Para un cubo perfecto de lado $1$:

• Todas sus aristas miden $1$.

• Todos sus ángulos diedros son de $90^\circ$ ($\frac{\pi}{2}$).

• Como el ángulo es un múltiplo racional de $\pi$, su Invariante de Dehn se anula completamente: $D(\text{Cubo}) = 0$.

Ahora tomemos un tetraedro regular de volumen 1 (con 4 caras triangulares equiláteras):

• Todas sus aristas miden $l = \sqrt[3]{6\sqrt{2}} \approx 2.0396$.

• Sus ángulos diedros son $\arccos(1/3)$, un ángulo cuyos múltiplos no son racionales respecto a $\pi$.

• Al calcular su invariante, el resultado nunca es cero: $D(\text{Tetraedro Regular}) \neq 0$.

Dado que un cubo y un tetraedro regular de igual volumen tienen distintos invariantes de Dehn ($0$ versus un valor distinto de cero), es imposible descomponer un tetraedro regular en piezas finitas y construir un cubo con ellas. De manera que la intuición de Hilbert era totalmente acertada.

La resolución del Tercer Problema de Hilbert no fue solo un triunfo intelectual rápido; dejó huellas profundas en la matemática del siglo XX por varias razones fundamentales:

• Separación de dimensiones: Demostró que la geometría en 3D es fundamentalmente más compleja que la geometría en 2D. Lo que en el plano se soluciona con aritmética finita, en el espacio requiere la topología y el análisis.

• Justificación del Cálculo: Confirmó de manera inapelable que el análisis infinitesimal y el concepto de límite (desarrollados por Newton y Leibniz) no son "trucos" para calcular volúmenes rápidamente, sino herramientas lógicas necesarias. No existe un atajo puramente algebraico o finito para medir el volumen de los poliedros.

• Nacimiento del Teorema de Sydler (1965): Décadas más tarde, el matemático Jean-Pierre Sydler (Suiza 1921 – 1988) demostró el inverso completo del trabajo de Dehn: dos poliedros en el espacio 3D son equidescomponibles si y solo si tienen exactamente el mismo volumen y el mismo invariante de Dehn.

• Conexiones con el Álgebra Abstracta: La construcción del invariante de Dehn requirió formalizar el producto tensorial sobre grupos ($A \otimes B$), una herramienta que más tarde se convertiría en un pilar del álgebra homológica y la topología algebraica.

El Tercer Problema de Hilbert nos enseña una lección hermosa sobre la naturaleza de la matemática: a veces, para responder a la pregunta más básica sobre un objeto físico tridimensional, debemos construir estructuras abstractas completamente nuevas. Lo que comenzó como un juego de cortes y pliegues terminó revelando la frontera exacta donde termina la geometría elemental y comienza el cálculo infinito.

De la obsesión de Hilbert a la genialidad de Gödel: La historia del Segundo Problema

 

"Gödel demostró que las matemáticas no están completas y jamás lo estarán." John von Neumann (Hungría 1903 – 1957).

Las matemáticas nos han permitido construir puentes, enviar naves al espacio y encriptar la red. Sin embargo, a finales del siglo XIX y principios del XX, los matemáticos se enfrentaron a una pregunta tan simple como aterradora: ¿estamos completamente seguros de que $1 = 0$ nunca podrá demostrarse utilizando las reglas de la aritmética?

Esta interrogante no es un mero pasatiempo filosófico. Se trata del centro del Segundo Problema de Hilbert, uno de los desafíos más profundos e influyentes en la historia de la ciencia, presentado por el matemático alemán David Hilbert (Alemania 1862 – 1943) en el Congreso Internacional de Matemáticos de París en el año 1900 (ver https://gilbeworld.blogspot.com/2026/01/los-problemas-de-hilbert-y-el-instituto.html).

Para entender por qué David Hilbert incluyó la consistencia de los axiomas de la aritmética en su famosa lista de 23 problemas no resueltos, debemos remontarnos al siglo XIX. Durante este periodo, las matemáticas vivieron una auténtica revolución de rigorización.

Durante más de dos mil años, los Elementos de Euclides fueron el modelo ideal de deducción: se partía de unos pocos axiomas (proposiciones evidentes que se asumen verdaderas sin demostración) y, mediante la lógica estricta, se deducían todos los teoremas de la geometría.

A finales del siglo XIX, los matemáticos buscaron aplicar este mismo nivel de rigor a la aritmética y al análisis matemático. Giuseppe Peano (Italia 1858 – 1932) formalizó los axiomas de los números naturales (los célebres Axiomas de Peano), mientras que Gottlob Frege (Alemania 1848 – 1925) y Georg Cantor (Alemania 1845 - 1918) sentaban las bases de la teoría de conjuntos, el lenguaje unificador sobre el que se construiría toda la matemática moderna.

Sin embargo, el entusiasmo duró poco. A medida que la teoría de conjuntos cobraba fuerza, surgieron contradicciones profundas dentro de sus cimientos. La más famosa de ellas fue la Paradoja de Russell, enunciada por Bertrand Russell (Reino Unido 1872 – 1970) en 1901: Considere el conjunto $R$ de todos los conjuntos que no se contienen a sí mismos como miembros. ¿Se contiene $R$ a sí mismo? Si se contiene, no debería pertenecer a $R$. Pero si no se contiene, por definición debe pertenecer a $R$.

La lógica matemática se encontraba atrapada en un bucle infinito de contradicción. En lógica formal existe un principio conocido como el principio de explosión (ex falso quodlibet): si un sistema axiomático contiene al menos una contradicción, es posible demostrar cualquier afirmación dentro de él, ya sea verdadera o falsa. Si la aritmética fuera inconsistente, todo el edificio matemático se vendría abajo.

Ante esta crisis, David Hilbert, en la década de los años veinte del siglo pasado, emergió con una visión audaz conocida como el Programa de Hilbert. Su objetivo era formalizar todas las matemáticas en un lenguaje lógico perfecto y mecánico, demostrando tres propiedades fundamentales del sistema:

1. Completitud: Toda afirmación matemática verdadera dentro del sistema se puede demostrar.

2. Decidibilidad: Existe un algoritmo o método mecánico para determinar si cualquier proposición es un teorema válido.

3. Consistencia (El Segundo Problema): Probar, utilizando métodos puramente finitos y rigurosos, que las reglas de la aritmética no pueden llevar jamás a una contradicción (como $0 = 1$).

Para Hilbert y su generación, la respuesta debía ser afirmativa. Como solía decir el propio Hilbert: "Debemos saber; sabremos".

La razón principal por la que Hilbert enunció su Programa fue la Crisis de los Fundamentos de las Matemáticas. La aparición de contradicciones en la teoría de conjuntos (como la Paradoja de Russell) demostró que la matemática clásica tenía grietas en sus cimientos.

Liderados por L.E.J. Brouwer (Holanda 1881 - 1966), los matemáticos "intuicionistas" proponían rechazar partes enteras de la matemática tradicional (como el infinito actual o el principio del tercero excluido en pruebas infinitas) para evitar contradicciones.

Por otra parte, Hilbert consideraba intolerable la idea de desechar siglos de avances matemáticos. Propuso su Programa para "blindar" formalmente la matemática mediante la Teoría de la Demostración (Metamatemática), probando rigurosamente que los sistemas axiomáticos eran consistentes usando únicamente razonamientos finitos.

El Programa de Hilbert no fue una idea aislada, sino la evolución y consolidación operacional de varios desafíos que él mismo había enunciado en el Congreso de París de 1900.

El Segundo Problema pedía una demostración directa de que los axiomas de la aritmética no contenían contradicciones. En los años 20, Hilbert expandió esta idea puntual en un programa integral: no solo había que probar la consistencia de la aritmética, sino crear un método (métodos finitistas) para probar la consistencia de toda la matemática formalizada.

El Primer Problema (la Hipótesis del Continuo), ver https://gilbeworld.blogspot.com/2026/09/la-hipotesis-del-continuo-el-primer.html, puso en evidencia que trabajar con infinitos requería una axiomática estricta (que derivaría en los axiomas ZFC de Zermelo-Fraenkel). El Programa de Hilbert buscaba probar que el uso de estos "objetos ideales" o infinitos en las demostraciones no causaría contradicciones en los "objetos reales" o finitos.

En su famoso discurso de 1900, Hilbert defendió el axioma filosófico de que "todo problema matemático bien planteado debe tener una solución". El Programa de Hilbert de los años 20 tradujo esa convicción en un objetivo técnico estructurado en los tres pilares arriba mencionados.

A medida que avanzaba la década de 1920, parecía que el sueño de Hilbert estaba a punto de cumplirse. Se lograron probar la consistencia y la completitud de sistemas lógicos más pequeños y restringidos (como la lógica proposicional o sistemas simplificados de la aritmética sin multiplicación). La demostración completa para la aritmética ordinaria parecía tan solo cuestión de tiempo.

Sin embargo, en 1931, el curso de la historia matemática cambió drásticamente para siempre. La "solución" al Segundo Problema de Hilbert vino en la forma más inesperada. El joven lógico austriaco de 25 años Kurt Gödel (República Checa 1906 - 1978) publicó un artículo que sacudió los cimientos del pensamiento humano: los Teoremas de Incompletitud.

• Primer Teorema de Incompletitud: Si un sistema axiomático recursivo y consistente es capaz de hacer aritmética básica, entonces no es completo. Es decir, siempre existirán afirmaciones verdaderas sobre los números naturales que el sistema no puede demostrar ni refutar.

• Segundo Teorema de Incompletitud (Respuesta directa a Hilbert): Ningún sistema axiomático consistente que contenga a la aritmética de Peano puede demostrar su propia consistencia utilizando únicamente sus propios axiomas y reglas lógicas.

Para lograr esto, Gödel inventó una técnica ingeniosa llamada numeración de Gödel. Asignó un número entero único a cada símbolo matemático, a cada fórmula y a cada secuencia de fórmulas (que representan demostraciones). De este modo, tradujo la metamatemática (el estudio de las proposiciones matemáticas) en pura aritmética.

Gracias a esto, Gödel logró construir una frase matemática en la aritmética de Peano que afirma simbólicamente:

$$\text{G: "Esta afirmación no es demostrable dentro de este sistema."}$$

Lo anterior significa que el objetivo original de Hilbert es imposible de alcanzar en los términos en que él lo planteó. No podemos utilizar la aritmética de Peano para probar, con sus propios métodos, que la aritmética es consistente. Para probar que la aritmética no tiene contradicciones, debemos apoyarnos en un sistema lógico más potente y complejo; pero ese sistema más potente requerirá a su vez de otro aún más fuerte para probar su propia consistencia, cayendo en una regresión infinita.

Posteriormente, el matemático Gerhard Gentzen (Alemania 1909 – 1945) logró demostrar la consistencia de los axiomas de Peano. Sin embargo, para hacerlo tuvo que utilizar un principio lógico adicional conocido como inducción transfinita (sobre el ordinal $\varepsilon_0$). Esto confirmó lo que Gödel había predicho: para probar la consistencia de la aritmética, es imprescindible salirse de las reglas estrictas de la propia aritmética básica.

El Segundo Problema de Hilbert no se resolvió con la demostración de un "Sí" definitivo, sino con la revelación de un límite fundamental de la lógica y la razón humana. La consistencia de los axiomas de la aritmética nos enseña una lección fascinante: la verdad matemática trasciende las fronteras de cualquier conjunto finito de reglas. Nuestro edificio matemático no es un castillo cerrado de hormigón, sino una estructura abierta en constante expansión.

Antes de Gödel, se creía que:

$$\text{Verdad} = \text{Demostrabilidad}$$

Gödel demostró que la Verdad es un concepto más amplio que la demostración. Que un sistema no pueda probar una frase dentro de sus propias reglas no significa que la frase no sea verdadera o que la matemática falle; solo indica que necesitamos enriquecer el sistema.

La incompletitud demostró que un sistema de reglas no puede capturarlo todo. En lugar de derribar la disciplina, sus teoremas la liberaron de un idealismo rígido e impulsaron áreas enteras de la ciencia moderna.

La incompletitud solo significa que hay verdades matemáticas que no se pueden demostrar usando un conjunto fijo de reglas iniciales. La matemática cotidiana (el cálculo, el álgebra, la geometría) sigue siendo completamente sólida, útil y confiable.

Si el Programa de Hilbert hubiera funcionado, la matemática habría quedado "cerrada": un conjunto gigante pero finito de axiomas que una máquina podría procesar para generar todas las respuestas posibles.

La incompletitud demostró que las matemáticas son un proceso creativo infinito:

• Nuevos axiomas: Cuando encontramos una afirmación indecidible, podemos elegir agregar un nuevo axioma para seguir construyendo.

• Sistemas más potentes: Para resolver problemas inaccesibles en un nivel, simplemente ascendemos a un marco lógico superior.

El esfuerzo por entender los límites de la incompletitud llevó directamente al nacimiento de las computadoras. Alan Turing (Reino Unido 1912 – 1954) tomó la idea central de los Teoremas de Gödel —la autorreferencia y el colapso de la lógica mediante sus propios límites— y la tradujo al lenguaje de la computación. Mientras Gödel usó números para codificar frases lógicas, Turing inventó la Máquina de Turing (el modelo teórico de una computadora) para codificar algoritmos como datos.

La incompletitud no fue una tragedia, sino el hallazgo de un límite natural. Al igual que la teoría de la relatividad demostró que la física de Newton no lo explicaba todo pero seguía siendo útil, los teoremas de Gödel demostraron que la matemática no es una prisión de reglas cerradas, sino un territorio inagotable.