Cantor: más grande que el infinito

I. ¿Cuánto mide lo infinito?

Cuente hasta un millón. Todavía puede sumar uno. Y otro. Por mucho que avance, siempre habrá un número más.

Así suele entrar el infinito en nuestra vida: como un camino que no termina. Preguntar cuál de dos infinitos es mayor parece no haber entendido la palabra. Si ninguno de los recorridos puede acabarse, ¿qué sentido tendría comparar su tamaño?

Cantor entró por otro lado. Dejemos de buscar el final. Si podemos emparejar cada elemento de un conjunto con exactamente uno del otro, sin que quede ninguno suelto, ¿diremos que ambos tienen el mismo tamaño?

Suena más a repartir sillas que a transformar las matemáticas. Sin embargo, dentro de esa pregunta se abre un territorio. El infinito empieza a adquirir una forma que podemos investigar, en vez de seguir siendo un gesto de la mano hacia la lejanía.

Cantor publicó en 1874 su resultado sobre la imposibilidad de enumerar los números reales; el célebre argumento diagonal llegó en 1891. Entre ambas fechas hubo cálculos, cartas, correcciones y trabajo ajeno. El infinito no entró en las matemáticas con un solo relámpago.

Sigamos primero el argumento y no adelantemos la tragedia. Una afirmación matemática necesita una demostración; una persona que padece una enfermedad mental necesita cuidados. Hacer que una cosa explique la otra no vuelve más profunda la historia. La vuelve menos cierta.

II. Una silla para cada persona

En una sala llena podemos comprobar si hay tantas sillas como personas sin contar antes unas y otras. Basta con que cada persona ocupe una silla distinta: nadie de pie, ningún asiento vacío. Esa es la intuición cotidiana de una correspondencia uno a uno.

Emparejemos ahora los enteros positivos 1, 2, 3, 4 con 2, 4, 6, 8. Cada número tiene su pareja par, y cada par positivo encuentra compañero. La regla no deja de funcionar porque nosotros no podamos terminar de aplicarla.

Los pares siguen siendo una parte propia de los enteros positivos. Aun así, los dos conjuntos tienen la misma cardinalidad. Una intuición fiable para las colecciones finitas no se traslada intacta: quitar elementos no tiene por qué reducir esa medida del tamaño.

Las fracciones parecen más difíciles. Entre dos racionales distintos siempre hay otros. ¿Cómo convertir un paisaje tan apretado en una fila donde cada cual reciba un turno señalado con un entero?

Se colocan las fracciones positivas en una cuadrícula, según numerador y denominador, y se recorren sus diagonales. Se saltan repeticiones como 1/2 y 2/4; se incorporan el cero y las fracciones negativas. Cada racional acaba teniendo lugar. Esta diagonal es una ruta por la cuadrícula, no el argumento posterior que mostrará que cierta lista siempre deja algo fuera.

El tamaño común se llama ℵ₀, alef cero: infinito numerable. Enteros, pares positivos y racionales caben en él. Quizá todos los conjuntos infinitos acaben midiendo lo mismo. Ahora tenemos un motivo para preguntarlo, en lugar de dar por supuesta la respuesta.

III. El número que falta

Suponga que alguien le entrega una lista que, según asegura, contiene todos los números reales entre cero y uno. Hay un decimal en cada fila, y las filas llevan los números 1, 2, 3 y así sucesivamente.

No hace falta examinar la lista entera. Lea su diagonal: la primera cifra decimal de la primera fila, la segunda de la segunda, la tercera de la tercera. Cada fila nos da una posición en la que podemos llevarle la contraria.

Construya otro decimal utilizando solo unos y doses. Si la cifra examinada es un uno, escriba un dos; en cualquier otro caso, un uno. El nuevo número difiere de la primera fila en la primera posición, de la segunda en la segunda y de la fila n en la posición n.

Elegir solo unos y doses evita una trampa pequeña pero importante: 0,4999… y 0,5000… representan el mismo número real. Dos escrituras diferentes no siempre indican dos números distintos. Una demostración hermosa también tiene que cuidar esos detalles.

¿En qué fila aparece el número nuevo? En la primera no, porque falla su primera cifra. En la segunda tampoco. Señale cualquier fila: ya hemos preparado una diferencia precisamente para ella.

El recién llegado sigue estando entre cero y uno, pero no figura en la lista. El problema no es que a esta lista particular le falte papel. Cualquier lista numerada por los enteros positivos puede ser derrotada del mismo modo.

Esta es una presentación moderna, en decimales, del argumento de 1891, no una reproducción literal del texto de Cantor. Su demostración de 1874 seguía otro camino. Importa el paso de no conseguir acabar una enumeración a demostrar que tal enumeración completa es imposible.

La inversión que Turing realizará después tiene un aire de familia, pero se refiere a programas y a un supuesto procedimiento universal de decisión, no simplemente a otro decimal ausente. El método viaja. Los objetos, las condiciones y las conclusiones deben precisarse de nuevo.

