Excursus into the History of Calculus

The notion of number line was formed in XX c. We consider the generation of this conception in works by M. Stiefel (1544), Galilei (1633), Euler (1748), Lambert (1766), Bolzano (1830-1834), Meray (1869-1872), Cantor (1872), Dedekind (1872), Heine (1872) and Weierstrass (1861-1885).

In the 16th century, Simon Stevin initiated a modern approach to decimal representation of measuring numbers, marking a transition from the discrete arithmetic practised by the Greeks to the arithmetic of the continuum taken for granted today. However, how to perform arithmetic directly on infinite decimals remains a long-standing problem, which has seen the popular degeometrisation of real numbers since the first constructions were published in around 1872. Our article is de...

A recently developed computational methodology for executing numerical calculations with infinities and infinitesimals is described in this paper. The developed approach has a pronounced applied character and is based on the principle `The part is less than the whole' introduced by Ancient Greeks. This principle is used with respect to all numbers (finite, infinite, and infinitesimal) and to all sets and processes (finite and infinite). The point of view on infinities and inf...

In his famous work, "Measurement of a Circle," Archimedes described a procedure for measuring both the circumference of a circle and the area it bounds. Implicit in his work is the idea that his procedure defines these quantities. Modern approaches for defining $\pi$ eschew his method and instead use arguments that are easier to justify, but they involve ideas that are not elementary. This paper makes Archimedes' measurement procedure rigorous from a modern perspective. In so...

This very short paper presents a novel approach to Euler's formula without presupposing it. The paper reclaims the rightful place of the formula at the heart of calculus.

During the querelle des infiniment petits, Leibniz wrote several texts to justify using Differential calculus among Parisian savants. However, only three were published. Among these publications, ''Sentiment de Monsieur Leibnitz'' had a peculiar destiny. Although we are aware of the manuscript (Gotha FB A 448--449, Bl. 41--42), it is only recently that we have identified a copy of its impression in the British Library catalogue. This copy was printed in 1706 together with wri...

First year calculus is often taught in a way that is very burdensome to the student. Students have to memorize a diversity of processes for essentially performing the same task. However, many calculus processes can be simplified and streamlined so that fewer concepts can provide more flexibility and capability for first-year students.

We seek to elucidate the philosophical context in which one of the most important conceptual transformations of modern mathematics took place, namely the so-called revolution in rigor in infinitesimal calculus and mathematical analysis. Some of the protagonists of the said revolution were Cauchy, Cantor, Dedekind, and Weierstrass. The dominant current of philosophy in Germany at the time was neo-Kantianism. Among its various currents, the Marburg school (Cohen, Natorp, Cassir...

We present a simple yet rigorous theory of integration that is based on two axioms rather than on a construction involving Riemann sums. With several examples we demonstrate how to set up integrals in applications of calculus without using Riemann sums. In our axiomatic approach even the proof of the existence of the definite integral (which does use Riemann sums) becomes slightly more elegant than the conventional one. We also discuss an interesting connection between our ap...

Procedures relying on infinitesimals in Leibniz, Euler and Cauchy have been interpreted in both a Weierstrassian and Robinson's frameworks. The latter provides closer proxies for the procedures of the classical masters. Thus, Leibniz's distinction between assignable and inassignable numbers finds a proxy in the distinction between standard and nonstandard numbers in Robinson's framework, while Leibniz's law of homogeneity with the implied notion of equality up to negligible t...