Analyse physique complète de l'effet Leidenfrost : du traité de Johann Gottlob Leidenfrost (1756) et de la courbe d'ébullition de Shiro Nukiyama (1934) jusqu'au flux thermique critique de Zuber (CHF), à la théorie de lubrification de Biance-Clanet-Quéré, aux tourbillons thermocapillaires de Marangoni, aux oscillations stellaires de Rayleigh-Lamb, aux cliquets auto-propulsés de Linke et au renoyage des réacteurs nucléaires (LOCA).
Découvrez comment les organismes vivants contournent la loi du corps noir de Planck pour émettre des photons visibles à température ambiante. Analyse physique de l'incandescence vs luminescence, distinction entre bioluminescence, fluorescence (GFP) et BRET, cycle à quatre étapes luciférine-luciférase via la 1,2-dioxétanone (mécanisme CIEEL), écologie des grands fonds et applications de l'imagerie AkaBLI aux plantes autoluminescentes.
Par le théorème de Cook-Levin (1971), la satisfaisabilité booléenne (SAT) fut le tout premier problème prouvé NP-complet, avec une complexité dans le pire cas en O(2^n). Pourtant, les solveurs SAT industriels modernes résolvent des formules de 10 millions de variables et 50 millions de clauses en quelques secondes. Plongée au cœur de DPLL, de l'apprentissage de clauses dirigé par les conflits (CDCL), du premier UIP (1-UIP), des deux littéraux surveillés (2WL), de VSIDS, de la transition de phase à α ≈ 4,267 et de la preuve de 200 téraoctets des triplets pythagoriciens.
Exploration mathématique et algorithmique approfondie du rendu typographique moderne : polynômes de Bernstein, courbes de Bézier quadratiques et cubiques, algorithme de De Casteljau, topologie de l'indice d'enroulement non nul, intégration analytique d'aire trapézoïdale, machine virtuelle de hinting TrueType, filtre FIR à 5 coefficients ClearType, fusion alpha linéaire corrigée du gamma, champs de distance signée multi-canaux (MSDF) et shaders GPU directs (Slug).
Comment Voyager 1 transmet-elle des images planétaires d'une netteté exceptionnelle à travers 24 milliards de kilomètres avec un émetteur de 23 watts (10⁻¹⁶ W reçus sur Terre), et comment un smartphone décode-t-il en 10 millisecondes un code QR recouvert à 30 % par une tache de café ou un logo ? Plongée mathématique au cœur du théorème de Shannon, du code de Hamming (7,4), des codes de Reed-Solomon sur les corps de Galois, et des codes LDPC et polaires.
Exploration mathématique approfondie du Group Testing et de la recherche combinatoire : du pooling à deux étapes de Robert Dorfman (1943) et de la borne inférieure de Shannon au problème des 12 pièces, aux matrices disjonctives de Kautz-Singleton, aux codes de Reed-Solomon et à l'acquisition comprimée (Compressed Sensing).
Pourquoi un mélange d'eau et de fécule de maïs (Oobleck) se solidifie-t-il comme du béton sous les pas d'un coureur tout en se liquéfiant dès qu'il s'arrête ? Découvrez la loi de viscosité de Newton, le modèle de Herschel-Bulkley, les hydroclusters, les chaînes de force frictionnelles, les fronts de solidification, la rhéologie du sang, l'effet Weissenberg, le nombre de Deborah et les gilets pare-balles liquides.
Chaque coin du triangle de Penrose et de l'escalier sans fin de M.C. Escher est physiquement irréprochable, mais leur recollement le long d'une boucle fermée fait s'effondrer l'espace tridimensionnel. Découvrez comment la projection perspective efface la profondeur, comment Sir Roger Penrose a formalisé les figures impossibles par la théorie des faisceaux et la cohomologie de Čech, et comment ce même obstacle gouverne les sculptures de Kokichi Sugihara et la contextualité quantique.
Analyse philosophique approfondie du paradoxe de la fiction de Colin Radford (la triade incohérente de la réponse émotionnelle, de la croyance existentielle et de la non-croyance), du cognitivisme des émotions, de la suspension consentie de l'incrédulité de Coleridge, de la théorie du faire-semblant (Make-Believe) et de la quasi-peur de Kendall Walton, de la théorie de la pensée (Thought Theory), du paradoxe de la tragédie, de la résistance imaginative et de l'ontologie artéfactuelle des entités fictionnelles.
Des miracles quotidiens du théorème du point fixe de Brouwer (1911) — la molécule de café immobile et la carte froissée — aux contre-exemples précis, aux trois démonstrations classiques (théorème des valeurs intermédiaires, non-rétraction de Borsuk via l'homologie et la formule de Stokes, lemme de Sperner) et à la grande hiérarchie de Banach, Schauder et Kakutani fondant l'équilibre de Nash (1950) et l'équilibre général d'Arrow-Debreu (1954).
Une étude formelle et philosophique approfondie du paradoxe de la connaissabilité de Frederic Fitch (1963), issu du rapport d'arbitrage anonyme d'Alonzo Church en 1945. Nous démontrons étape par étape comment le modeste principe de connaissabilité anti-réaliste (∀p(p → ◇Kp)) s'effondre en principe d'omniscience (∀p(p → Kp)) à partir de la seule factivité du savoir et de la distribution sur la conjonction, puis analysons les quatre grandes voies de sortie : la logique intuitionniste de Michael Dummett, les restrictions cartésiennes de Neil Tennant, la logique modale bidimensionnelle de Dorothy Edgington et la logique épistémique dynamique (PAL).
Reconstruction mathématique et philosophique complète du problème de la Belle au bois dormant : la preuve du tiers (1/3) d'Adam Elga sur les mondes possibles centrés, la défense du demi (1/2) de David Lewis et le saut à 2/3 du lundi, le livre hollandais diachronique de Hitchcock et la cosmologie anthropique de Nick Bostrom (SSA vs SIA).
De saint Athanase sur le Nil à l'arrêt de la Cour suprême américaine Bronston v. United States, nous analysons la définition formelle du mensonge en logique doxastique, les mensonges éhontés (bald-faced lies), le principe de coopération et les implicatures conversationnelles de H. Paul Grice, le modèle bayésien RSA du paltering, le rigorisme de Kant face à sa propre équivoque stratégique envers le roi Frédéric-Guillaume II, la critique éthique de Jennifer Saul et On Bullshit de Harry Frankfurt à l'ère des hallucinations des LLM.
Élevée dans une chambre strictement en noir et blanc, la brillante neuroscientifique Mary apprend toutes les vérités physiques sur la vision humaine des couleurs. Lorsqu'elle sort et voit une tomate rouge mûre pour la première fois, apprend-elle quelque chose de nouveau ? Une exploration rigoureuse de la chauve-souris de Nagel, de l'argument de la connaissance de Jackson, des zombies philosophiques de Chalmers, de la sémantique modale bidimensionnelle, des contre-offensives physicalistes, du monisme russellien et de la théorie de l'information intégrée (IIT).
Exploration philosophique approfondie de l'identité personnelle à travers le temps : le critère mémoriel de John Locke, le paradoxe du brave officier de Thomas Reid, l'objection de circularité de Butler, l'animalisme et la révolution de Derek Parfit (Télétransporteur, fission cérébrale et Relation R).
Analyse approfondie du libre arbitre et de la responsabilité morale en métaphysique analytique et neurophilosophie : le démon de Laplace et le déterminisme causal, l'argument de la conséquence de Peter van Inwagen, l'indéterminisme quantique et l'argument de la chance, l'argument de base de Galen Strawson, David Hume et les cas de Harry Frankfurt, les attitudes réactives de P.F. Strawson et le potentiel de préparation de Benjamin Libet.
Les entreprises, les États ou les systèmes algorithmiques peuvent-ils réellement avoir des intentions et porter une responsabilité morale ? Analyse approfondie de l'individualisme méthodologique, des théories de l'intention partagée (Searle, Bratman, Gilbert), du dilemme discursif (List & Pettit), de la structure CID de Peter French, du « problème des nombreuses mains » et des « zones de déformation morale » à l'ère de l'IA.
Exploration mathématique du jeu phénomène Dobble (Spot It!) : plans projectifs finis PG(2,q), plan de Fano, coordonnées homogènes sur les corps de Galois, problème des 36 officiers d'Euler, théorème de Bruck-Ryser-Chowla, preuve par supercalculateur Cray-1 pour l'ordre 10 et mystère ouvert de l'ordre 12.
Pourquoi un fil de Nitinol (NiTi) sévèrement tordu reprend-il instantanément sa forme exacte au contact de l'eau chaude ? Exploration complète de la transformation martensitique thermoélastique sans diffusion (austénite B2 vers martensite B19'), des 24 variantes cristallographiques, du démâclage, de l'énergie libre de Landau-Falk, de la relation de Clausius-Clapeyron, de la superélasticité et de la condition de compatibilité λ2 = 1.
Un traité architectural rigoureux sur la sécurité basée sur les capacités (Capability-Based Security) : découpage par colonnes (ACL) vs par lignes (Capacités) de la matrice de contrôle d'accès de Butler Lampson, le problème du député confus de Norm Hardy (1988), le modèle Object-Capability (OCap) de Mark S. Miller, l'atténuation par facettes, la révocation via le Caretaker de Redell et les Membranes, ainsi que les déploiements modernes dans seL4, FreeBSD Capsicum, CHERI/Morello et WASI.
