¿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.
Desde el principio del palomar que demuestra la imposibilidad de la compresión universal hasta la entropía de Shannon y el teorema de codificación de fuentes, la desigualdad de Kraft-McMillan, Huffman, codificación aritmética, Sistemas Numéricos Asimétricos (ANS / Zstandard), LZ77, DEFLATE y la transformada de Burrows-Wheeler.
Desde «Reasons and Persons» (1984) de Derek Parfit, la tesis de la dependencia temporal y el esencialismo del origen hasta la paradoja del agotamiento y las cinco soluciones filosóficas en ética climática y edición genética.
Desde el mecanismo de Anticitera, el predictor de mareas de Lord Kelvin y el analizador diferencial de Vannevar Bush hasta los integradores con amplificadores operacionales (Op-Amp), el método bootstrap de Kelvin, el límite de ruido térmico de Johnson-Nyquist y el renacimiento moderno de la computación analógica en memoria (memristores) y fotónica para la IA.
¿Cómo generan números aleatorios las computadoras deterministas y por qué observar solo 624 salidas de Mersenne Twister (MT19937) permite predecir el 100% de sus números futuros y pasados? Guía completa sobre PRNG vs. TRNG, generadores congruenciales lineales (LCG) y el desastre de los 15 planos de IBM RANDU, MT19937, PCG64, Xoshiro256++, el teorema de Yao, CSPRNG (ChaCha20, AES-CTR_DRBG, la puerta trasera Dual_EC_DRBG de la NSA), ruido térmico, min-entropía y el fallo de Debian OpenSSL.
Desde la suma Nim mediante XOR binario y la demostración rigurosa de posiciones ganadoras (N) y perdedoras (P), hasta el valor mínimo excluido (mex), los números de Grundy, el teorema de Sprague-Grundy y la variante Misère.
Desde el problema de la inducción de Hume y la falsabilidad de Karl Popper hasta la tesis de Duhem-Quine, los paradigmas de Thomas Kuhn, los programas de investigación de Imre Lakatos y la crisis de replicación actual.
Exploración exhaustiva de la filosofía de las matemáticas: ¿la infinitud de los primos y el conjunto de Mandelbrot se descubren o se inventan? Platonismo y dilemas de Benacerraf, logicismo y paradoja de Russell, formalismo de Hilbert y teoremas de incompletitud de Gödel, intuicionismo y correspondencia de Curry-Howard, estructuralismo, ficcionalismo y la «irrazonable eficacia» de Wigner.
Desde el primer veto presidencial de George Washington en 1792 hasta el teorema de imposibilidad de Balinski-Young (1982), pasando por las paradojas de Alabama, de la población y de los nuevos estados, y los métodos de divisores (Jefferson/D'Hondt, Adams, Webster/Sainte-Laguë, Huntington-Hill).
Cuando una burbuja microscópica en un líquido es irradiada por ultrasonido, la energía acústica se concentra 10^12 veces para emitir destellos UV de picosegundos. Análisis de la ecuación de Rayleigh-Plesset, fuerzas de Bjerknes, rectificación del argón y Bremsstrahlung térmico.
¿Por qué dos hilos que ejecutan x = 1; r1 = y; e y = 1; r2 = x; pueden producir el resultado matemáticamente imposible r1 == 0 && r2 == 0? Una guía profunda sobre la consistencia secuencial de Lamport, Store Buffers de CPU, coherencia de caché MESI, colas de invalidación, reordenamiento del compilador, el teorema DRF-SC, la relación Happens-Before, sincronización Acquire-Release y barreras de memoria (MFENCE, DMB, LDAR/STLR).
Derivación rigurosa del acoplamiento de marea, el potencial cuadrupolar, los números de Love, la libración lunar (59 % de superficie visible), la recesión lunar y la resonancia espín-órbita 3:2 de Mercurio.
Desde la hipótesis termodinámica de Anfinsen y el paisaje de energía libre hasta la ecuación maestra de nucleación-elongación-fragmentación: cómo los priones (PrP^Sc) proliferan exponencialmente sin ADN ni ARN.
Un tratado físico y biofísico riguroso sobre las pinzas ópticas: desde la presión de radiación de Maxwell y los avances de Arthur Ashkin (1970–1986) hasta las fuerzas de gradiente y dispersión de Rayleigh, la dinámica de Langevin del movimiento browniano, la elasticidad del ADN y los motores moleculares de kinesina.
Desde el descubrimiento de Cantor de la cardinalidad del continuo hasta la construcción rigurosa de las curvas de Peano y Hilbert, demostraciones de convergencia uniforme, sobreyectividad, continuidad 1/2-Hölder y no diferenciabilidad en ningún punto, dimensión topológica vs. Hausdorff y aplicaciones como Google S2 y Hilbert R-Tree.
Un análisis académico exhaustivo de los metamateriales ópticos, el índice de refracción negativo, las superlentes y la óptica de transformación: desde las predicciones de Veselago (1968) y los resonadores de anillo dividido de Pendry hasta los límites de causalidad de Kramers-Kronig y las metasuperficies dieléctricas.
¿Por qué descompilar un binario (.exe o ELF) de vuelta a código C/C++ se compara con «convertir una tortilla de nuevo en huevos crudos»? Exploración técnica del desensamblado por barrido lineal frente a recorrido recursivo, elevación a representación intermedia (IR) y forma SSA, inferencia de tipos mediante retículos, estructuración de flujo de control sin goto (DREAM), ofuscación (OLLVM/VMProtect) y descompiladores neuronales con LLM.
