3
$\begingroup$

It is my understanding that Cauchy was the first to incorporate the notion of a $\delta$-$\epsilon$ limit in his proofs, although a definition was not formulated until Weierstrass did so.

  1. How far back does the concept of limit go and unto what purpose(s)?

  2. Also, is there any evidence that the ancient Babylonians were aware of the concept?

$\endgroup$
2
  • $\begingroup$ See some Histories of the Calculus and no, no Ancient Babylonian concept of limit. $\endgroup$ Oct 1, 2020 at 5:53
  • 6
    $\begingroup$ Modern concepts do not go back like that. As May wrote, "the hope of finding a 'first' comes to grief because of the historically dynamic character of ideas. If we describe a result with sufficient vagueness, there seems to be an endless sequence of those who had something within the vague specifications". Depending on what "concept of limit" is supposed to mean one can ascribe it to prehistoric tribes, Greek method of exhaustion or Newton, see What was the notion of limit that Newton used?, and others in between. $\endgroup$
    – Conifold
    Oct 1, 2020 at 8:08

1 Answer 1

7
$\begingroup$

Rigorous notion of limit for special cases arose in the work of Eudoxus and Archimedes, when determining the length of a circle, volume of the pyramid etc. (The work of Eudoxus did not survive, we know about it from Euclid and ancient historians of mathematics).

The argument to find these limits was called the "method of exhaustion". It is equivalent to the modern notion of limit, in the special cases they studied, but does not coincide with it exactly. And applies only to special cases, they had no general definition.

The length of the circle for example is DEFINED as the limit of perimeters of inscribed polygons, and Euclid and Archimedes were dealing with it absolutely rigorously from the modern point of view, except in the cases where Archimedes himself clearly says that his arguments are heuristic.

Same applies to many other works of Archimedes on areas and volumes. They are all defined as limits, and Archimedes was able to find them, and his arguments are rigorous from the modern point of view.

The modern definition of a limit was systematically used by Cauchy in the early 19 century.

But many people in between were talking about the limits, and were able to compute them, with various degrees of details and rigor. The degree of rigor in calculus similar to that of Archimedes was achieved only in the second half of 19th century.

Like many other mathematical notions, one can say that the general notion of limit "slowly evolved" rather than was "invented" by some person at some definite time. Cauchy, who played an important role in formalization of calculus still made "elementary mistakes" from the point of view of a modern student. (For example he claimed and "proved" that the limit of continuous functions is continuous. His proof is valid if by the "limit" one means "uniform limit", but he did not state the definition of uniform limit carefully).

EDIT. Ancient Babylonians had an algorithm which approximated square roots of integers by rational numbers with any given accuracy. So one can say that they were able to compute these limits. However they gave no definitions and did not prove anything (at least no traces of proofs survive).

All this intends to show that the limit was not invented at some definite time, but that people just studied it, and the modern notion slowly evolved from these studies; the evolution took about 2500 years or more.

Your second question: "for what purpose?" has an evident answer: to define and compute the things like the length of a circle or the volume of a pyramid. (It is a remarkable theorem of Max Dehn, solving a problem of Hilbert, that the volume of a pyramid cannot be DEFINED without the notion of a limit. Unlike the area of a triangle which can be).

$\endgroup$
2
  • 1
    $\begingroup$ "It is equivalent to the modern notion of limit but... they had no general definition". Do you see the problem? It would be odd to say that a modern theorem about metric spaces is equivalent to one in the plane because it reduces to it when so applied. Indeed, several different theorems my reduce to the same one. And what does "absolutely rigorous from the modern point of view" even mean when they did not have modern concepts to use in arguments, rigorously or otherwise? $\endgroup$
    – Conifold
    Oct 1, 2020 at 22:58
  • $\begingroup$ @Conifold: More careful expression would be "it is equivalent to the modern notion of limit in this special case". I edited. $\endgroup$ Oct 2, 2020 at 0:04

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.