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.
Exploration approfondie de l’épistémologie du désaccord (Epistemology of Disagreement) : lorsqu’un pair épistémique disposant des mêmes preuves et des mêmes compétences cognitives aboutit à la conclusion inverse, la rationalité exige-t-elle la conciliation ou autorise-t-elle la fermeté ? Analyse du principe d’indépendance de Christensen, de la preuve totale de Kelly, de l’unicité face au permissivisme et du théorème d’accord d’Aumann.
Pourquoi un ferrofluide noir se hérisse-t-il soudainement en un réseau géométrique d'épines à l'approche d'un aimant ? Analyse physique approfondie de la barrière de Curie, du superparamagnétisme de Langevin, de la stabilité colloïdale DLVO et de la relation de dispersion de Cowley-Rosensweig.
Analyse mathématique du problème des 100 prisonniers (Miltersen 2003) : décomposition en cycles disjoints du groupe symétrique, dénombrement des grands cycles 1/ℓ, nombres harmoniques, limite 1 - ln 2 ≈ 31,18 % et couplage des risques sans communication.
Alors que la cryptographie chiffre le contenu d’un message, la stéganographie dissimule l’existence même de la communication. Analyse approfondie du problème des prisonniers de Simmons, de la divergence KL de Cachin, de l’insertion LSB spatiale, de la stéganalyse du khi-deux, de la DCT JPEG avec codage matriciel F5, de la loi de la racine carrée et du tatouage numérique.
Guide rigoureux de physique du solide sur la thermoélectricité : unification des effets Seebeck, Peltier et Thomson via les relations de réciprocité d'Onsager, dérivation du facteur de mérite ZT et du rendement maximal, analyse du compromis S-σ-κ (relation de Pisarenko et loi de Wiedemann-Franz), ingénierie phononique (PGEC, nanostructuration, SnSe) et générateurs spatiaux RTG.
Lorsqu'une grandeur primitive ne peut être observée directement et que seule sa somme cumulée sur les diviseurs ou les sous-ensembles est connue, comment éliminer systématiquement les doubles comptages ? Guide complet sur la fonction de Möbius, la convolution de Dirichlet, la fonction zêta de Riemann, les applications classiques et la grande unification de Gian-Carlo Rota via les ensembles partiellement ordonnés (posets) et les algèbres d'incidence.
Comment l’urinoir en porcelaine « Fountain » (1917) de Marcel Duchamp et la « Brillo Box » (1964) d’Andy Warhol ont brisé 2 500 ans d’essentialisme esthétique. Analyse philosophique des indiscernables perceptifs, du concept ouvert de Morris Weitz, de l’Artworld et de la signification incarnée d’Arthur Danto, de la théorie institutionnelle de George Dickie et de l’intentionnalisme historique.
Pourquoi le PC de jeu le plus rapide ne peut-il pas piloter un avion de ligne ? Analyse mathématique complète des RTOS, des fonctions d'utilité temporelle (Hard/Firm/Soft), du temps d'exécution au pire cas (WCET), des théorèmes de Liu & Layland (1973) pour RMS (ln 2 ≈ 69,3 %) et EDF (100 %), ainsi que de l'incident de Mars Pathfinder (1997) résolu par les protocoles d'héritage et de plafond de priorité (PIP/PCP).
Une enquête philosophique et mathématique sur l'akrasia (faiblesse de la volonté) : de l'intellectualisme socratique dans le Protagoras, l'âme tripartite de Platon et le syllogisme pratique d'Aristote aux jugements conditionnels de Donald Davidson, aux résolutions de Richard Holton, à l'actualisation hyperbolique V(D)=A/(1+kD) de George Ainslie et au pré-engagement d'Ulysse chez Jon Elster.
Analyse mathématique du modèle de l'urne de Pólya : échangeabilité, loi bêta-binomiale, théorème de convergence des martingales de Doob vers la loi Beta(r,b), comparaison avec la loi forte des grands nombres, théorème de de Finetti, dépendance au sentier de W. Brian Arthur, attachement préférentiel et processus de Dirichlet.
Déconstruction du mythe scolaire de la « diffusion selon la concentration de l'eau », dérivation rigoureuse de la loi de van 't Hoff à partir du potentiel chimique et de l'entropie de mélange, analyse des aquaporines, de l'équation de Starling, du modèle de solubilisation-diffusion et de l'énergie minimale du dessalement par osmose inverse (RO).
À partir du défi classique d’Épicure — « tant que nous sommes, la mort n’est pas ; et quand la mort est là, nous ne sommes plus » — cet article examine la philosophie de la mort : la machine à expériences de Nozick, les maux relationnels de Nagel, la théorie de la privation de Feldman, l’intérêt relatif au temps de McMahan, le puzzle temporel, l’argument de la symétrie de Lucrèce et le cas Makropoulos de Bernard Williams.
Des chocs électriques hivernaux sur les poignées de porte et des éclairs volcaniques jusqu'aux masques N95 à électret et aux nanogénérateurs triboélectriques (TENG). Explorez le mystère de 2 600 ans de l'électrisation par contact à travers le modèle du nuage électronique superposé (OEC), le transfert d'ions, la mécanochimie et la loi de Paschen.
Comment des consoles composées de puces LSI sur mesure comme la NES, la SNES, la PS2 ou la GameCube fonctionnent-elles à la perfection sur nos PC modernes ? De la machine de Turing universelle aux pénalités de prédiction de branchement, de la compilation JIT (Dynarec) avec élimination des drapeaux morts au Fastmem par trappe MMU et à la synchronisation par coroutines au cycle près.
Analyse mathématique du problème isopérimétrique : la peau de bœuf de la reine Didon, l'inégalité isopérimétrique plane 4πA ≤ L², la symétrisation de Steiner, la critique de Weierstrass et le paradoxe de Perron, la preuve par séries de Fourier de Hurwitz, les bulles de savon 3D et l'inégalité de Faber-Krahn.
Traité mathématique et système sur les interblocages : le dîner des philosophes de Dijkstra, les quatre conditions de Coffman (1971), les théorèmes des cycles du graphe d'allocation des ressources (RAG), la preuve de l'ordonnancement total des verrous, la trace matricielle 5×3 de l'algorithme du banquier, les graphes d'attente (WFG) des SGBD, Wait-Die vs Wound-Wait, l'algorithme de l'autruche et Livelock vs Famine.
