
REVUE D'HISTOIRE DES SCIENCES (2/2023)
Pour acheter ce numéro, contactez-nous
Recevez les numéros de l'année en cours et accédez à l'intégralité des articles en ligne.
Vers 1690, dans un manuscrit inédit, Guillaume de L’Hospital (1661-1704) soutient qu’il fournit une démonstration « géométrique » de tous les résultats de l’Arithmetica infinitorum (1656), célèbre ouvrage de John Wallis (1616-1703). Malgré le caractère novateur de ses méthodes calculatoires, ce dernier est accusé d’user de raisonnements « inductifs » qui ne garantissent pas la preuve rigoureuse des résultats. Wallis défend la position contraire. Dans cet article, j’analyse comment, de manière relativement indépendante, Jean Prestet (1648-1690) et L’Hospital interprètent des écrits de Pascal pour défendre leurs pratiques mathématiques contre celle de Wallis dans l’Arithmetica infinitorum. J’examine en particulier comment la pratique hospitalienne oeuvre à suppléer à ce qu’il considère comme une carence démonstrative de l’induction.
In an unpublished manuscript from around 1690, Guillaume de L’Hospital (1661–1704) claims that he has provided a “géométrique” proof of all the results in the Arithmetica infinitorum (1655), the well-known work by John Wallis (1616–1703). Despite the innovative character of his computational methods, Wallis was accused of using “inductive” reasoning that did not guarantee a rigorous proof of the results. Wallis defended the opposite position. In this article, I analyse how, in a relatively independent way, Jean Prestet (1648–1690) and L’Hospital interpreted Pascal’s writings to defend their mathematical practices against Wallis in the Arithmetica infinitorum. In particular, I examine the way in which L’Hospital’s practice worked to remedy what he considers the deficiencies of Wallis’s induction.