La philosophie de la démonstration
Dans l’Introduction à la philosophie mathématique (1919), au chapitre I, Bertrand Russell fait la distinction entre, d’un côté, la mathématique ordinaire, celle qui part d’objets mathématiques simples et élémentaires pour construire des objets de plus en plus complexes et s’élever aux mathématiques supérieures et, d’un autre côté, ce qu’il appelle la philosophie mathématique, qui se tourne vers les principes et notions fondamentales pour les élucider et les élaborer mathématiquement. Russell prend l’exemple du début même des mathématiques : « Quand les anciens géomètres grecs passèrent des règles empiriques de l’arpentage égyptien aux propositions générales dont ils découvrirent qu’elles permettaient de justifier les premières, puis de là aux axiomes et postulats d’Euclide, ils faisaient de la philosophie mathématique […] ; mais une fois découverts les axiomes et les postulats, leur utilisation dans des déductions, comme on le voit chez Euclide, appartient aux mathématiques au sens ordinaire ». Ce propos caractérise assez bien le processus de mise en œuvre et d’élaboration de la notion de démonstration dans les mathématiques en attirant l’attention sur l’exigence philosophique qui gouverne ce processus. Nous nous proposons de le montrer sur l’exemple de la géométrie.