IV. Siempre se puede construir otro escalón

Llamemos ℵ₀ al tamaño de los naturales y c al de los reales. Sabemos que c es mayor. ¿Podría ser el último infinito?

Cantor ofrece una operación que se puede repetir: reunir todos los subconjuntos de un conjunto. Esa nueva colección es su conjunto potencia. De un grupo de dos personas podemos elegir a nadie, a la primera, a la segunda o a ambas. Cuatro posibilidades.

El conjunto potencia siempre tiene una cardinalidad mayor. Supongamos que a cada elemento le asignamos un subconjunto y pretendemos cubrirlos todos. Reunamos entonces los elementos que no pertenecen al subconjunto que les tocó. Ese nuevo subconjunto no puede quedar asignado a ningún elemento sin producir una contradicción sobre la pertenencia de ese mismo elemento.

Dado un conjunto, hay un tamaño mayor. No nos espera en la cumbre una cardinalidad máxima que cierre el procedimiento.

Los símbolos, sin embargo, pueden engañarnos. ℵ₀, ℵ₁ y ℵ₂ designan cardinalidades infinitas sucesivas. Formar el conjunto potencia no lleva necesariamente al siguiente alef. Dibujar ambas operaciones como una sola escalera introduce, sin avisar, la respuesta a una pregunta difícil.

El infinito se ha vuelto más preciso, no completamente dominado. El logro no nos concede un mirador definitivo por encima de todo. Nos proporciona algo más útil para seguir trabajando: una manera exacta de preguntar qué puede venir después.

V. Entre un escalón y otro

ℵ₁ es la menor cardinalidad infinita mayor que ℵ₀. ¿Es c igual a ℵ₁? Dicho de otro modo: ¿existe algún tamaño estrictamente intermedio entre el infinito numerable y el continuo?

Esa es la hipótesis del continuo. Cantor intentó resolverla durante años. Podemos imaginar el cansancio de volver a empezar, pero un problema difícil no constituye por sí solo una explicación médica de la vida de quien lo estudia.

Hilbert situó la cuestión en el primer puesto de su famosa lista de problemas de 1900. La pregunta no desapareció porque Cantor no lograra cerrarla. Otros matemáticos transformarían después nuestra idea de lo que hacía falta para resolverla.

Gödel obtuvo en 1938 un resultado de consistencia relativa, desarrollado en una monografía de 1940; Cohen aportó el resultado complementario en 1963. Juntos establecen que, si los axiomas habituales de la teoría de conjuntos, ZFC, son consistentes, en ZFC no se puede demostrar ni la hipótesis ni su negación.

En ZFC: esas palabras son indispensables. El resultado no impide que cualquier marco matemático imaginable pueda abordar la cuestión. Nuevos axiomas y distintos modelos pasaron a formar parte de la investigación. Elegirlos también exige razones, no solo preferir una respuesta.

A veces falta un razonamiento que todavía no hemos encontrado. Otras veces las reglas adoptadas no determinan la respuesta. Saber distinguirlo es avanzar. Un problema abierto no tiene por qué probar la insuficiencia de una persona, y mucho menos autorizar su humillación.

VI. Dos escritorios

Kronecker fue un adversario importante. Sus exigencias acerca de los objetos y procedimientos matemáticos admisibles eran mucho más restrictivas. El desacuerdo tenía contenido intelectual real y, al mismo tiempo, transcurría en un mundo donde el poder profesional no estaba repartido por igual.

Pero la trayectoria de Cantor no se reduce a un guardián malicioso y al rechazo de todos los demás. Weierstrass y otros lo apoyaron; trabajó durante décadas en Halle y contribuyó a construir una comunidad matemática. Apoyo, hostilidad, desilusión y enfermedad no obedecen a una sola causa.

También estaba Dedekind. Su correspondencia de 1873 no era la transmisión de descubrimientos de un genio hacia un público pasivo. Dos matemáticos intercambiaban preguntas, pruebas y mejoras. El pensamiento continuaba porque los papeles iban de una mesa a la otra.

En esta historia queda una deuda de reconocimiento. Dedekind dejó constancia de que su demostración y sus mejoras habían entrado en el artículo de Cantor de 1874 sin el debido crédito público. La importancia duradera de Cantor no hace desaparecer ese testimonio.

En 2026, Quanta informó sobre una carta que se creía perdida y que Demian Goos había localizado en Halle en 2025. Fechada el 30 de noviembre de 1873, contiene la demostración de Dedekind de la numerabilidad de los números algebraicos. La noticia reciente, los documentos conservados y las conjeturas sobre motivos no son evidencias intercambiables.

