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.