Les métamorphoses du calcul théorie des groupes et pourtant le zéro a

et pourtant le zéro a brillé par son absence pendant des milliers d’années

ne ressentiez-vous pas quelques joies

de « capturer » judicieusement le lieu d'un point qui se déplace

auteur chez Ellipses

Les métamorphoses du calcul théorie des groupes et pourtant le zéro aNotre avis Gilles Dowek, chercheur l'Inria et professeur l'ENS Paris Saclay, retrace dans ce livre prim du Grand Prix de Philosophie de l'Acadmie franaise 2007 une rvolution silencieuse : depuis les annes 1970, le calcul automatique dispute la dmonstration sa place centrale dans les mathmatiques. Cette mtamorphose profonde redfinit ce qu'est une preuve, renouvelle le dialogue entre maths et sciences naturelles, et ouvre des perspectives indites sur ce