La Hipótesis del Continuo: El primer problema de Hilbert y la búsqueda del infinito

 

Nadie nos expulsará del paraíso que Cantor ha creado para nosotros. David Hilbert (Alemania 1862 – 1943)

Durante la mayor parte de la historia humana, el infinito fue visto como un concepto filosófico, un límite inalcanzable o una simple abstracción. Desde la antigüedad el infinito o lo infinito fue considerado como un enigma peligroso, una paradoja o un mero límite inalcanzable.

Haciendo un breve repaso de las concepciones que dominaron el pensamiento occidental cientos de años antes de nuestra era podemos mencionar:

• Anaximandro de Mileto (610 – 546 a.C.), introdujo el concepto de Apeiron (lo ilimitado o indefinido) como el principio creador del universo, una entidad abstracta e infinita de la que todo surge.
• Zenón de Elea (490 430 a.C), formuló sus famosas paradojas (como la de Aquiles y la tortuga) para demostrar que la división infinita del espacio y el tiempo generaba contradicciones lógicas.
• Aristóteles (Grecia 384 – 322 a.C.), estableció la distinción fundamental entre infinito potencial (un proceso que nunca termina, aceptado en matemáticas) e infinito actual (una totalidad infinita completada, el cual rechazó categóricamente).
• Galileo Galilei (Italia 1564 – 1642), en el año 1638 expuso la Paradoja de Galileo: observó que hay tantos números enteros como cuadrados perfectos, a pesar de que los cuadrados son solo una pequeña parte de los enteros.
• Gottfried Leibniz (Alemania 1646 – 1716) desarrolló el cálculo infinitesimal utilizando cantidades "infinitamente pequeñas" (infinitésimos), aunque mantuvo una postura ambigua sobre la existencia del infinito como conjunto completado.
• Bernard Bolzano (República Checa 1781 – 1848), en su obra Las paradojas del infinito, publicada póstumamente en 1851, defendió la existencia del infinito actual y anticipó que un conjunto infinito podía ser equivalente a una de sus partes, sentando el precedente directo para Cantor.

La distinción de Aristóteles entre infinito potencial y actual dominó el pensamiento occidental durante más de dos milenios. La mayoría de los matemáticos —incluido Carl Friedrich Gauss a principios del siglo XIX— se negaban a tratar al infinito como un objeto matemático real, considerándolo únicamente como una forma de hablar sobre límites ($x \to \infty$). Fue la audacia de Cantor la que rompió esta tradición al tratar al infinito no como un proceso sin fin, sino como una cantidad fija y calculable. A finales del siglo XIX el matemático alemán Georg Cantor (1845 – 1918) revoluciona el pensamiento científico al demostrar algo que parecía contraintuitivo: no todos los infinitos son del mismo tamaño.

Cantor definió que dos conjuntos infinitos tienen el mismo tamaño (o la misma cardinalidad) si es posible poner sus elementos en una correspondencia biunívoca, es decir, emparejar cada elemento del primer conjunto con exactamente uno del segundo, sin que sobre ninguno. Sorprendentemente, demostró que los números pares, los enteros e incluso los números racionales (fracciones) tienen el mismo tamaño que los números naturales. A este tamaño de infinito lo llamó $\aleph_0$ (Aleph cero).

Por ejemplo, si multiplicamos cada número natural por 2 obtenemos una biyección entre los números naturales y los números pares, demostrando que ambos conjuntos tienen la misma cardinalidad.

Sin embargo, cuando Cantor intentó hacer lo mismo con los números reales, fracasó. Mediante un célebre razonamiento conocido como el argumento de la diagonal, demostró de forma irrefutable que es imposible listar todos los números reales. La recta numérica es "un infinito más grande" que el conjunto de los números naturales. Al tamaño del infinito de los números reales se le denominó el continuo ($c$ o $2^{\aleph_0}$).

La demostración de Georg Cantor de que el conjunto de los números reales $\mathbb{R}$ es incontable (no numerable) se realiza mediante un razonamiento por reducción al absurdo. Supongamos que los números reales del intervalo (0,1), por ejemplo, son numerables, entonces se puede construir una lista ordenada de todos los números dentro de este intervalo. A partir de esta lista se construye un nuevo número, cambiando convenientemente los valores de la diagonal de cada representación del número real (de ahí el nombre de “argumento de la diagonal”) llegando a la contradicción de que, por construcción debe ser parte del intervalo (0,1), pero por otro lado no puede ser igual a ningún número de la lista inicial donde se encuentran todos los números del intervalo (0,1).

