Learning from Euler. From Mathematical Practice to Mathematical Explanation
Résumé
In his "Découverte d'un nouveau principe de mécanique" (1750) Euler offered, for the first time, a proof of the so-called Euler's Theorem. In this paper I will focus on Euler's original proof and I will show how a look at Euler's practice as a mathematician can inform the philosophical debate about the notion of explanatory proofs in mathematics. In particular, I will show how one of the major accounts of mathematical explanation, the one proposed by Mark Steiner in his paper "Mathematical explanation" (1978), is not able to account for the explanatory character of Euler's proof. This contradicts the original intuitions of the mathematician Euler, who attributed to his proof a particular explanatory character.