Desde el mapa del cólera de Londres del Dr. John Snow (1854) hasta las redes 5G y la generación de mallas por elementos finitos: análisis matemático riguroso de los diagramas de Voronoi, prueba de complejidad lineal mediante la fórmula de Euler, teoremas de dualidad de Delaunay, levantamiento al paraboloide 3D, algoritmo de barrido de Steven Fortune en O(n log n) y relajación de Lloyd para teselaciones de Voronoi centroidales (CVT).
Análisis matemático detallado del algoritmo Shazam de Avery Wang (transformada de Fourier de tiempo corto STFT, principio de incertidumbre de Gabor-Heisenberg, Constellation Map de máximos locales, hashing combinatorio de 32 bits e histograma de desfase temporal) junto con el problema de la fiesta de cóctel y el Análisis de Componentes Independientes (blanqueamiento PCA, no gaussianidad, curtosis, negentropía y FastICA).
Un análisis arquitectónico y matemático profundo de la sincronización no bloqueante: por qué fallan los mutex en sistemas de latencia ultrabaja, la jerarquía de números de consenso de Maurice Herlihy (CAS vs. LL/SC), la corrupción de memoria del problema ABA en la pila de Treiber y la recuperación segura de memoria mediante Hazard Pointers, EBR y RCU.
Desde san Atanasio en el Nilo y la sentencia del Tribunal Supremo de EE. UU. Bronston v. United States, analizamos la definición formal de la mentira en lógica doxástica, las mentiras descaradas (bald-faced lies), el Principio de Cooperación y las implicaturas conversacionales de H. Paul Grice, el modelo bayesiano RSA del paltering, el rigorismo de Kant frente a su propio equívoco estratégico ante el rey Federico Guillermo II, la crítica ética de Jennifer Saul y On Bullshit de Harry Frankfurt en la era de las alucinaciones de los LLM.
Un análisis termodinámico y tribológico riguroso sobre por qué resbala el hielo: refutación de la hipótesis de fusión por presión mediante la ecuación de Clausius-Clapeyron, el experimento de regelación de Faraday, la capa cuasi-líquida (QLL), el calentamiento friccional de Bowden-Hughes y la reología viscoelástica moderna.
Un análisis físico y matemático riguroso de la tribología: resolución de la paradoja de Amontons-Coulomb mediante el área real de contacto (Bowden-Tabor y Greenwood-Williamson), leyes de fricción de velocidad y estado de Dieterich-Ruina desde el violín hasta los terremotos, refutación de la fusión por presión del hielo con la ecuación de Clausius-Clapeyron y superlubricidad estructural.
Un tratado físico exhaustivo sobre el efecto Leidenfrost: desde la obra de Johann Gottlob Leidenfrost de 1756 y la curva de ebullición de Shiro Nukiyama (1934) hasta el flujo crítico de calor de Zuber (CHF), la teoría de lubricación de Biance-Clanet-Quéré, los vórtices termocapilares de Marangoni, las oscilaciones estelares de Rayleigh-Lamb, los trinquetes autopropulsados de Linke y el enfriamiento de emergencia de reactores nucleares (LOCA).
Un estudio filosófico exhaustivo sobre la paradoja de la ficción de Colin Radford (la tríada inconsistente entre respuesta emocional, creencia existencial y no-creencia), el cognitivismo de las emociones, la suspensión voluntaria de la incredulidad de Coleridge, la teoría del hacer-creer (Make-Believe) y el cuasi-miedo de Kendall Walton, la teoría del pensamiento (Thought Theory), la paradoja de la tragedia, la resistencia imaginativa y la ontología artefactual de las entidades ficticias.
Desde el experimento de de Mairan con la planta Mimosa pudica (1729) y el bucle de retroalimentación transcripción-traducción (CLOCK:BMAL1 y PER:CRY, Premio Nobel 2017), hasta la bifurcación de Hopf del oscilador de Goodwin-Goldbeter, el reloj proteico KaiABC de las cianobacterias en tubo de ensayo y el misterio biofísico de la compensación de temperatura (Q10 ≈ 1,0).
Desde la máxima de Dijkstra y el teorema de Rice hasta la lógica de Floyd-Hoare, los solucionadores SMT Z3, el Model Checking temporal (TLA+), el desastre del cohete Ariane 5, la interpretación abstracta (conexiones de Galois) y los asistentes de pruebas (Coq, Lean 4, CompCert, seL4).
Cada esquina individual del triángulo de Penrose y de la escalera infinita de M.C. Escher es físicamente válida, pero al unirlas en un bucle cerrado el espacio tridimensional colapsa. Exploramos cómo la proyección en perspectiva borra la profundidad, cómo Sir Roger Penrose formuló las figuras imposibles mediante la teoría de haces y la cohomología de Čech, y cómo las esculturas de Kokichi Sugihara y la contextualidad cuántica comparten esta misma arquitectura.
¿Por qué una piscina de almidón de maíz y agua (Oobleck) se solidifica como el hormigón bajo los pies de un corredor pero se licúa como arenas movedizas al detenerse? Exploramos la ley de viscosidad de Newton, el modelo de Herschel-Bulkley, hidroclusters, cadenas de fuerza friccionales, frentes de solidificación, reología sanguínea, el efecto Weissenberg, el número de Deborah y el blindaje líquido.
Frente a la Caja Transparente A ($1.000) y la Caja Opaca B ($1.000.000 o $0) preparadas por un Predictor Omega con un 99% de precisión, ¿debe un agente racional tomar una sola caja (One-Boxing) o ambas cajas (Two-Boxing)? Un tratado matemático y filosófico exhaustivo sobre la Teoría de la Decisión Evidencial (EDT), la Teoría de la Decisión Causal (CDT), el cálculo do de Judea Pearl, la Lesión del Fumador, la predestinación calvinista en Max Weber, la Tickle Defense de Ellery Eells, el isomorfismo del Dilema del Prisionero Gemelo de David Lewis y la Teoría de la Decisión Funcional (FDT).
Análisis matemático profundo de la Computación Multiparte Segura (MPC): desde la compartición aditiva de secretos y el problema de los millonarios de Andrew Yao hasta el esquema de umbral (t, n) de Shamir mediante interpolación de Lagrange, tripletas de Beaver, transferencia inconsciente (OT), circuitos garbled y aplicaciones reales.
Desde el artículo histórico de Rudolf Kálmán en 1960 y el ordenador de 2 KB del Apolo 11 hasta el producto de dos gaussianas, la deducción matricial de la ganancia óptima de Kalman, la forma estabilizada de Joseph, el principio de separación LQG, EKF/UKF/SLAM y una simulación 2D en Python.
Reconstrucción matemática y filosófica exhaustiva del problema de la Bella Durmiente: la demostración de 1/3 de Adam Elga sobre mundos posibles centrados, la defensa de 1/2 de David Lewis y el salto a 2/3 del lunes, el libro holandés diacrónico de Hitchcock y la cosmología antrópica de Nick Bostrom (SSA vs. SIA).
Análisis matemático riguroso de la falacia de la martingala clásica, el problema de la ruina del jugador de Huygens y Pascal mediante ecuaciones en diferencias, y la teoría moderna de martingalas y el teorema de parada opcional de Paul Lévy y Joseph Leo Doob.
¿Es la probabilidad de que una cuerda aleatoria de un círculo unitario supere el lado de un triángulo equilátero inscrito igual a 1/3, 1/2 o 1/4? Desde la paradoja de Joseph Bertrand (1889) hasta el colapso del principio de indiferencia de Laplace y la paradoja del vino y el agua de Keynes, exploramos los axiomas de Kolmogórov, la invariancia de grupos de transformación de Jaynes (medida cinemática de Poincaré-Santaló) y la distribución a priori de Jeffreys.
Desde los milagros cotidianos del teorema del punto fijo de Brouwer (1911) —la molécula de café inmóvil y el mapa arrugado— hasta contraejemplos precisos, tres demostraciones clásicas (teorema del valor intermedio, no retracción de Borsuk mediante homología y teorema de Stokes, lema de Sperner) y la gran jerarquía de Banach, Schauder y Kakutani que sustenta el equilibrio de Nash (1950) y el equilibrio general de Arrow-Debreu (1954).
Un análisis matemático riguroso del problema gravitatorio de los tres cuerpos: desde la integrabilidad exacta del problema de los dos cuerpos de Newton y el conteo de grados de libertad en el espacio de fases, hasta los cinco puntos de Lagrange (L1–L5, el telescopio James Webb y los asteroides troyanos), el error histórico de Henri Poincaré en 1889 que dio origen a la teoría del caos, la órbita coreográfica en forma de ocho, el teorema KAM y el tiempo de Lyapunov de 5 millones de años del Sistema Solar.