Esto no descubre de pronto que todo hubiera sido robado. Las contribuciones a la no numerabilidad y a los números transfinitos siguen exigiendo un examen particular. Tampoco debe Dedekind existir solo para volver más interesante al personaje de Cantor. Su nombre corresponde al trabajo que hizo.

Alguien que ha recibido un trato injusto puede tratar injustamente a otra persona. Hay que decirlo con claridad. Pero no existe una ley de conservación del daño: haber sido herido no hace inevitable ni excusable herir después.

Comprender una vida cuesta más que defenderla sin límite. Hay que dejar sitio a la obra, al sufrimiento y a la persona cuyo aporte quedó sin reconocimiento suficiente.

VII. Tres límites distintos

Cantor, Gödel, Turing: resulta tentador reunir los nombres. Cada uno hace que una expectativa poderosa de totalidad encuentre un límite riguroso.

Cantor descarta enumerar todos los reales mediante los naturales. Gödel investiga sistemas formales efectivamente axiomatizados y suficientemente potentes para la aritmética. Turing pregunta si un algoritmo universal puede decidir todos los casos de cierto problema. No son tres versiones de un mismo teorema.

Las construcciones diagonales, la codificación y la autorreferencia trazan una conexión intelectual importante. Pero listas, sistemas de prueba y programas son objetos diferentes. La independencia de la hipótesis del continuo no es simplemente el problema de la parada con otro nombre.

Un lector de filosofía puede encontrar aquí una invitación a la modestia: entender una herramienta poderosa y preguntar hasta dónde se aplica su poder. Eso es una lectura de las matemáticas, no una demostración matemática de cualquier conclusión filosófica que deseemos extraer.

Sobre todo, la enfermedad, la persecución y la muerte no deben convertirse en el corolario: quienes descubren límites son destruidos por ellos. Turing sufrió persecución estatal; Cantor padeció enfermedades recurrentes. Sus vidas no son ilustraciones añadidas al margen de unos teoremas.

Los métodos limitados conviven con la necesidad de amigos, descanso, trabajo y cuidados. Convertir el sufrimiento en certificado de profundidad impone otra carga a la persona que decimos recordar.

VIII. Sin cumbre no significa sin camino

Volvamos a la escalera. En cualquier punto podemos preguntar si existe un conjunto mayor. Subir a una altura suficientemente impresionante no hará que la respuesta pase a ser no.

Podemos pensar en otras grandes arquitecturas: el Bien de Platón, el sistema de Hegel. La comparación puede empezar ahí, pero no terminar ahí. Un teorema sobre cardinalidades no refuta directamente las Ideas ni decide hacia dónde se dirige la historia.

El propio Cantor tenía profundas inquietudes religiosas y distinguía lo transfinito matemático de lo absolutamente infinito de la teología. Presentarlo como el hombre que abolió todas las preguntas últimas borraría una parte importante de su pensamiento.

Su obra se parece más a aprender a construir un instrumento de medida mejor que a descubrir que nada es posible. Numerabilidad, no numerabilidad, conjuntos potencia: cada distinción ofrece un lugar más seguro donde apoyar el pie.

No hace falta poseerlo todo antes de trabajar en lo que tenemos delante. Ni dominar la teoría de conjuntos para advertir la transformación: un vago para siempre se ha vuelto algo que las personas pueden discutir, corregir e investigar juntas.

La escalera no tiene un peldaño más alto que todos los demás. Eso no significa que hoy no podamos subir uno. La matemática de Cantor nos deja la primera afirmación; no nos exige aceptar la segunda.

IX. Aquí también cabe una silla

Cantor murió el 6 de enero de 1918, a los setenta y dos años, en un hospital psiquiátrico de Halle. Las recaídas marcaron su vejez y la guerra empeoró las condiciones de vida. Podemos recordarlo sin añadir una voz solemne que anuncie que el infinito acabó cobrándose su razón.

La célebre imagen de Hilbert sobre el paraíso creado por Cantor pertenece a los años posteriores a su muerte. Describe una apertura de las matemáticas, no la vida cotidiana de su creador. El triunfo tardío de una disciplina no puede viajar al pasado para acompañar a un enfermo.

En el puente imaginario de esta serie, Cantor sigue mirando hacia arriba. Su pluma dibuja ℵ₀ y ℵ₁ en el aire. Más allá hay sitio.

No necesita los supuestos ojos de loco de quien ha visto demasiado. Puede ser, simplemente, alguien que se anima al explicar y desea que otra persona lo entienda.

Chéjov se acerca un poco. Hume deja su backgammon. Turing sostiene una hoja de símbolos; nadie le exige reducir su vida a una moraleja final.

Cantor puede seguir o descansar un rato. Habrá alguien dispuesto a escucharlo sin cobrarle otro teorema asombroso como entrada.

Los peldaños no desaparecerán mientras descanse. Tampoco le debe una persona su agotamiento completo al camino que abrió.

Arriba hay más. Aquí también puede haber una silla.