Hasard et complexité en mathématiques

Que diriez-vous d'une balade mathématique au fin fond d'une forêt de chiffres, mêlant histoire et philosophie, physique et biologie, et qui mènerait au plus fascinant de tous, le nombre Oméga, « sorte de cauchemar pour la raison pure » ? Concentré des propriétés les plus étranges que peuvent avoir certains nombres réels, (...) est définissable, mais non calculable, incompressible et aléatoire. D'une certaine manière, il réunit les propriétés les plus extrêmes que peut posséder un réel définissable !

C'est dans les années 1970 que les mathématiques se sont enrichies de ce nombre étrange. Gregory Chaitin, son découvreur, entreprend ici de nous familiariser avec sa surprenante complexité, tout en la resituant dans l'histoire des mathématiques. Éclairant d'un jour nouveau les fameux théorèmes de Gödel sur l'incomplétude des mathématiques, (...) et les théorèmes associés à la complexité algorithmique font désormais partie du bagage de tout mathématicien, logicien, informaticien ou philosophe des sciences.

Trouver un nombre non calculable qui ait une définition naturelle n'est pas un exercice facile, l'expliquer en le vulgarisant l'est encore moins. C'est là le grand mérite de cet ouvrage, unique en son genre, dont l'ambition est de rendre accessible les mathématiques pures.

Roger Mansuy