Aquí surgió la gran pregunta que desvelaría a Cantor durante el resto de su vida: ¿Existe algún conjunto cuyo tamaño esté estrictamente entre el infinito de los números naturales y el infinito de los números reales?

La afirmación de que no existe ningún infinito intermedio entre $\mathbb{N}$ y $\mathbb{R}$ se conoce como la Hipótesis del Continuo (HC). Cantor estaba convencido de que la hipótesis era cierta, pero jamás pudo demostrarla.

En el verano de 1900 se celebró en París el Congreso Internacional de Matemáticos. El célebre matemático David Hilbert pronunció una conferencia histórica en la que presentó una lista de 23 problemas no resueltos. Hilbert creía firmemente que estos desafíos guiarían el desarrollo de la matemática durante el siglo XX.

De todos los problemas posibles, Hilbert colocó la Hipótesis del Continuo como el Problema Número 1. ¿Por qué le dio tanta prioridad?

• Cimientos de la matemática: La teoría de conjuntos desarrollada por Cantor se estaba convirtiendo en el lenguaje fundamental sobre el que se apoyaba toda la estructura matemática (el álgebra, el análisis, la geometría). Responder si existía o no un infinito intermedio era esencial para consolidar la base de la disciplina.

• Naturaleza de la recta real: El continuo representa la intuición de la continuidad espacial y temporal en física y cálculo. No comprender la cardinalidad de los subconjuntos de la recta real significaba dejar una brecha en la comprensión matemática del propio espacio.

• Optimismo matemático: Hilbert promovía la idea de que en matemáticas debemos saber y sabremos (Wir müssen wissen. Wir werden wissen). El Problema No. 1 era la prueba de fuego para evaluar si las matemáticas formales podían resolver sus propias preguntas sobre el infinito.

La resolución del Problema del Continuo no llegó a través de una demostración convencional de "sí" o "no", sino a través de un giro conceptual que cambió para siempre la lógica matemática. La respuesta definitiva requirió dos décadas clave y el trabajo de dos mentes brillantes.

La historia de la solución se divide en dos actos:

1. Kurt Gödel (Austria 1906 - 1978): El lógico austriaco demostró en 1940 que la Hipótesis del Continuo no se puede refutar utilizando los axiomas de ZFC (el sistema estándar aceptado hoy en día para la teoría de conjuntos: los axiomas de Zermelo-Fraenkel con el axioma de Elección). Es decir, construir una matemática donde la Hipótesis del Continuo sea cierta no genera ninguna contradicción interna.

2. Paul Cohen (EE.UU. 1934 - 2007): En 1964 el matemático estadounidense inventó una revolucionaria técnica llamada forcing (forzamiento) para demostrar lo inverso: la Hipótesis del Continuo tampoco se puede demostrar a partir de los axiomas de ZFC . Demostró que es posible construir un modelo matemático completamente válido donde sí existan infinitos intermedios.

El veredicto final: La Hipótesis del Continuo es indecidible e independiente de los axiomas estándar de la teoría de conjuntos.

Podemos decir que la Hipótesis del Continuo es a la teoría de conjuntos lo que el Quinto Postulado de Euclides fue a la geometría. Puedes aceptar que la Hipótesis del Continuo es cierta y construir una matemática válida, o puedes asumir que es falsa y construir otra matemática igualmente válida e indivisible.

El resultado de Gödel y Cohen no destruyó las matemáticas; por el contrario, inauguró una nueva era de madurez formal. Sus implicaciones más relevantes para el panorama actual son:

• Geometrías y Matemáticas Alternativas: Al igual que la independencia del postulado de Euclides permitió el nacimiento de las geometrías no euclidianas (esenciales para la teoría de la relatividad de Einstein), la independencia de la hipótesis del continuo reveló la existencia de un abanico de «universos matemáticos» posibles (el multiverso de la teoría de conjuntos).

• Nuevos Axiomas: Muchos matemáticos modernos no se conforman con la indecidibilidad. Lógicos contemporáneos buscan nuevos axiomas intuitivamente razonables que puedan añadirse a ZFC para resolver la Hipótesis del Continuo de forma definitiva.

• Límites del Conocimiento Formal: El problema del continuo es la demostración práctica de los Teoremas de Incompletitud de Gödel: existen verdades o proposiciones en las matemáticas que los sistemas axiomáticos finitos no pueden confirmar ni desmentir.

El primer problema de Hilbert nos enseñó que el infinito no es solo una abstracción fascinante, sino una estructura rica, compleja y abierta a múltiples realidades lógicas.