The Limits of Limits: A Skeptical Inquiry into the Foundations of the Calculus, #2.

ε-δ Definition

TABLE OF CONTENTS

1. Introduction

2. The Formal Definition of Limits: Weierstrass and the Alleged Achievement of Mathematical Rigor

3. The Triumph of Rigor?

4. Objections to the Standard Theory of Limits

5. The Circularity Objection: A Fundamental Challenge to Epsilon-Delta Logic

6. The Structure of the Circularity

7. Applications Under Threat

8. An Alternative Definition: The Sequence-Based Approach and Its Limitations

9. Conclusion: The Illusion of Rigor?

The essay below will be published in four installments; this one, the second, contains sections 3-4.

But you can also download and read or share a .pdf of the complete text of this essay, including the REFERENCES, by scrolling down to the bottom of this post and clicking on the Download tab.

3. The Triumph of Rigor?

Weierstrass’s contribution demonstrates that rigor need not come at the expense of mathematical power or intuition. By providing calculus with a logically unassailable foundation, the epsilon-delta definition actually enhanced the field’s capacity for both theoretical development and practical application. The definition established that mathematical truth could be determined through purely logical criteria, independent of physical analogies or temporal metaphors.

A Worked-Out Example: Not Trivial

Consider the limit of the following expression as x approaches 2:

lim (x→2) [√(x² + 5) – 3] / [x² – 4]

Initial Analysis: Why This Limit is Non-Obvious

At first glance, this limit presents several challenges that make its behavior far from intuitive:

Direct Substitution Fails: If we attempt to substitute x = 2 directly, we get:

Numerator: √(2² + 5) – 3 = √9 – 3 = 3 – 3 = 0

Denominator: 2² – 4 = 4 – 4 = 0

This gives us the indeterminate form 0/0, which provides no information about the limit’s value.

Geometric Intuition is Unclear

Unlike simple polynomial ratios, the combination of a square root function in the numerator with a quadratic in the denominator creates a relationship whose behavior near x = 2 is not immediately apparent from graphical reasoning.

Standard Techniques Don’t Directly Apply

This is neither a simple rational function nor a standard trigonometric limit, so common limit theorems don’t directly apply.

The Solution: Rationalization Strategy

The key insight is to eliminate the square root from the numerator through rationalization—multiplying both numerator and denominator by the conjugate expression.

Step 1: Identify the Conjugate: The conjugate of (√(x² + 5) – 3) is (√(x² + 5) + 3).

Step 2: Apply Rationalization: lim (x→2) [√(x² + 5) – 3] / [x² – 4] × [√(x² + 5) + 3] / [√(x² + 5) + 3]

Step 3: Simplify the Numerator: Using the difference of squares formula (a – b)(a + b) = a² – b²:

Numerator = [√(x² + 5) – 3][√(x² + 5) + 3] = (√(x² + 5))² – 3² = (x² + 5) – 9 = x² – 4

Step 4: Rewrite the Expression: lim (x→2) (x² – 4) / [(x² – 4)(√(x² + 5) + 3)]

Step 5: Cancel Common Factors: Since x ≠ 2 in the limit process, we can cancel (x² – 4) from numerator and denominator:

lim (x→2) 1 / [√(x² + 5) + 3]

Step 6: Evaluate the Simplified Limit: Now direct substitution works: = 1 / [√(2² + 5) + 3] = 1 / [√9 + 3] = 1 / [3 + 3] = 1/6

Verification and Interpretation

The Answer: lim (x→2) [√(x² + 5) – 3] / [x² – 4] = 1/6

Why This Result is Significant: Its Hidden Simplicity

What appeared to be a complex rational expression with a square root actually simplifies to a basic fraction evaluation.

Cancellation Reveals Structure

The indeterminate form 0/0 masked the fact that both numerator and denominator contained the factor (x² – 4), which created the apparent singularity at x = 2.

Technique Dependence

Without the rationalization technique, this limit would be extremely difficult to evaluate; L’Hôpital’s Rule could have been used, but this presupposes calculus. The method transforms an opaque expression into a transparent one.

Algebraic vs. Geometric Insight

While graphical analysis might eventually reveal the limit value, the algebraic manipulation provides both the exact answer and insight into why this particular value emerges.

Broader Mathematical Lessons

This example illustrates several important principles about limits and mathematical analysis. First, indeterminate forms require techniques: The 0/0 form signals that deeper analysis is needed, not that the limit fails to exist. Second, algebraic manipulation reveals hidden structure: The rationalization technique exposed the underlying mathematical relationship that direct substitution could not reveal. Third,

non-obvious limits often have simple answers: complex-looking expressions frequently simplify to elegant results when approached with appropriate techniques. Fourth, the power of conjugates: rationalization using conjugate expressions is a powerful tool for handling limits involving square roots, particularly when they produce indeterminate forms.

This worked-out example demonstrates how mathematical rigor, embodied in systematic algebraic techniques, can reveal precise answers to questions that remain opaque to direct intuition or simple computational approaches.

4. Objections to the Standard Theory of Limits

4.1 The Skeptical Challenge: Wildberger’s Critique of Epsilon-Delta Rigor

