Saharon Shelah: El lógico que ha publicado más que nadie

La mayoría de los matemáticos en activo consideran que cien artículos a lo largo de una carrera son una marca de productividad seria. Saharon Shelah ha publicado más de 1 100 artículos revisados por pares desde 1969 —bastante más de mil contribuciones matemáticas distintas de una sola mente, a un ritmo que le ha convertido, según la mayoría de los recuentos, en el matemático vivo más prolífico—. Ese volumen por sí solo sería una curiosidad si el contenido fuera rutinario. No lo es: el trabajo de Shelah resolvió problemas abiertos de hace décadas, creó subcampos enteros de la teoría de conjuntos y encontró repetidamente estructuras inesperadas en territorios que la mayoría de los lógicos habían concluido que eran permanentemente indecidibles.

Hijo de un poeta, atraído por la geometría

Shelah nació el 3 de julio de 1945 en Jerusalén, bajo el Mandato Británico. Su padre, conocido públicamente como el poeta hebreo y activista político cananeo Yonatan Ratosh (nacido Uriel Shelach), le proporcionó un entorno intelectual inusual en el que crecer. Shelah se sintió inicialmente atraído por la física y la biología, pero un curso de geometría de noveno grado cambió su rumbo, y la lectura de An Introduction to Mathematics de Abraham Fraenkel a los quince años lo selló: según sus propias palabras, ya sabía entonces que quería ser matemático. Obtuvo su licenciatura en la Universidad de Tel Aviv en 1964 mientras servía simultáneamente en las Fuerzas de Defensa de Israel hasta 1967, luego completó una maestría y, en 1969, un doctorado en la Universidad Hebrea bajo la supervisión de Michael Oser Rabin, con una tesis sobre teorías estables: la semilla del campo que acabaría transformando.

Resolviendo el problema de Morley

Tras breves estancias posdoctorales en Princeton (1969-70) y la UCLA (1970-71), Shelah regresó permanentemente a la Universidad Hebrea, convirtiéndose en profesor en 1974 y ocupando la cátedra de lógica matemática de la universidad a partir de 1978, puesto que sigue ocupando junto a una cátedra de profesor visitante distinguido en la Universidad Rutgers desde 1986. Su primer logro importante fue resolver el problema de Morley en teoría de modelos —una cuestión sobre cuántos modelos no isomorfos de un tamaño dado puede tener una teoría de primer orden— mediante la construcción de lo que se conoció como teoría de la clasificación (estabilidad), un marco integral para ordenar las teorías matemáticas por su complejidad interna. El libro de 1978 que surgió de este trabajo, Classification Theory and the Number of Non-Isomorphic Models, se convirtió en un texto fundamental de la teoría de modelos moderna.

Forcing propio y los límites del continuo

En teoría de conjuntos, Shelah desarrolló el forcing propio, una técnica para iterar el método de forcing —la herramienta que Paul Cohen había utilizado para probar la independencia de la hipótesis del continuo— de formas que evitan los colapsos técnicos que habían limitado las construcciones iteradas anteriores. El forcing propio se convirtió en una herramienta estándar en todo el campo, utilizada por los teóricos de conjuntos para construir modelos con propiedades delicadamente controladas que los métodos de forcing más simples no podían lograr. Basándose en esto, Shelah creó la teoría PCF (cofinalidades posibles), demostrando que, aunque las cuestiones básicas de la aritmética cardinal, como el valor del continuo, son formalmente indecidibles en los axiomas estándar (ZFC), existen sin embargo otros teoremas profundos y demostrables sobre la exponenciación cardinal: encontrando esencialmente una estructura matemática sólida en una región de la teoría de conjuntos que muchos habían asumido que era pura libertad, sin restricciones por ninguna ley demostrable.

Una larga lista de problemas específicos resueltos

Más allá de estos dos grandes marcos, Shelah tiene un registro impresionante de resolución de problemas abiertos individuales con nombre en la lógica matemática y más allá: demostró que el problema de Whitehead —si todo grupo abeliano con una cierta propiedad de extensión es libre— es independiente de ZFC, lo que significa que no puede ser probado ni refutado a partir de los axiomas estándar de la teoría de conjuntos; construyó un grupo de Jónsson, un grupo no numerable en el que todo subgrupo propio es numerable, resolviendo una vieja cuestión de existencia; dio cotas superiores recursivas primitivas para los números de van der Waerden en combinatoria; extendió el teorema de imposibilidad de Arrow en la teoría de la elección social; y, trabajando con Maryanthe Malliaris a partir de la década de 2010, resolvió un problema abierto de hace cincuenta años sobre el orden de Keisler en la complejidad de las teorías de primer orden, trabajo que le valió a la pareja la Medalla Hausdorff de 2017.

