Cuando una cantidad primitiva no puede observarse directamente y solo se conoce su suma acumulada sobre divisores o subconjuntos, ¿cómo despejar sistemáticamente las contribuciones contadas varias veces? Guía exhaustiva sobre la función de Möbius, la convolución de Dirichlet, la función zeta de Riemann, aplicaciones clásicas y la gran unificación de Gian-Carlo Rota mediante conjuntos parcialmente ordenados (posets) y álgebras de incidencia.
Desmontando el mito escolar de la 'difusión por concentración de agua', derivación rigurosa de la ley de van 't Hoff a partir del potencial químico y la entropía de mezcla, análisis de las acuaporinas, la ecuación de Starling, el modelo de solución-difusión y la energía mínima termodinámica de la ósmosis inversa (RO).
Una investigación filosófica y matemática sobre la akrasia (debilidad de la voluntad): del intelectualismo socrático en el Protágoras, el alma tripartita de Platón y el silogismo práctico de Aristóteles a los juicios condicionales de Donald Davidson, las resoluciones de Richard Holton, el descuento hiperbólico V(D)=A/(1+kD) de George Ainslie y el precompromiso de Ulises en Jon Elster.
Análisis matemático del problema isoperimétrico: la piel de buey de la reina Dido, la desigualdad isoperimétrica plana 4πA ≤ L², la simetrización de Steiner, la crítica de Weierstrass y la paradoja de Perron, la demostración por series de Fourier de Hurwitz, las pompas de jabón 3D y la desigualdad de Faber-Krahn.
Exploración matemática del modelo de la urna de Pólya: intercambiabilidad, distribución Beta-Binomial, teorema de convergencia de martingalas de Doob hacia Beta(r,b), contraste con la Ley Fuerte de los Grandes Números, teorema de de Finetti, dependencia del camino de W. Brian Arthur, conexión preferencial y procesos de Dirichlet.
Una solución acuosa homogénea pulsa espontáneamente decenas de veces entre el rojo ladrillo y el azul brillante como un metrónomo molecular, y dibuja ondas espirales rotatorias en una placa de Petri. Desde el descubrimiento rechazado de Boris Belousov en 1951 y las estructuras disipativas de Ilya Prigogine hasta el mecanismo FKN, el Oregonator, la bifurcación de Hopf, la fibrilación cardíaca y los hidrogeles autónomos.
Guía rigurosa de física del estado sólido sobre termoelectricidad: unificación de los efectos Seebeck, Peltier y Thomson mediante las relaciones recíprocas de Onsager, derivación de la figura de mérito ZT y la eficiencia máxima, análisis del compromiso S-σ-κ (relación de Pisarenko y ley de Wiedemann-Franz), ingeniería de fonones (PGEC, nanoestructuración, SnSe) y generadores espaciales RTG.
Mientras la criptografía cifra el contenido de un mensaje, la esteganografía oculta la existencia misma de la comunicación. Análisis exhaustivo del problema de los prisioneros de Simmons, la divergencia KL de Cachin, inserción LSB espacial, estegoanálisis chi-cuadrado, DCT en JPEG con codificación matricial F5, la ley de la raíz cuadrada y las marcas de agua digitales.
Una exploración filosófica y física de la naturaleza del tiempo: de las Confesiones de San Agustín y «La irrealidad del tiempo» de J.M.E. McTaggart (serie A vs. serie B) a los cuatro modelos ontológicos (presentismo, eternalismo, bloque creciente, foco móvil), la relatividad especial de Einstein, la paradoja de Andrómeda, la fenomenología de Husserl y la flecha termodinámica de Boltzmann.
¿Pueden las corporaciones, los Estados o los sistemas algorítmicos poseer verdaderas intenciones y asumir responsabilidad moral? Un análisis exhaustivo del individualismo metodológico, las teorías de la intención compartida (Searle, Bratman, Gilbert), el dilema discursivo (List y Pettit), la estructura CID de Peter French, el «problema de las muchas manos» y las «zonas de deformación moral» en la era de la IA.
Un tratado arquitectónico riguroso sobre la seguridad basada en capacidades (Capability-Based Security): corte por columnas (ACL) frente a corte por filas (Capacidades) de la matriz de control de acceso de Butler Lampson, el problema del diputado confundido de Norm Hardy (1988), el modelo Object-Capability (OCap) de Mark S. Miller, atenuación mediante facetas, revocación con el Caretaker de Redell y Membranas, e implementaciones modernas en seL4, FreeBSD Capsicum, CHERI/Morello y WASI.
Análisis matemático del problema de los 100 prisioneros (Miltersen 2003): descomposición en ciclos disjuntos del grupo simétrico, conteo de ciclos largos 1/ℓ, números armónicos, límite 1 - ln 2 ≈ 31,18 % y acoplamiento de riesgos sin comunicación.
Si cuando existimos la muerte no está presente, y cuando la muerte está presente ya no existimos, ¿por qué tememos tanto morir? Una exploración rigurosa de la metafísica y la ética analítica de la muerte, desde el argumento de la no-experiencia de Epicuro y la asimetría de Lucrecio hasta la teoría de la privación de Thomas Nagel, el sesgo hacia el futuro de Derek Parfit y el tedio de la inmortalidad de Bernard Williams.
¿Por qué un ferrofluido negro se eriza formando un patrón geométrico de espinas al acercar un imán? Análisis físico profundo de la barrera de Curie, el superparamagnetismo de Langevin, la estabilidad coloidal DLVO y la relación de dispersión de Cowley-Rosensweig.
¿Por qué el PC más rápido no puede pilotar un avión comercial? Análisis matemático de los RTOS, funciones de utilidad temporal (Hard/Firm/Soft), tiempo de ejecución en el peor caso (WCET), teoremas de Liu y Layland (1973) para RMS (ln 2 ≈ 69,3 %) y EDF (100 %), y el incidente del Mars Pathfinder de la NASA (1997) resuelto mediante protocolos de herencia y techo de prioridad (PIP/PCP).
Desde los chispazos invernales en el pomo de la puerta y los relámpagos volcánicos hasta las mascarillas N95 de electreto y los nanogeneradores triboeléctricos (TENG). Explore el misterio de 2.600 años de la electrificación por contacto mediante el modelo de nubes electrónicas superpuestas (OEC), transferencia de iones, mecanocímica y la ley de Paschen.
¿Cómo pueden consolas diseñadas con chips LSI a medida como NES, SNES, PlayStation 2 y GameCube ejecutarse con exactitud de bits en procesadores x86-64 y ARM64 modernos? Desde la Máquina Universal de Turing hasta las penalizaciones de predicción de saltos, traducción binaria dinámica JIT (Dynarec) con eliminación de banderas muertas, trampas MMU Fastmem y sincronización de corrutinas con precisión de ciclo.
Tratado matemático y de sistemas sobre los interbloqueos: la cena de los filósofos de Dijkstra, las cuatro condiciones de Coffman (1971), los teoremas de ciclos del grafo de asignación de recursos (RAG), la demostración del orden total de cerrojos, traza matricial 5×3 del algoritmo del banquero, grafos de espera (WFG) en SGBD, Wait-Die vs. Wound-Wait, el algoritmo del avestruz y Livelock vs. Inanición.
¿Por qué el porcentaje de escaños en un parlamento o de acciones en una junta directiva no equivale al poder real de decisión? Análisis matemático de los juegos de votación ponderada, los índices de Banzhaf y Shapley-Shubik, funciones generatrices, el Consejo de Seguridad de la ONU y las paradojas del poder.
Un tratado riguroso sobre la piezoelectricidad: desde el descubrimiento de los hermanos Curie (1880) y la relación termodinámica de Lippmann hasta el principio de Neumann, los 32 grupos puntuales cristalográficos, el cuarzo alfa, las cerámicas PZT, el circuito equivalente de Butterworth-Van Dyke (BVD), la ecografía médica y los microscopios STM/AFM.
