| Résumé : |
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ésent de grands moments historiques, des débats et des réflexions à travers lesquels nous voyons les mathématiciens aux prises avec leur activité : démontrer. Il propose aux lecteurs de penser la démonstration mathématique dans ses aspects à la fois historiques, épistémologiques, philosophiques et didactiques |
La démonstration mathématique dans l'histoire: (1990)
