Nous avons lu ... nous avons apprécié

Vous ne voyez pas le rapport entre J.S. Bach (le compositeur) et M.C. Escher (le peintre)? Vous ne connaissez pas K. Gödel (le mathématicien)? Vous ne savez pas qu'on a pu mettre en évidence l'existence de théorèmes qui ne pourront jamais étre démontrés ni par un homme, ni par une machine? Ce livre est fait pour vous ! Une très stimulante et très plaisante introduction aux systèmes formels, à la récursivité, la complétude, la décidabilité, la logique symbolique, l'intelligence artificielle... Gilles Bertrand

La seconde partie de cet ouvrage riche et passionnant est consacrée à l'histoire du calcul, ``des cailloux à l'ordinateur''. Elle met particulièrement bien en lumière les apports nombreux et divers qui ont abouti à l'informatique telle que nous la connaissons, notamment ceux de Al Khwarizmi, Pascal, Boole, Jacquart (celui des métiers à tisser), Turing, Babbage, Von Neumann pour ne citer que les plus connus. Michel Couprie

Ce livre introduit et illustre, en quelques exemples simples mais bien choisis, une revolution conceptuelle majeure des conceptions scientifiques du temps et du changement. Le calcul et l'informatique y ont bien sûr un rôle à jouer. Michel Couprie

Calculabilité, complexité, ordre et chaos, cryptographie, virus, altruisme... tels sont quelques-uns des thèmes développés par J.P. Delahaye, qui démontre au passage que les univers de l'informatique et de la logique sont loin d'être aussi "carrés" que l'on pourrait l'imaginer. Michel Couprie

Comment créer des images d'une complexité et d'une beauté incroyables à partir de programmes de quelques lignes ? Comment s'évader d'un labyrinthe grâce à quelques portes NAND ? Comment calculer avec des spaghetti, des élastiques ou de l'eau savonneuse ? Quelques réponses à ces troublantes questions, et à d'autres encore, se trouvent dans ce livre.

Dans ce livre, il n'est pas directement question d'informatique puisque le propos s'articule autour des Mathématiques. Les Mathématiques, ce langage si commun et si galvaudé! Elles ont, nous semble-t-il, existé de toute éternité!  Leur formalisme, au moins, avec ses codes et ses signes nous paraît immuable... Et pourtant! Découvrez à travers ce réjouissant "polar" comment tout cela est né et s'est développé, comment des problèmes qui nous paraissent triviaux ont tenu en haleine des générations de mathématiciens et de mathématiciennes, et comment d'autres perdurent... Qui seront peut-être un jour résolus, grâce à l'informatique... François Rocaries

Non seulement ce livre se lit comme un véritable roman d'espionnage, mais il vous donne aussi des "clés" pour comprendre les principes fondateurs de la cryptographie moderne. Michel Couprie