Nos rapports avec l’infini sont un peu ceux de saint Augustin avec le temps : nous savons ce que c’est jusqu’à ce qu’on nous le demande. Bienvenue dans l’hôtel Aleph, dirigé de main de maître par l’immense mathématicien David Hilbert. Cet hôtel luxueux possède ℵ0 chambres, et la qualité du service se traduit par un taux d’occupation record : il est toujours plein. L’arrivée d’un nouveau client n’est cependant pas 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)