Reconocimiento

Los honores de Shelah siguen de cerca su producción: fue el primer receptor del Premio Erdős en 1977, y pasó a recibir el Premio Rothschild (1982), el Premio Karp (1983), el Premio George Pólya (1992), el Premio Israel (1998), el Premio Bolyai (2000), el Premio Wolf en Matemáticas —uno de los más altos honores del campo a falta de la Medalla Fields o el Premio Abel— en 2001, el Premio EMET (2011), el Premio Leroy P. Steele de la AMS (2013), la Medalla Hausdorff conjuntamente con Malliaris (2017) y el Premio Rolf Schock en Lógica y Filosofía (2018). Ha sido orador en el Congreso Internacional de Matemáticos tres veces, en 1974, 1983 y 1986.

Pérdida personal

La familia de Shelah sufrió el coste directo de la violencia en Oriente Medio: su hermano, Hamman Shelah, juez magistrado, fue asesinado junto con su esposa e hija en la masacre de Ras Burqa de 1985, cuando un soldado egipcio abrió fuego contra turistas israelíes en el Sinaí. Shelah está casado con Yael y tiene tres hijos.

Por qué a Saharon Shelah se le llama genio

El argumento para llamar a Shelah un genio matemático descansa menos en una sola prueba espectacular y más en una combinación inigualable de productividad bruta y alcance conceptual: la teoría de la clasificación por sí sola reorganizó cómo los teóricos de modelos piensan sobre la estructura de las teorías, el forcing propio es ahora una herramienta rutinaria que se enseña a todo estudiante de posgrado de teoría de conjuntos, y la teoría PCF encontró una estructura demostrable dentro de una región de la aritmética cardinal que la mayoría de los lógicos, siguiendo los resultados de independencia de Cohen y Gödel, habían asumido que era esencialmente sin ley: tres contribuciones separadas, cualquiera de las cuales definiría una carrera sólida. Su enorme volumen de publicaciones, más de 1 100 artículos, es en sí mismo lo suficientemente inusual entre los matemáticos en activo como para provocar un debate genuino: algunos colegas lo ven como evidencia de una tasa extraordinaria y sostenida de visión genuina, ya que sus resultados más citados e influyentes abarcan cinco décadas en lugar de agruparse en un solo estallido productivo. El contraargumento honesto es que el trabajo de Shelah es famosamente difícil incluso para que los especialistas lo verifiquen: sus artículos son densos, cargados de notación y a menudo escritos en un estilo comprimido que incluso los teóricos de modelos y de conjuntos experimentados describen como difícil de verificar línea por línea, lo que ocasionalmente ha ralentizado la confianza de la comunidad en algunas de sus pruebas más intrincadas hasta que la verificación independiente se pone al día. Su producción también ha variado, inevitablemente, en profundidad: no cada uno de los 1 100 artículos tiene el peso del trabajo de la teoría de la clasificación o PCF, y una parte de su corpus consiste en refinamientos técnicos y aplicaciones de marcos que ya había construido en lugar de saltos conceptuales totalmente nuevos. Nunca ha ganado una Medalla Fields (una función en parte del límite de edad de menos de 40 años de la medalla, que ya había superado cuando llegaron sus principales resultados) o un Premio Abel, dejando los laureles matemáticos más altos de la profesión justo fuera de su alcance a pesar del reconocimiento del Premio Wolf.

Legado

Shelah sigue siendo, a sus ochenta años, un matemático en activo en la Universidad Hebrea y Rutgers, publicando todavía a un ritmo que pocos en la historia del campo han igualado. La teoría de la clasificación y la teoría PCF son ahora accesorios permanentes de los planes de estudio de la teoría de modelos y la teoría de conjuntos, y generaciones de lógicos han construido carreras extendiendo marcos que él originó: un cuerpo de trabajo cuya escala puede llevar al campo décadas más para absorber y evaluar completamente.