Notre avis

Gilles Dowek, chercheur à l'Inria et professeur à l'ENS Paris-Saclay, retrace dans ce livre primé du Grand Prix de Philosophie de l'Académie française 2007 une révolution silencieuse : depuis les années 1970, le calcul automatique dispute à la démonstration sa place centrale dans les mathématiques. Cette métamorphose profonde redéfinit ce qu'est une preuve, renouvelle le dialogue entre maths et sciences naturelles, et ouvre des perspectives inédites sur ce que les ordinateurs pourront un jour démontrer là où l'esprit humain bute sur la taille des raisonnements.

Écrit dans un style accessible malgré la profondeur du propos, ce livre de 226 pages s'adresse aux étudiants avancés, aux enseignants et à tous les lecteurs curieux des fondements de la pensée mathématique et de son avenir numérique. C'est une réflexion épistémologique rare, à la croisée des mathématiques, de l'informatique et de la philosophie des sciences. Un titre qui force à reconsidérer ce que signifie vraiment « comprendre » en mathématiques.