Skip to main content Accessibility help
×
Home
  • This chapter is unavailable for purchase
  • Print publication year: 2010
  • Online publication date: October 2011

4 - From Proof-Technique to Definition: The Pre-History of Delta-Epsilon Methods

from Part I - The Calculus as Algebra

Summary

Introduction

The nineteenth century is often called “the Age of Rigor in Analysis.” This name can be understood as “the age of delta and epsilon.” In defining limits, in proving theorems, in exemplifying clear thinking, the rigor known as “Weierstrassian” represents to us the greatest achievement of the nineteenth-century analysts.

The development of these principles from the less adequate foundations for the calculus of the eighteenth century illustrates a trend common to many branches of nineteenth century mathematics, a trend toward increasing generality and abstraction. In the area of the foundations of analysis, this trend can be viewed as a retreating of the frontier of the “obvious.” For instance, Lagrange believed that the principles of the algebra of finite polynomials could be extended to the algebra of infinite series; André-Marie Ampère rejected this, but, like Lagrange, accepted the intermediate-value property as a self-evident attribute of continuous functions; Augustin-Louis Cauchy and Bernhard Bolzano realized that the intermediate-value property had to be proved, but implicitly assumed in their proofs the convergence of bounded monotone sequences. Again, after Richard Dedekind had worked out a rigorous theory of the irrational, while Karl Weierstrass had completed the task of reducing the concepts of the calculus to those of arithmetic, the search for the foundations of arithmetic itself was begun.

The working out of the principles and techniques of delta-epsilon methods lies at the heart of the rigorization of analysis.

Related content

Powered by UNSILO