Do artigo histórico de Rudolf Kálmán em 1960 e o computador de 2 KB da Apollo 11 ao produto de duas gaussianas, dedução matricial do ganho ótimo de Kalman, forma estabilizada de Joseph, princípio da separação LQG, EKF/UKF/SLAM e uma simulação 2D em Python.
Do mapa de cólera de Londres do Dr. John Snow (1854) às redes 5G e geração de malhas por elementos finitos: análise matemática rigorosa dos diagramas de Voronoi, prova de complexidade linear pela fórmula de Euler, teoremas de dualidade de Delaunay, levantamento ao paraboloide 3D, algoritmo de varredura de Steven Fortune em O(n log n) e relaxamento de Lloyd para tesselagens de Voronoi centroidais (CVT).
Uma análise arquitetural e matemática profunda da sincronização não bloqueante: por que mutexes falham em sistemas de latência ultrabaixa, a Hierarquia de Números de Consenso de Maurice Herlihy (CAS vs. LL/SC), a corrupção de memória do Problema ABA na Pilha de Treiber e a recuperação segura de memória via Hazard Pointers, EBR e RCU.
Uma análise matemática profunda do algoritmo Shazam de Avery Wang (Transformada de Fourier de Tempo Curto STFT, princípio da incerteza de Gabor-Heisenberg, Constellation Map de máximos locais, hashing combinatório de 32 bits e histograma de deslocamento temporal) e do Problema do Coquetel com Análise de Componentes Independentes (branqueamento PCA, não-gaussianidade, curtose, negentropia e FastICA).
Uma análise matemática profunda da Computação Multipartidária Segura (MPC): do compartilhamento aditivo de segredos e do Problema dos Milionários de Andrew Yao ao esquema de limiar (t, n) de Shamir via interpolação de Lagrange, triplas de Beaver, transferência inconsciente (OT), circuitos garbled e aplicações reais.
Diante da Caixa Transparente A (US$ 1.000) e da Caixa Opaca B (US$ 1.000.000 ou US$ 0) preparadas por um Previsor Ômega com 99% de precisão, um agente racional deve pegar apenas uma caixa (One-Boxing) ou ambas as caixas (Two-Boxing)? Um tratado matemático e filosófico completo sobre a Teoria da Decisão Evidencial (EDT), a Teoria da Decisão Causal (CDT), o cálculo-do de Judea Pearl, a Lesão do Fumante, a predestinação calvinista em Max Weber, a Tickle Defense de Ellery Eells, o isomorfismo do Dilema do Prisioneiro Gêmeo de David Lewis e a Teoria da Decisão Funcional (FDT).
Uma análise matemática rigorosa da armadilha do sistema Martingale, do problema da ruína do jogador de Huygens e Pascal via equações de diferenças finitas, e da teoria moderna dos martingales e do teorema da parada opcional de Paul Lévy e Joseph Leo Doob.
A probabilidade de uma corda escolhida ao acaso em um círculo unitário ser maior que o lado do triângulo equilátero inscrito é 1/3, 1/2 ou 1/4? Do paradoxo de Joseph Bertrand (1889) ao colapso do princípio da indiferença de Laplace e ao paradoxo do vinho e da água de Keynes, exploramos os axiomas de Kolmogorov, a invariância de grupos de transformação de Jaynes (medida cinemática de Poincaré-Santaló) e a distribuição a priori de Jeffreys.
Por que a água líquida pura pode permanecer líquida até quase -40 °C? Uma análise termodinâmica e cinética rigorosa do estado metaestável, da Teoria Clássica da Nucleação (CNT), do raio crítico, do fator de molhamento de Turnbull, do crescimento dendrítico induzido por choque, do superaquecimento e da vitrificação.
Uma análise física e matemática rigorosa da tribologia: resolução do paradoxo de Amontons-Coulomb pela área real de contato (Bowden-Tabor e Greenwood-Williamson), leis de atrito de taxa e estado de Dieterich-Ruina do violino aos terremotos, refutação da fusão por pressão do gelo via equação de Clausius-Clapeyron e superlubricidade estrutural.
Uma análise matemática rigorosa do Problema dos Três Corpos: da integrabilidade exata do Problema de Dois Corpos de Newton e contagem de graus de liberdade no espaço de fases aos cinco pontos de Lagrange (L1–L5, telescópio James Webb e asteroides troianos), o erro histórico de Henri Poincaré em 1889 que gerou a teoria do caos, a coreografia em forma de oito, o teorema KAM e o tempo de Lyapunov de 5 milhões de anos do Sistema Solar.
Uma análise matemática e física completa das bolhas de sabão e espumas: da termodinâmica da tensão superficial e da equação de Young-Laplace às superfícies mínimas, amadurecimento de Ostwald, surfactante pulmonar DPPC, leis de Plateau (120° e 109,47°), estrutura de Weaire-Phelan e elasticidade autorregenerativa de Gibbs-Marangoni.
Por que a asa azul-elétrica de uma borboleta Morpho vira pó marrom ao ser triturada e perde sua cor instantaneamente em acetona? Um tratado rigoroso de óptica ondulatória sobre interferência de filme fino, refletores de Bragg (DBR), o paradoxo Morpho e cristais fotônicos 3D.
Um tratado físico completo sobre o efeito Leidenfrost: da obra de Johann Gottlob Leidenfrost de 1756 e da curva de ebulição de Shiro Nukiyama (1934) ao fluxo crítico de calor de Zuber (CHF), à teoria de lubrificação de Biance-Clanet-Quéré, aos vórtices termocapilares de Marangoni, às oscilações estelares de Rayleigh-Lamb, às catracas autopropulsadas de Linke e ao resfriamento de emergência de reatores nucleares (LOCA).
Uma análise física completa da adesão biológica seca na osga-tokay (Gekko gecko): desde Aristóteles e a refutação experimental das sete hipóteses clássicas por Kellar Autumn até às forças quânticas de dispersão de Fritz London, a teoria de Hamaker-Lifshitz, a hierarquia seta-espátula, a divisão de contato JKR e a equação de destacamento de Kendall.
Uma investigação filosófica aprofundada sobre o Paradoxo da Ficção de Colin Radford (a tríade inconsistente de resposta emocional, crença existencial e não-crença), o cognitivismo das emoções, a suspensão voluntária da descrença de Coleridge, a teoria do faz-de-conta (Make-Believe) e o quase-medo de Kendall Walton, a teoria do pensamento (Thought Theory), o paradoxo da tragédia, a resistência imaginativa e a ontologia artefatual das entidades ficcionais.
Quando uma metrópole constrói uma nova ponte ultrarrápida ou um engenheiro de redes adiciona um link de fibra óptica de alta largura de banda, o bom senso dita que os tempos de viagem deveriam diminuir. No entanto, em 1968, Dietrich Braess provou que adicionar capacidade a uma rede governada pelo roteamento egoísta (Selfish Routing) pode aumentar estritamente o tempo de deslocamento de 100% dos usuários. Este artigo explora a rede diamante de 4 nós de Braess, os dois princípios de Wardrop, a função de potencial convexo de Beckmann-Rosenthal, a prova passo a passo do limite 4/3 do Preço da Anarquia (Price of Anarchy) de Roughgarden e Tardos, o paradoxo mecânico de molas e cordas de Cohen e Horowitz, e remoções reais de rodovias como o elevado Cheonggyecheon em Seul e a Times Square em Nova York.
Por que uma piscina de maisena e água (Oobleck) endurece como concreto sob os pés de um corredor, mas vira areia movediça assim que ele para? Explore a lei da viscosidade de Newton, o modelo de Herschel-Bulkley, hidroclusters, cadeias de força friccionais, frentes de solidificação, reologia do sangue, efeito Weissenberg, número de Deborah e coletes à prova de balas líquidos.
Dos milagres cotidianos do teorema do ponto fixo de Brouwer (1911) — a molécula de café imóvel e o mapa amassado — a contraexemplos precisos, três demonstrações clássicas (teorema do valor intermediário, não retração de Borsuk via homologia e teorema de Stokes, lema de Sperner) e a grande hierarquia de Banach, Schauder e Kakutani que fundamenta o equilíbrio de Nash (1950) e o equilíbrio geral de Arrow-Debreu (1954).
Uma exploração matemática rigorosa do Group Testing e da busca combinatória: do pooling em duas etapas de Robert Dorfman (1943) e do limite inferior de Shannon ao problema das 12 moedas, matrizes disjuntas de Kautz-Singleton, códigos de Reed-Solomon e sensoriamento comprimido (Compressed Sensing).
