Cet ouvrage expose les idées et travaux les plus récents de Jean-Louis Krivine dans un style plaisant dénué de formalisme mathématique. Pour ce logicien, notre cerveau, comme celui des autres animaux, s’est vu doté d’une série impressionnante de programmes que nous utilisons inconsciemment, comme ceux qui gouvernent la marche et la vision. Ces programmes sont la clé de l’adaptation des espèces à leur environnement physique. Faire des mathématiques, c’est d’abord traduire ces programmes sous une forme qui nous permette de les utiliser consciemment.
Pour illustrer son point de vue, Didier Dacunha-Castelle s’appuie sur ce que nous disent d’autres disciplines (éthologie, psychologie cognitive, neurobiologie, anthropologie) à propos des mathématiques. La relation profonde et intuitive entre la statistique mathématique et le fonctionnement du cerveau illustre la thèse principale et amène à des explications sur les acquis et les limites de ce que l’on appelle Intelligence Artificielle.