Fermat's dilemma: Why did he keep mum on infinitesimals? and the European theological context
arXiv:1801.00427 · doi:10.1007/s10699-017-9542-y
Abstract
The first half of the 17th century was a time of intellectual ferment when wars of natural philosophy were echoes of religious wars, as we illustrate by a case study of an apparently innocuous mathematical technique called adequality pioneered by the honorable judge Pierre de Fermat, its relation to indivisibles, as well as to other hocus-pocus. Andre Weil noted that simple applications of adequality involving polynomials can be treated purely algebraically but more general problems like the cycloid curve cannot be so treated and involve additional tools--leading the mathematician Fermat potentially into troubled waters. Breger attacks Tannery for tampering with Fermat's manuscript but it is Breger who tampers with Fermat's procedure by moving all terms to the left-hand side so as to accord better with Breger's own interpretation emphasizing the double root idea. We provide modern proxies for Fermat's procedures in terms of relations of infinite proximity as well as the standard part function. Keywords: adequality; atomism; cycloid; hylomorphism; indivisibles; infinitesimal; jesuat; jesuit; Edict of Nantes; Council of Trent 13.2
arXiv comment50 pages, published in Foundations of Science
References in corpus (10)
- Leibniz's Infinitesimals: Their Fictionality, Their Modern Implementations, And Their Foes From Berkeley To Russell And Beyond
- Approaches to analysis with infinitesimals following Robinson, Nelson, and others
- Almost equal: Method of adequality from Diophantus to Fermat and beyond
- A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography
- Interpreting the infinitesimal mathematics of Leibniz and Euler
- Toward a history of mathematics focused on procedures
- Cauchy's infinitesimals, his sum theorem, and foundational paradigms
- Gregory's sixth operation
- Leibniz vs Ishiguro: Closing a quarter-century of syncategoremania
- Minimal axiomatic frameworks for definable hyperreals with transfer