Les mathématiques sont une double source de mystères. D'une part, elles se posent de nombreuses questions qu'elles ne réussissent pas à résoudre ou qu'elles résolvent de manière partielle: énigmes résistantes à toutes les attaques, objets ou situations aux propriétés bizarres, paradoxes... D'autre part, les mathématiques créent de l'inconnu, car elles inventent des méthodes engendrant à la demande des «mystères parfaits»: ce sont les codes secrets, et plus généralement les merveilles de la cryptographie moderne. Ce livre vous propose de vous révéler quelques arcanes de ces mystères. Comment prouver que l'on connaît un secret sans le révéler? La beauté se met-elle en formules? Peut-on poser à plat une table de pique-nique carrée en toutes circonstances? Un être omniscient est-il possible d'un point de vue logique? Et un être omnipotent? Comment expliquer le succès du Bitcoin, une monnaie cryptographique qui vaut aujourd'hui l'équivalent de plusieurs milliards d'euros? Un humain est-il capable de placer un point dans une figure «au hasard»? Qu'est-ce qu'une équation impossible? Autant de sujets déconcertants et passionnants que les chercheurs explorent, pour le simple plaisir de se confronter à la magie des choses formelles et logiques... ou parce que c'est utile!

Composés à partir d'articles de la rubrique «Logique et calcul» qui paraît chaque mois dans la revue Pour la science, les 22 chapitres de ce livre vous feront découvrir différentes facettes de cette aventure jamais interrompue des mathématiques. À vous de parcourir à votre guise ce petit panorama des mystères de la discipline, dans l'ordre ou dans le désordre... et de rejoindre le petit groupe des initiés!

Jean-Paul Delahaye est professeur émérite à l'Université de Lille, où il a enseigné les mathématiques et l'informatique. Il est aussi chercheur au Centre de recherche en informatique, signal et automatique de Lille du CNRS. Il anime la rubrique «Logique et calcul» dans la revue Pour la science depuis de nombreuses années, et écrit régulièrement sur le blog Scilogs.fr.