Ciencias

Hasta el infinito y más allá

Georg Cantor. Foto: DP.
Georg Cantor. Foto: DP.

Cuando el guardián del espacio Buzz Lightyear soltó en la primera entrega de Toy Story (1995) su ya legendario grito de guerra: «¡Hasta el infinito y más allá!» —«To infinity and beyond!», en el inglés original— ni siquiera los habilidosos guionistas de Pixar podían imaginar que la sentencia tenía visos de convertirse en el lema de una generación que, por primera vez, asumía como propias las teorías de Umberto Eco en Apocalípticos e integrados. Una película de animación contemporánea se había convertido en un clásico en vida, la integración ya era total, Flash Gordon y Homero habitaban en el mismo plano.

La frase, que para algún espectador incauto podría parecer un simple juego de palabras, paradójicamente retrata de un plumazo una de las hazañas superlativas del último siglo y medio de la historia de la ciencia. Porque muchos años antes de que Buzz volviese de su hipersueño para aterrizar en el cuarto de Andy, hubo alguien que, efectivamente, se atrevió a viajar hasta el infinito, pasar de largo y seguir su camino hasta la siguiente escala transfinita.

En el azaroso final del siglo XIX, un alemán de origen ruso llamado Georg Cantor —San Petersburgo, 1845-Halle, 1918— se levantó un día en clase, es un decir, y tuvo las agallas y el cerebro, claro, de decirle al profesor en su mismísima cara, que Aristóteles estaba equivocado. Que hacía veinticinco siglos que la ciencia estaba equivocada. Porque él, Georg Ferdinand Ludwig Philipp Cantor, estaba en condiciones de probar que el infinito matemático no era una simple forma de hablar, ni un ente difuso y borroso que se alojaba en algún remoto lugar de la geometría del plano complejo, sino que era tan real como las matemáticas mismas y que él lo había tocado con sus propias manos, otro decir.

La manera que tuvo Cantor de ponerse en pie en clase, subirse encima del pupitre y cantar su verdad al inflexible maestro, fue escribir un trabajo demoledor, por su demoledora belleza y porque dinamitaba algunos de los sacrosantos pilares de la ciencia oficial de su tiempo: Fundamentos para una teoría general de conjuntos. Una investigación matemático-filosófica sobre la teoría del infinito (1883), texto conocido como Grundlagen por su título original en alemán.

En Grundlagen suelta así su carga de profundidad:

Me he visto lógicamente obligado casi contra mi voluntad, por ir contra las tradiciones tenidas como válidas por mí en el curso de muchos años de esfuerzos y ensayos científicos, a considerar las magnitudes infinitas no sólo en la forma de ilimitadamente crecientes, y en la forma estrechamente ligada a ello de series infinitas convergentes, que se introdujo por primera vez en el siglo XVII, sino también a fijarlo mediante números en forma de infinito matemático perfecto, y por eso tampoco creo que a ello se puedan oponer razones válidas contra las que yo no pudiera combatir.

Cantor va literalmente más allá y demuestra que no hay un único infinito, sino múltiples infinitos, y hasta se atreve a medir la diferencia entre sus tamaños; por ejemplo, entre el cardinal del conjunto de los números enteros y el cardinal del conjunto de los puntos que forman la recta real, cuya comparación le llevará a establecer su famosa Hipótesis del Continuo.

Fotografía: Aldo Cavini Benedetti (CC)
Fotografía: Aldo Cavini Benedetti (CC)

Para nombrar estos cardinales elige la primera letra del alfabeto hebreo, א, aleph, la misma que escogerá Jorge Luis Borges —fascinado por la teoría de los números transfinitos de Cantor, como le confesó a María Esther Vázquez en el curso de una entrevista en 1973 entre los anaqueles de la Biblioteca Nacional de Argentina—, para bautizar una inquietante esfera en la que se resumía el universo entero y que uno de sus personajes encuentra en el sótano de una casa de la calle Garay, en Buenos Aires, dónde si no:

