Se enquanto existimos a morte não está presente, e quando a morte está presente já não existimos, por que tememos tanto morrer? Uma análise rigorosa da metafísica e da ética analítica da morte, desde o argumento da não-experiência de Epicuro e a assimetria de Lucrécio até a teoria da privação de Thomas Nagel, o viés para o futuro de Derek Parfit e o tédio da imortalidade de Bernard Williams.
Por que um ferrofluido negro se ergue subitamente em um padrão geométrico de espinhos quando aproximamos um ímã? Uma análise física profunda da barreira de Curie, do superparamagnetismo de Langevin, da estabilidade coloidal DLVO e da relação de dispersão de Cowley-Rosensweig.
Podem empresas, Estados ou sistemas algorítmicos possuir verdadeiras intenções e assumir responsabilidade moral? Uma análise aprofundada do individualismo metodológico, das teorias da intenção compartilhada (Searle, Bratman, Gilbert), do dilema discursivo (List e Pettit), da estrutura CID de Peter French, do 'problema das muitas mãos' e das 'zonas de deformação moral' na era da IA.
Uma exploração filosófica e física da natureza do tempo: das Confissões de Santo Agostinho e 'A Irrealidade do Tempo' de J.M.E. McTaggart (série A vs. série B) aos quatro modelos ontológicos (presentismo, eternalismo, bloco crescente, holofote móvel), à relatividade restrita de Einstein, ao paradoxo de Andrômeda, à fenomenologia de Husserl e à seta termodinâmica de Boltzmann.
Como o mictório de porcelana «Fonte» (1917) de Marcel Duchamp e a «Brillo Box» (1964) de Andy Warhol demoliram 2.500 anos de essencialismo estético. Uma análise filosófica das contrapartes perceptivamente indiscerníveis, do conceito aberto de Morris Weitz, do Artworld e do significado corporificado de Arthur Danto, da Teoria Institucional de George Dickie e do intencionalismo histórico.
Por que um fio de Nitinol (NiTi) severamente retorcido volta instantaneamente à sua forma original ao tocar água quente? Uma exploração da física do estado sólido sobre a transformação martensítica termoelástica sem difusão (austenita B2 para martensita B19'), as 24 variantes cristalográficas, a desmaclação, a energia livre de Landau-Falk, a equação de Clausius-Clapeyron, a superelasticidade e a condição de compatibilidade λ2 = 1.
Uma exploração matemática do jogo de sucesso mundial Dobble (Spot It!): planos projetivos finitos PG(2,q), o plano de Fano, coordenadas homogêneas sobre corpos de Galois, o problema dos 36 oficiais de Euler, o teorema de Bruck-Ryser-Chowla, a prova por supercomputador Cray-1 para a ordem 10 e o mistério aberto da ordem 12.
Um tratado arquitetônico rigoroso sobre Segurança Baseada em Capacidades (Capability-Based Security): fatiamento por colunas (ACLs) vs. por linhas (Capacidades) da Matriz de Controle de Acesso de Butler Lampson, o Problema do Deputado Confuso de Norm Hardy (1988), o modelo Object-Capability (OCap) de Mark S. Miller, atenuação via facetas, revogação com Caretaker de Redell e Membranas, e implementações modernas em seL4, FreeBSD Capsicum, CHERI/Morello e WASI.
Enquanto a criptografia cifra o conteúdo de uma mensagem, a esteganografia oculta a própria existência da comunicação. Uma análise profunda do problema dos prisioneiros de Simmons, divergência KL de Cachin, inserção LSB espacial, esteganálise qui-quadrado, DCT em JPEG com codificação matricial F5, a lei da raiz quadrada e marcas d'água digitais.
Quando uma quantidade primitiva não pode ser observada diretamente e apenas sua soma acumulada sobre divisores ou subconjuntos é conhecida, como remover sistematicamente as contribuições contadas em duplicidade? Guia completo sobre a função de Möbius, convolução de Dirichlet, função zeta de Riemann, aplicações clássicas e a grande unificação de Gian-Carlo Rota via conjuntos parcialmente ordenados (posets) e álgebras de incidência.
Análise matemática do problema dos 100 prisioneiros (Miltersen 2003): decomposição em ciclos disjuntos do grupo simétrico, contagem de ciclos longos 1/ℓ, números harmônicos, limite 1 - ln 2 ≈ 31,18% e acoplamento de riscos sem comunicação.
Guia rigoroso de física do estado sólido sobre termoeletricidade: unificação dos efeitos Seebeck, Peltier e Thomson pelas relações recíprocas de Onsager, derivação da figura de mérito ZT e eficiência máxima, análise do compromisso S-σ-κ (relação de Pisarenko e lei de Wiedemann-Franz), engenharia de fônons (PGEC, nanoestruturação, SnSe) e geradores espaciais RTG.
Por que o PC gamer mais rápido não pode pilotar um avião comercial? Uma análise matemática completa sobre RTOS, funções de utilidade temporal (Hard/Firm/Soft), tempo de execução no pior caso (WCET), teoremas de Liu & Layland (1973) para RMS (ln 2 ≈ 69,3%) e EDF (100%), e o incidente da Mars Pathfinder da NASA (1997) resolvido via protocolos de herança e teto de prioridade (PIP/PCP).
Desmistificando o mito escolar da 'difusão por concentração de água', derivação rigorosa da lei de van 't Hoff a partir do potencial químico e da entropia de mistura, análise das aquaporinas, equação de Starling, modelo de solução-difusão e energia mínima termodinâmica da osmose reversa (RO).
Análise matemática do problema isoperimétrico: o couro de boi da rainha Dido, a desigualdade isoperimétrica plana 4πA ≤ L², a simetrização de Steiner, a crítica de Weierstrass e o paradoxo de Perron, a demonstração por séries de Fourier de Hurwitz, as bolhas de sabão 3D e a desigualdade de Faber-Krahn.
Como consoles formados por chips LSI customizados como NES, SNES, PlayStation 2 e GameCube rodam com precisão de bits em CPUs x86-64 e ARM64 modernas? Da Máquina Universal de Turing às penalidades de predição de desvio, tradução binária dinâmica JIT (Dynarec) com eliminação de flags mortas, armadilhas MMU Fastmem e sincronização de corrotinas com precisão de ciclo.
Uma investigação filosófica e matemática sobre a akrasia (fraqueza da vontade): do intelectualismo socrático no Protágoras, a alma tripartida de Platão e o silogismo prático de Aristóteles aos juízos condicionais de Donald Davidson, às resoluções de Richard Holton, ao desconto hiperbólico V(D)=A/(1+kD) de George Ainslie e ao pré-compromisso de Ulisses em Jon Elster.
Dos choques de inverno na maçaneta da porta e relâmpagos vulcânicos até máscaras N95 de eletreto e nanogeradores triboelétricos (TENG). Explore o mistério de 2.600 anos da eletrificação por contato através do modelo de nuvens eletrônicas sobrepostas (OEC), transferência de íons, mecanocímica e a lei de Paschen.
Exploração matemática do modelo da urna de Pólya: permutabilidade, distribuição Beta-Binomial, teorema de convergência de martingales de Doob para Beta(r,b), contraste com a Lei Forte dos Grandes Números, teorema de de Finetti, dependência de trajetória de W. Brian Arthur, ligação preferencial e processos de Dirichlet.
Um tratado matemático e de sistemas sobre deadlocks: o jantar dos filósofos de Dijkstra, as quatro condições de Coffman (1971), os teoremas de ciclos do grafo de alocação de recursos (RAG), a prova da ordenação total de travas, rastreamento matricial 5×3 do algoritmo do banqueiro, grafos de espera (WFG) em SGBDs, Wait-Die vs. Wound-Wait, o algoritmo do avestruz e Livelock vs. Inanição.
