De la géométrie grecque aux démonstrations automatiques de l'intelligence artificielle, la démonstration mathématique a connu dans l'histoire plusieurs formes et différentes significations. Bien souvent, la légitimation d'un type de démonstration est accompagnée d'hésitations, de difficultés et de controverses.
Cet ouvrage présente de grands moments historiques, des débats et des réflexions à travers lesquels nous voyons les mathématiciens aux prises avec leur activité de prédilection : démontrer, il propose aux lecteurs de penser la démonstration mathématique dans ses aspects à la fois historiques, épistémologiques, philosophiques et didactiques.

(4ème de couv.)