Au regard des mouvements sociaux en cours et des réponses qu’y apporte le gouvernement, une formule étrange me vient à l’esprit : nous faisons face à une crise axiomatique. Un axiome, en logique, c’est une assertion supposée vraie et dont on pourra déduire d’autres énoncés appelés théorèmes. Une fois défini un jeu d’axiomes et les règles de déduction que nous entendons lui appliquer, n’importe qui, en théorie, doit en déduire le même ensemble de théorèmes ; et un ordinateur bien programmé pourra vérifier que ce que nous présentons comme un théorème en est bien un. Or, si l'on écoute les politiques de tout bord, on sera frappé de la prégnance le plus souvent inconsciente du système d’axiomes qui nourrit leur discours. (Lire l'article)

Plaisirs de farniente et de lecture… une fois n’est pas coutume, cette (courte) chronique offre quelques suggestions pour occuper votre esprit s’il en est besoin. D’abord, la toujours intéressante chronique de Jean-Paul Delahaye dans Pour la Science, intitulée Logique et Calcul. Au programme de ce mois de juillet, on trouve un problème dit “des 50 prisonniers”. Dans le même numéro de cet excellent magazine, une réflexion passionnante de Christian Walter sur la finance dite éthique, et en particulier sur le caractère performatif des algorithmes qu’elle utilise. Enfin, on pourra lire ou relire avec profit l’hilarante et autoproclamée unique trilogie en cinq volumes de Douglas Adams, Le Guide du Voyageur Galactique. (Lire l'article)