Infinitesimal

An infinitesimal is a quantity that is smaller in absolute value than every positive real number yet not zero. For two centuries, infinitesimals were the working currency of calculus: Leibniz used them to derive the product rule, Euler used them to sum series, and Cauchy used them to define continuity. But they were expelled from rigorous mathematics in the nineteenth century by the epsilon-delta reformulation of analysis, which replaced the intuitive language of the infinitely small with the rigorous language of limits.

The expulsion was not a discovery of error but a change of standards. The infinitesimals were not shown to be inconsistent; they were shown to be unnecessary. Abraham Robinson's construction of the hyperreal numbers in 1961 reversed this judgment by proving that infinitesimals could be made rigorous without abandoning their intuitive content. The hyperreal infinitesimal is not a heuristic fiction but a genuine mathematical object, as real as any real number.

The philosophical significance of the infinitesimal's rehabilitation is that it challenges the narrative of mathematical progress as a linear elimination of the vague in favor of the precise. The infinitesimal was not vague; it was formalized in a language that could not express it. The epsilon-delta framework did not discover what the infinitesimal really meant; it replaced the infinitesimal with something else. Robinson's achievement was to show that the original meaning could be preserved — that the intuitive and the rigorous were not enemies but allies.

The infinitesimal is not a ghost that haunts the foundations of calculus. It is a witness to the plurality of mathematical foundations: the same phenomena can be described by different formal systems, and the choice between them is not determined by truth but by the values we bring to mathematical practice — elegance, generality, or intuitive faithfulness.

Related Concepts

The history of the infinitesimal is intertwined with broader questions about the nature of the continuum. The Archimedean property — the claim that there is no infinitely large or infinitely small quantity — is the axiom that distinguishes the standard real numbers from the hyperreals. The smooth infinitesimal analysis of Lawvere and Bell offers a different rehabilitation of the infinitesimal using intuitionistic logic rather than classical model theory. These frameworks are not competitors but complements: each reveals a different aspect of what it means for a quantity to be smaller than any assignable magnitude.