Uma investigação termodinâmica e tribológica rigorosa sobre a escorregabilidade do gelo: refutando a hipótese da fusão por pressão via equação de Clausius-Clapeyron, o experimento de regelação de Faraday, a camada quase-líquida (QLL), o aquecimento friccional de Bowden-Hughes e a reologia viscoelástica moderna.
Do enigma das tampas de bueiro às funções de suporte de Minkowski, séries de Fourier de harmônicos ímpares, duas demonstrações completas do Teorema de Barbier (L = πw), o Teorema de Blaschke-Lebesgue, a cinemática exata da broca de Harry Watts (98,77% do quadrado) e os corpos de Meissner em 3D.
Pelo teorema de Cook-Levin (1971), a satisfatibilidade booleana (SAT) foi o primeiro problema provado como NP-completo, com complexidade no pior caso de O(2^n). Ainda assim, solucionadores SAT industriais modernos resolvem fórmulas com 10 milhões de variáveis e 50 milhões de cláusulas em segundos. Analisamos desde o DPLL até o Aprendizado de Cláusulas Dirigido por Conflitos (CDCL), o Primeiro UIP (1-UIP), Dois Literais Vigiados (2WL), VSIDS, a transição de fase em α ≈ 4.267 e a prova de 200 terabytes dos ternos pitagóricos.
Do experimento de de Mairan com a planta Mimosa pudica (1729) e do circuito de retroalimentação transcrição-tradução (CLOCK:BMAL1 e PER:CRY, Prêmio Nobel 2017) até a bifurcação de Hopf do oscilador de Goodwin-Goldbeter, o relógio proteico KaiABC das cianobactérias em tubo de ensaio e o mistério biofísico da compensação de temperatura (Q10 ≈ 1,0).
Cada canto individual do triângulo de Penrose e da escada infinita de M.C. Escher é fisicamente válido, mas ao colá-los ao longo de um laço fechado o espaço tridimensional entra em colapso. Descubra como a projeção em perspectiva apaga a profundidade, como Sir Roger Penrose formulou as figuras impossíveis usando teoria de feixes e cohomologia de Čech, e como as esculturas de Kokichi Sugihara e a contextualidade quântica compartilham a mesma estrutura.
Da máxima de Dijkstra e do teorema de Rice à lógica de Floyd-Hoare, solucionadores SMT Z3, Model Checking temporal (TLA+), o desastre do foguete Ariane 5, interpretação abstrata (conexões de Galois) e assistentes de prova (Coq, Lean 4, CompCert, seL4).
Como a Voyager 1 transmite retratos planetários nítidos através de 24 bilhões de quilômetros com um transmissor de 23 watts (10⁻¹⁶ W recebidos na Terra), e como um smartphone decodifica em 10 milissegundos um código QR com 30% de sua área coberta por uma mancha de café ou logotipo? Uma análise matemática profunda do teorema de Shannon, código de Hamming (7,4), códigos de Reed-Solomon sobre corpos de Galois, LDPC e códigos polares.
Um tratado formal e filosófico completo sobre o paradoxo da cognoscibilidade de Frederic Fitch (1963), originado no parecer anônimo de Alonzo Church em 1945. Derivamos passo a passo como o modesto princípio da cognoscibilidade antirrealista (∀p(p → ◇Kp)) colapsa no princípio da onisciência (∀p(p → Kp)) usando apenas a factividade do conhecimento e a distribuição sobre a conjunção, e avaliamos as quatro grandes rotas de fuga: a lógica intuicionista de Michael Dummett, as restrições cartesianas de Neil Tennant, a lógica modal bidimensional de Dorothy Edgington e a lógica epistêmica dinâmica (PAL).
Uma análise matemática e de engenharia de sistemas sobre a renderização tipográfica moderna: polinômios de Bernstein, curvas de Bézier quadráticas vs. cúbicas, algoritmo de De Casteljau, topologia do número de giros não nulo, integração analítica de área trapezoidal, a máquina virtual de hinting TrueType, filtragem FIR subpixel de 5 tomadas (ClearType), mistura alfa linear com correção gama, campos de distância com sinal multicanal (MSDF) e shaders GPU diretos (Slug).
Uma análise aprofundada de como os organismos vivos contornam a lei da radiação térmica de Planck para gerar fótons visíveis à temperatura ambiente. Aborda termodinâmica do corpo negro vs. luminescência, bioluminescência vs. fluorescência (GFP) e BRET, o ciclo de quatro etapas luciferina-luciferase via 1,2-dioxetanona (mecanismo CIEEL), ecologia do mar profundo e aplicações desde imagem médica AkaBLI até plantas autoluminescentes.
De santo Atanásio no Nilo e da decisão da Suprema Corte dos EUA Bronston v. United States, analisamos a definição formal de mentira na lógica doxástica, as mentiras descaradas (bald-faced lies), o Princípio de Cooperação e as implicaturas conversacionais de H. Paul Grice, o modelo bayesiano RSA do paltering, o rigorismo de Kant em contraste com seu próprio equívoco estratégico perante o rei Frederico Guilherme II, a crítica ética de Jennifer Saul e On Bullshit de Harry Frankfurt na era das alucinações dos LLMs.
Uma reconstrução matemática e filosófica completa do problema da Bela Adormecida: a prova de 1/3 de Adam Elga sobre mundos possíveis centrados, a defesa de 1/2 de David Lewis e o salto para 2/3 na segunda-feira, o livro holandês diacrônico de Hitchcock e a cosmologia antrópica de Nick Bostrom (SSA vs. SIA).
Uma análise filosófica profunda da identidade pessoal ao longo do tempo: o critério da memória de John Locke, o paradoxo do oficial valente de Thomas Reid, a objeção de circularidade de Butler, o animalismo e a revolução de Derek Parfit (Teletransportador, fissão cerebral e Relação R).
Uma análise filosófica profunda desde o sentido e a referência de Frege e as descrições definidas de Russell até os designadores rígidos de Kripke, a Terra Gêmea de Putnam (H2O vs. XYZ), o externalismo social de Burge e o problema do ancoramento de símbolos nos Grandes Modelos de Linguagem (LLMs).
Uma análise filosófica e formal exaustiva do livre-arbítrio e da responsabilidade moral: o Demônio de Laplace e o determinismo causal, o Argumento da Consequência de Peter van Inwagen, o indeterminismo quântico e o Argumento da Sorte, o Argumento Básico de Galen Strawson, David Hume e os casos de Harry Frankfurt, as atitudes reativas de P.F. Strawson e o potencial de prontidão de Benjamin Libet.
Criada em um quarto estritamente preto e branco, a brilhante neurocientista Mary aprende todas as verdades físicas sobre a visão humana de cores. Quando ela sai e vê um tomate vermelho maduro pela primeira vez, ela aprende algo novo? Uma análise rigorosa do morcego de Nagel, do argumento do conhecimento de Jackson, dos zumbis filosóficos de Chalmers, da semântica modal bidimensional, das contraofensivas fisicalistas, do monismo russelliano e da teoria da informação integrada (IIT).
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.