Dos observaciones quiero agregar: una, sobre la naturaleza del Aleph; otra, sobre su nombre. Este, como es sabido, es el de la primera letra del alfabeto de la lengua sagrada. Su aplicación al círculo de mi historia no parece casual. Para la Cábala, esa letra significa el En Soph, la ilimitada y pura divinidad; también se dijo que tiene la forma de un hombre que señala el cielo y la tierra, para indicar que el mundo inferior es el espejo y es el mapa del superior; para la Mengenlehre, es el símbolo de los números transfinitos, en los que el todo no es mayor que alguna de las partes. ¿Eligió Carlos Argentino ese nombre, o lo leyó, aplicado a otro punto donde convergen todos los puntos, en alguno de los textos innumerables que el Aleph de su casa le reveló?

La Mengenlehre es la teoría de conjuntos, a la que Georg Cantor hizo una contribución decisiva, tanto al ampliar el terreno de juego a los números transfinitos, como al desarrollar significativamente el estudio de la naturaleza misma de los conjuntos para poder avanzar en sus investigaciones sobre el infinito.

Acorralado por la ortodoxia universitaria de su tiempo, liderada por su antiguo profesor, el temible Leopoldo Kronecker, por ciertos filósofos y representantes de la religión oficial —llegó a escribir una carta pidiendo su intercesión al papa León XIII, autor de una reformadora encíclica sobre la conciliación entre investigación científica y fe—, arrumbado en las aulas de una universidad de segunda fila, Georg Cantor acabó —o tal vez empezó—, sufriendo un síndrome maníaco-depresivo, encerrado durante meses en su cuarto, a solas consigo mismo y sus conjeturas, y tratando, entre otros asuntos, de demostrar que Francis Bacon era en realidad el autor de las obras de Shakespeare.

De hecho, su indagación en estas arenas movedizas, en un punto donde las fronteras entre ciencia, filosofía y teología se cruzan una y otra vez, le generó no pocos problemas de conciencia, por lo que era habitual que tanto en sus trabajos como en su correspondencia invocase a Dios para subrayar que con su obra no pretendía en ningún momento ser blasfemo ni ofender a los creyentes, sino simplemente profundizar en el conocimiento de los objetos matemáticos. Por eso, como recuerda José Ferreirós, ya el 5 de noviembre de 1882 le escribe a uno de sus más fieles apoyos, el matemático Dedekind:

Precisamente desde nuestros últimos encuentros en Harzburg y Eisenach, Dios Todopoderoso me ha concedido alcanzar las aclaraciones más notables e inesperadas en la teoría de conjuntos y la teoría de números, o, más bien, que encontrara aquello que ha fermentado en mí durante años y que he estado buscando tanto tiempo.

Georg Cantor se apagó en la Nervenklinik de la Universidad de Halle el 6 de enero de 1918, mientras Europa jugaba una vez más a la autodestrucción en esa Gran Guerra que anticipaba ya una Segunda Guerra Mundial y quién sabe qué otras hecatombes.

Fotografía: Reinhard (CC)
Fotografía: Reinhard (CC)

Pero antes de desvanecerse, Cantor nos había regalado su teoría de conjuntos, había forjado los números transfinitos y había prometido, muy al estilo de Fermat, una demostración de su Hipótesis del Continuo que ya jamás escribió. Difícilmente podría haberlo hecho porque, aunque Kurt Gödel, otro gigante incomprendido, dedujo en 1939 que la Hipótesis del Continuo era compatible con el sistema de axiomas que se utiliza habitualmente en matemáticas, Paul Cohen probó en 1963 que la hipótesis de Cantor es en realidad independiente de ese sistema de axiomas, llamado de Zermelo-Fraenkel. Pero hasta entonces —como sucedió con ese último teorema que Fermat no demostró porque dijo que no tenía espacio para detallar la prueba en los márgenes de la Aritmética de Diofanto que estaba anotando— todos los matemáticos soñaron con probar la Hipótesis del Continuo.

Porque, pase lo que pase, como dijo en 1925 nada menos que David Hilbert:

Nadie nos expulsará del paraíso que Cantor ha creado para nosotros.

SUSCRIPCIÓN MENSUAL

5mes
Ayudas a mantener Jot Down independiente
Acceso gratuito a libros y revistas en PDF
Descarga los artículos en PDF
Guarda tus artículos favoritos
Navegación rápida y sin publicidad
 
 

SUSCRIPCIÓN ANUAL

