Mathématiques, informatique, logique. Où l'on découvre que ces trois mondes n'en forment qu'un... qui a mis trois mille ans à se constituer. Une histoire peuplée de chiffres, de raisonnements et d'ordinateurs... mais une histoire avant tout humaine. Car mathématiser la logique a motivé philosophes et savants pendant deux millénaires !
Le récit de cette combinaison inattendue entre deux disciplines dont on pourrait croire que tout les oppose nous fera rencontrer une vingtaine de personnalités hors du commun. D'Aristote à Leibniz, de Pascal à Boole, de Russell à Shannon, tous les acteurs de cette histoire pour le moins mouvementée rêvaient de pouvoir vérifier la validité d'un raisonnement comme on résout un système d'équations. Gageure ou intuition de génie ? L'informatique a-t-elle répondu au-delà de leurs espérances ? Et demain, comment l'aventure peut-elle se poursuivre ?
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
A gagner : des exemplaires de cette BD jeunesse sur fond de légendes celtiques !
L'autrice coréenne nous raconte l'histoire de son pays à travers l’opposition et l’attirance de deux jeunes adolescents que tout oppose
Mêlant la folie à l’amour, l’auteur nous offre le portrait saisissant d’une « femme étrange » bousculant les normes binaires de l’identité sexuelle
Dans ce recueil de 13 nouvelles, la jeune autrice mexicaine frappe fort mais juste
