Hilbert n’avait jamais eu de problème jusque là pour libérer des chambres de l’hôtel Aleph à la demande, en nombre infini même si nécessaire ; et le voilà pourtant coincé sur une affaire qui ne paraît après tout pas plus monstrueusement déraisonnable, au point où nous en sommes, que les autres. Impossible de trouver une chambre pour chaque club de résidents ; on a beau pousser ou tirer : rien à faire, ça ne rentre pas. Que peut-il bien se passer ? Et tout d’abord, est-on bien sûr qu’il y a un problème ? (Lire la suite)

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)