Linguistique de l’écrit

Revue internationale en libre accès

Revue | Volume | Article

175079

Learning from Euler

from mathematical practice to mathematical explanation

Daniele Molinini

pp. 105-127

Résumé

Dans son « Découverte d'un nouveau principe de mécanique » (1750) Euler a donné, pour la première fois, une preuve du théorème qu'on appelle aujourd'hui le Théorème d'Euler. Dans cet article je vais me concentrer sur la preuve originale d'Euler, et je vais montrer comment la pratique mathématique d Euler peut éclairer le débat philosophique sur la notion de preuves explicatives en mathématiques. En particulier, je montrerai comment l'un des modèles d'explication mathématique les plus connus, celui proposé par Mark Steiner dans son article « Mathematical explanation » (1978), n'est pas en mesure de rendre compte du caractère explicatif de la preuve donnée par Euler. Cela contredit l'intuition originale du mathématicien Euler, qui attribuait à sa preuve un caractère explicatif spécifique.

Détails de la publication

Publié dans:

Giardino Valeria, Moktefi Amirouche, Mols Sandra, Van Bendegem Jean Paul (2012) From practice to results in logic and mathematics. Philosophia Scientiae 16 (1).

Pages: 105-127

DOI: 10.4000/philosophiascientiae.721

Citation complète:

Molinini Daniele, 2012, Learning from Euler: from mathematical practice to mathematical explanation. Philosophia Scientiae 16 (1), From practice to results in logic and mathematics, 105-127. https://doi.org/10.4000/philosophiascientiae.721.