35año
Ayudas a mantener Jot Down independiente
Acceso gratuito a libros y revistas en PDF
Descarga los artículos en PDF
Guarda tus artículos favoritos
Navegación rápida y sin publicidad
 
 

SUSCRIPCIÓN ANUAL + FILMIN

85año
Ayudas a mantener Jot Down independiente
1 AÑO DE FILMIN
Acceso gratuito a libros y revistas en PDF
Descarga los artículos en PDF
Guarda tus artículos favoritos
Navegación rápida y sin publicidad
 

8 Comentarios

  1. No he entendido absolutamente nada

  2. Normal, porque es probablemente el peor artículo sobre «matemáticas» que vas a leer en tu vida. Las comillas las pongo porque el artículo no es más que un mero soporte para que el autor demuestre lo muuuuuucho que sabe sobre Borges, Bacon, Aristóteles y Eco.

    En cambio, de matemáticas, ni idea. Y salta a la vista en neón parpadeante:

    * Cantor no «descubrió» que había varios tipos de infinitos. Lo que descubrió es que el infinito que se usaba en análisis y el que se usaba en geometría (que ya por entonces eran conceptos bien diferenciados) no era extrapolable al infinito de la teoría de conjuntos.

    * Cantor no «inventó» una teoría de conjuntos. Cantor inventó una teoría de cardinales, y realizó una hipótesis sobre cómo se comportan los cardinales infinitos. Más tarde, la teoría de conjuntos fue formalizada por Zemelo y Fränkel, usando por supuesto esos cardinales, pero eso nunca constituyó la base del asunto (porque, bueno, los cardinales son una construcción *encima* de la teoría de conjuntos; realmente no se mezclaron bien las dos cosas hasta NBG y los cardinales de von Neuman).

    * Llamar a Gödel «incomprendido» es pisotear alegremente la historia de las matemáticas y del programa de Hilbert. La posibilidad de que las matemáticas fuesen indemostrables dentro de su propia axiomática siempre estuvo encima de la mesa – sólo que la mayoría de los lógicos apostaron por lo contrario en sus investigaciones. Gödel, exactamente igual que Cantor, demostraron que la intuición humana era un bonito carajote… y no pasa nada. Al contrario que en la física, los matemáticos no discutimos resultados: a menos que una demostración sea incorrecta, y eso es algo relativamente fácil de comprobar, un resultado que se demuestra se asume como cierto y punto.

    Pero claro, si decimos eso, el pobre señor Pousa se queda sin artículo, porque ya no hay genios incomprendidos y sabihondos inquisitoriales, sino gente más bien «normalita» y sobre todo, profesional. Apasionada, sí, pero profesional.

  3. Totalmente de acuerdo con el comentario anterior. Eco, Borges, Godel, metidos con calzador sin explicar la relación real con la teoría Cantoriana, que ni se explica, obviando su papel real en la historia de la lógica, del infinito, de los números transfinitos etc. Un artículo superficial, que falla en su intención divulgativa pues apenas es una relación aleatoria y difusa de nombres.

  4. Estimados Adrián y Sim:
    Tomo nota de vuestras constructivas y didácticas observaciones y paso a comentarlas con mi director de tesis.
    Gracias por leerme y por tomaros la molestia de enviar los comentarios.
    Un saludo cordial,
    Luís

  5. Luis, ¿qué te dijo tu profesor de tesis de estos comentarios?
    Por cierto, muy valiente por tu parte publicarlos, porque del mismo modo que ellos critican tu aparente desconocimiento sobre la materia (el mío es mayor aún), se encargan con evidente interés de poner de manifiesto su profundo conocimiento sobre la misma.
    Incluso convendría plantearse un subdirector de tesis entre los allí firmantes…. ;)
    Un saludo

  6. Pingback: Cuesta abajo y sin frenos… – Donde las eLes encuentran su nombre

  7. José Luis

    Yo buscando la procedencia de la frase «hasta el infinito y más allá» me encuentro esto en el móvil. Esa gente perdió mucho tiempo con la matemática para acabar preguntándose más por el razonamiento humano.
    Todavía no sé si procede de la película «Toy story» o de la canción de loquillo «feo, fuerte y formal».

  8. Pingback: Falacias - Jot Down Cultural Magazine

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

*


Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.