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)

Bien, nous avons donc une nouvelle sorte de nombre, appelés nombres réels à l’encontre du bon sens, et qui ne tient pas dans l’hôtel Aleph. Que ce soit un souci pour Hilbert et Russel, on le comprend, mais pourquoi devrions-nous nous sentir concernés? D’autant qu’après tout l’infini de l’hôtel Aleph, que l’on appelle l’infini dénombrable, contient tout de même une quantité proprement incroyable de choses. Que l’hôtel puisse toujours accueillir un client de plus ne paraît pas très surprenant : sinon on ne parlerait pas d’infini. (Lire la suite)