AMAT

𝑳𝒐𝒔 𝒏𝒖́𝒎𝒆𝒓𝒐𝒔 𝒑𝒓𝒊𝒎𝒐𝒔 𝒔𝒊𝒆𝒎𝒑𝒓𝒆 𝒕𝒖𝒗𝒊𝒆𝒓𝒐𝒏 𝒇𝒂𝒎𝒂 𝒅𝒆 𝒊𝒏𝒅𝒐𝒎𝒂𝒃𝒍𝒆𝒔.

Aparecen entre los enteros con una mezcla extraña de disciplina y capricho: al principio se dejan ver con relativa frecuencia, luego empiezan a espaciarse, a esconderse, a volver cuando quieren. Euclides había demostrado desde la Antigüedad que eran infinitos, pero eso no resolvía la pregunta más inquietante: ¿siguen algún orden reconocible o solo parecen dispersarse sin una regla visible?

Durante mucho tiempo, esa fue una de las obsesiones más elegantes de la matemática.

La historia del Teorema de los números primos no lleva una sola firma. Gauss, siendo muy joven, intuyó que detrás de esa aparente rebeldía había una regularidad profunda. Legendre publicó una de las primeras aproximaciones formales al conteo de primos. Más tarde, Chebyshev añadió rigor donde todavía había conjetura, y Riemann abrió una ruta decisiva al conectar la distribución de los primos con una de las funciones más influyentes de toda la matemática moderna.

La prueba definitiva llegó en 1896, de manera independiente, con Jacques Hadamard y Charles-Jean de la Vallée Poussin. Lo que demostraron cambió por completo la conversación: los números primos no aparecen de manera uniforme. A medida que los números crecen, los primos se vuelven más escasos, pero esa escasez sigue una ley asintótica precisa.

Ese hallazgo fue enorme.

No porque permitiera adivinar el siguiente número primo como quien saca un conejo del sombrero, sino porque logró algo más valioso: entender el comportamiento colectivo de los primos. La aritmética dejó de mirar casos aislados y empezó a reconocer una estructura de fondo. Donde antes había una secuencia áspera, llena de huecos y sobresaltos, apareció una forma de medir su ritmo.

Y ese cambio no se quedó encerrado en una vitrina académica. El teorema se volvió una pieza fundamental para la teoría de números y también forma parte del paisaje matemático que permite entender la abundancia de primos grandes, un punto clave en áreas como la criptografía moderna.

La historia, además, tiene un detalle delicioso: Gauss había visto la silueta del teorema desde muy temprano, pero no la publicó. Riemann encendió una de las antorchas más poderosas del camino, aunque no cerró la demostración. Y décadas después, cuando el teorema ya estaba probado, Erdős y Selberg consiguieron una prueba llamada “elemental”, uno de esos chistes privados de las matemáticas donde la palabra “elemental” suele traer trabajo, no consuelo.

El Teorema de los números primos no volvió dóciles a los primos. Siguen siendo esquivos, orgullosos, difíciles de predecir uno por uno. Lo que hizo fue enseñarnos a mirarlos de otra manera: no como piezas sueltas de un rompecabezas imposible, sino como una multitud que, vista desde la distancia correcta, revela su propia cadencia.

A veces el orden no está en cada paso. Está en el dibujo que aparece cuando dejamos de perseguir excepciones y aprendemos a leer el conjunto.

Valuar un bono no es memorizar una fórmula: es entender qué flujos estás trayendo al presente.

Cuando el precio se calcula en fecha de emisión o justo en una fecha de pago de cupón, el bono puede descomponerse de distintas formas equivalentes:

el valor presente de los cupones pendientes, el valor presente del monto de redención o la diferencia entre venderlo a la par, con premio o con descuento.

La fórmula básica, la fórmula de premio/descuento y la fórmula de Makeham no compiten entre sí. Son tres maneras de leer la misma estructura financiera desde ángulos distintos.

Ahí está el punto fino: el precio cambia según la relación entre la tasa cupón y la tasa de rendimiento exigida por el mercado.

Si la tasa cupón es mayor que el rendimiento, el bono se vende con premio.
Si es menor, se vende con descuento.
Si coinciden, el bono se valúa a la par.

En finanzas actuariales, el precio de un bono no se adivina: se construye flujo por flujo, tasa por tasa, periodo por periodo.

𝑯𝒆𝒍𝒆𝒏𝒂 𝑹𝒂𝒔𝒊𝒐𝒘𝒂
Nació el 20 de junio de 1917 en Viena, pero su vida intelectual quedó marcada por Varsovia: una ciudad capaz de convertir una biblioteca en trinchera y una clase de lógica en acto de resistencia.

Entró a la Universidad de Varsovia en 1938. Un año después, la guerra cerró las aulas oficiales, pero no cerró el pensamiento. Rasiowa siguió estudiando en la universidad clandestina, bajo ocupación n**i, cuando aprender matemáticas podía ser bastante más peligroso que reprobar un examen. Su primera tesis de maestría se perdió durante la destrucción de Varsovia en 1944. Ella sobrevivió con su madre en un sótano, bajo los escombros. La lógica, en su caso, no salió de una torre de marfil: salió de una ciudad rota que todavía exigía precisión.

Su campo fue la lógica algebraica. Conviene decirlo con cuidado: Rasiowa no “inventó” la lógica matemática ni descubrió sola la lógica algebraica. Esa historia venía de muchos nombres antes que ella. Su fuerza estuvo en otra parte: tomó sistemas lógicos —clásicos y no clásicos— y los estudió con herramientas algebraicas, como si cada lógica escondiera una estructura interna esperando ser leída con otra gramática.

Junto con Roman Sikorski, publicó trabajos fundamentales sobre completitud, satisfacibilidad y metamatemática. En 1963, ambos dieron forma a una obra mayor: The Mathematics of Metamathematics. El título parece seco, casi diseñado para espantar turistas intelectuales, pero el golpe era enorme: mostrar que la metamatemática podía tratarse con maquinaria matemática profunda, no solo con símbolos alineados como soldados.

Rasiowa también abrió camino en lógicas no clásicas. En 1974 publicó An Algebraic Approach to Non-Classical Logics, una obra clave para entender cómo se pueden estudiar lógicas intuicionistas, multivaluadas y otros sistemas que no obedecen dócilmente a la lógica clásica. Más tarde llevó ese pensamiento hacia la informática teórica, la lógica de programas, el razonamiento aproximado y el trabajo con información incompleta.

Ese último punto importa más de lo que parece. La vida real rara vez entrega datos limpios, completos y educados. Los sistemas razonan con ruido, vacíos, incertidumbre y aproximaciones. Rasiowa ayudó a construir parte del lenguaje formal para pensar ese territorio sin convertirlo en pura intuición.

También ayudó a fundar y dirigió Fundamenta Informaticae, fue editora de Studia Logica y formó una escuela académica alrededor de lógica, álgebra e informática. No fue solo autora de teoremas: ayudó a construir el lugar donde esos teoremas podían crecer.

Sin Helena Rasiowa, la lógica algebraica no habría desaparecido: venía de una tradición amplia. Pero su ausencia habría debilitado una ruta decisiva: la que conectó sistemas lógicos, estructuras algebraicas, computación y razonamiento bajo información incompleta.

Su historia recuerda algo incómodo y hermoso: pensar con rigor no siempre significa alejarse del mundo. A veces significa atravesar sus ruinas con una idea tan exacta que ni la guerra logra volverla silencio.