Despite the apparent triumph of Weierstrass’s epsilon-delta definition in establishing mathematical rigor, the approach has not been without its critics. Among the most prominent contemporary skeptics is Norman Wildberger, whose systematic critique challenges both the pedagogical effectiveness and philosophical foundations of the classical limit definition. Wildberger’s objections represent a significant challenge to the standard narrative of mathematical progress, questioning whether the epsilon-delta approach truly represents an unqualified improvement over earlier methods. His critique is spread out over the past decade on his YouTube channel, rather than in academic papers, his aim being to reach a wider audience. One can listen to the lectures at YouTube, best found by using the YouTube search engine. “Logical Difficulties with the Modern Theory of Limits (I) and (II),” is a good summary.

The Intuition Problem

Wildberger’s primary criticism targets what he sees as the counterintuitive nature of the epsilon-delta definition. While classical mathematicians celebrate the elimination of vague language about “approaching” or “tending toward,” Wildberger argues this formal precision comes at the cost of conceptual clarity. Students, he contends, find themselves memorizing technical procedures without developing genuine understanding of what limits actually represent. The definition requires manipulating arbitrary small positive numbers epsilon and delta according to logical rules that, while formally correct, provide little insight into the underlying mathematical phenomenon (Tall, 1980; White, 2005).

This pedagogical concern extends beyond mere teaching difficulties. Wildberger suggests that the epsilon-delta approach fundamentally misconceives how mathematical understanding develops. By prioritizing formal manipulation over geometric intuition, the definition may actually impede rather than enhance mathematical comprehension. Students learn to verify that specific delta values work for given epsilon challenges, but this technical skill does not necessarily translate into deeper insight about functional behavior or the nature of continuity.

The “Infinite Tasks” Problem

Perhaps Wildberger’s most philosophically challenging argument concerns what he characterizes as the “infinite tasks” problem inherent in the epsilon-delta definition. The requirement that “for every epsilon greater than zero, there exists a delta” seems to demand verification of infinitely many conditions simultaneously. How can mathematicians claim to have established a limit when the definition appears to require completing an impossible infinite checklist?

This objection, if correct, strikes at the heart of mathematical practice. When mathematicians prove that a limit equals a particular value, they typically demonstrate a general method for finding appropriate delta values given any epsilon, rather than literally checking every possible epsilon. But Wildberger questions whether this general demonstration truly establishes what the definition claims to establish. The gap between the logical structure of the definition—which quantifies over all positive real numbers—and the finite proofs mathematicians actually construct suggests a fundamental tension in the classical approach.

Geometric Intuition versus Formal Abstraction

Wildberger advocates approaches that prioritize geometric visualization and spatial reasoning over abstract logical manipulation. The epsilon-delta definition, he argues, is essentially analytic rather than geometric, focusing on numerical relationships rather than the visual and spatial intuitions that often guide mathematical discovery. This emphasis on formalism over geometry may obscure rather than illuminate the mathematical relationships that limits are meant to capture.

The historical irony here is significant. While the epsilon-delta definition was developed to eliminate the perceived inadequacies of intuitive approaches, Wildberger suggests that mathematical intuition—properly channelled through geometric reasoning—might provide more reliable and accessible foundations than abstract logical formalism. He proposes that alternative approaches, such as those based on sequences and convergence, could offer more intuitive pathways to understanding limits while maintaining mathematical precision.

4.2 The Classical Response

Classical mathematicians, however, offer substantial counterarguments to Wildberger’s critique. They maintain that formal precision, far from being a pedagogical hindrance, provides the necessary foundation for reliable mathematical reasoning. The epsilon-delta definition’s apparent abstraction actually represents a crucial intellectual achievement: the successful translation of intuitive ideas into logically rigorous forms that can withstand critical scrutiny.

As regards the infinite tasks problem, classical mathematicians argue that Wildberger misunderstands the logical structure of mathematical quantification. The definition does not require performing infinitely many separate verifications; rather, it establishes a logical relationship that must hold universally. When mathematicians prove a limit exists, they demonstrate that this relationship can be satisfied, not that they have checked every possible case individually. The universality of the quantification is a feature of the logical structure, not a practical impossibility.

Furthermore, classical mathematicians contend that the epsilon-delta approach has demonstrated its value through more than a century of successful application in mathematical analysis. The definition has enabled the development of sophisticated theories in real analysis, complex analysis, and functional analysis that would be impossible without rigorous foundational concepts. While alternative approaches may offer pedagogical advantages in certain contexts, they typically rely on the same underlying logical principles that the epsilon-delta definition makes explicit.

4.3 The Deeper Philosophical Tension

Wildberger’s critique ultimately raises fundamental questions about the nature of mathematical knowledge and the relationship between formal rigor and mathematical understanding. His challenge suggests that the mathematical community’s emphasis on formal precision may have led to approaches that are technically correct but conceptually impoverished. The epsilon-delta definition, while logically unassailable, may fail to capture essential aspects of how mathematicians actually think about limits and continuity.

This tension reflects broader philosophical questions about whether mathematical truth is primarily formal or intuitive, whether rigor should be valued above insight, and whether the evolution toward greater abstraction represents genuine progress or a movement away from mathematics’ essential character (Lakatos, 1976). Wildberger’s skeptical challenge thus serves not merely as a critique of a particular definition, but as a fundamental questioning of the values and priorities that guide contemporary mathematical practice.

Download