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.
Uma solução aquosa homogênea pulsa espontaneamente dezenas de vezes entre o vermelho-tijolo e o azul brilhante como um metrônomo molecular, e desenha ondas espirais rotativas em uma placa de Petri. Da descoberta rejeitada de Boris Belousov em 1951 e das estruturas dissipativas de Ilya Prigogine ao mecanismo FKN, ao Oregonator, à bifurcação de Hopf, à fibrilação cardíaca e aos hidrogéis biomiméticos autônomos.
Por que a proporção de assentos em um parlamento ou de ações em um conselho corporativo não equivale ao poder real de decisão? Uma análise matemática dos jogos de votação ponderada, dos índices de Banzhaf e Shapley-Shubik, funções geradoras, o Conselho de Segurança da ONU e os paradoxos do poder de voto.
Um tratado rigoroso sobre piezoeletricidade: da descoberta dos irmãos Curie (1880) e da relação termodinâmica de Lippmann ao princípio de Neumann, aos 32 grupos pontuais cristalográficos, ao quartzo alfa, às cerâmicas ferroelétricas PZT, ao circuito equivalente de Butterworth-Van Dyke (BVD), ao ultrassom médico e aos microscópios STM/AFM.
Uma exploração filosófica aprofundada da Epistemologia do Desacordo: quando alguém com as mesmas evidências e igual competência cognitiva chega à conclusão oposta, a racionalidade exige conciliação ou permite firmeza? Análise do Princípio da Independência de Christensen, da Visão da Evidência Total de Kelly, Unicidade vs. Permissivismo e do Teorema do Acordo de Aumann.
