¿Y si un hotel con infinitas habitaciones aún pudiera alojar a infinitos huéspedes más, incluso estando completamente lleno? Esta es la premisa desconcertante del Hotel de Hilbert, un experimento mental que introduce la extraña aritmética de los infinitos numerables, un concepto fundamental que transformó las matemáticas modernas. La conversación con el teórico de conjuntos y filósofo Joel David Hamkins recorre estas primeras paradojas del infinito, las crisis y revoluciones que desencadenaron y, finalmente, explora la propia naturaleza de la verdad matemática y la realidad.

El descubrimiento histórico de que algunos infinitos son genuinamente mayores que otros —como el continuo no numerable de los números reales frente al infinito numerable de los números naturales— hizo añicos supuestos largamente sostenidos y condujo a una profunda agitación. Figuras como Cantor y Frege afrontaron crisis personales y profesionales a medida que surgían paradojas que amenazaban la consistencia de todas las matemáticas. Esto obligó a una reconstrucción rigurosa, dando lugar a la teoría axiomática de conjuntos (ZFC) como nuevo fundamento. Sin embargo, el trabajo posterior de Gödel y Cohen reveló limitaciones inherentes: cualquier sistema formal suficientemente potente tendrá enunciados verdaderos que no puede demostrar, y cuestiones como la célebre Hipótesis del Continuo son independientes, lo que significa que no pueden resolverse mediante los axiomas estándar.

Esto conduce a una profunda bifurcación filosófica. Una perspectiva, la “visión del universo”, sostiene que existe una única realidad matemática verdadera esperando ser descubierta. En cambio, Hamkins defiende una “visión del multiverso”, inspirada en la técnica de forcing en teoría de conjuntos, que muestra que podemos extender consistentemente modelos matemáticos para crear universos alternativos donde esas preguntas independientes tienen respuestas diferentes. Este pluralismo sugiere que la verdad matemática, para ciertas cuestiones, no es absoluta, sino relativa al modelo que se elige habitar. La discusión conecta este razonamiento abstracto con experiencias humanas concretas de demostración, colaboración y búsqueda del conocimiento, presentando las matemáticas no como un edificio estático, sino como una exploración dinámica, creativa y a veces maravillosamente paradójica de la posibilidad.

Ideas sorprendentes

• Un conjunto infinito no se vuelve “más grande” cuando se le añaden elementos. A través de la analogía del Hotel de Hilbert, añadir a un hotel lleno un número finito o incluso otro número infinitamente numerable de huéspedes siempre es posible sin necesidad de un edificio más grande, desafiando nuestra intuición finita.


• La mayoría de las preguntas interesantes sobre conjuntos infinitos son, en el fondo, irresolubles con nuestros axiomas estándar. La Hipótesis del Continuo —que pregunta si existe un infinito entre los enteros y los números reales— es demostrablemente independiente de ZFC, lo que significa que no puede ni demostrarse ni refutarse dentro de ese sistema, un destino que comparten muchas preguntas naturales de la teoría de conjuntos.


• Se puede demostrar un enunciado visitando primero un universo matemático imaginario. La técnica del “forcing” permite a los matemáticos suponer que un enunciado es verdadero en un modelo construido, usarlo para derivar consecuencias y luego llevar esas ideas de vuelta para demostrar algo en el modelo original: una forma de viaje lógico entre mundos matemáticos.


• Un truco simple y lúdico puede resolver problemas aparentemente complejos. El “argumento del dinero” demuestra que un grupo de personas no puede tener, en su totalidad, más seguidores que seguidos imaginando que cada persona paga un dólar a cada persona a la que sigue; si todos ganaran dinero, la riqueza total del grupo aumentaría mágicamente, lo cual es imposible.

Conclusiones prácticas

• Antropomorfiza los problemas abstractos para ganar intuición. Cuando te atasques, intenta imaginar los objetos matemáticos como personas con objetivos y conflictos (por ejemplo, comités, comerciantes). Esta narrativa a escala humana puede revelar estrategias y contradicciones ocultas en la notación formal.


• Abraza la independencia como señal de una pregunta profunda. Si te encuentras con un problema que resulta ser independiente de tu sistema axiomático, no has fracasado: has encontrado una fractura fundamental de la realidad que vale la pena cartografiar, mostrando dónde divergen distintos universos matemáticos.


• Busca simplicidad y belleza en las demostraciones. Un argumento claro y elegante que revele por qué algo es verdadero suele ser más valioso y digno de confianza que uno enrevesado. Aspira a la comprensión por encima de la complejidad.


• Aprovecha la colaboración y el debate público. Interactuar con otras personas, como en plataformas como Math Overflow, te obliga a aclarar ideas, expone fallos y combina conocimientos diversos, convirtiendo preguntas en programas de investigación y respuestas en descubrimientos compartidos.