I've been revisiting calculus for the fun of it and trying to "reconstruct" over history to understand what forces led to the creation of various topics. The reason for rigorously defining limits is still alluding me.
The story of limits has its genesis with Newton's fluxions and Leibniz's infinitesimals. I understand the criticism of "ghosts of departed quantities" and how it was mostly hand waving (considering it zero in one place but feeling free to divide by it elsewhere and assuming otherwise). We got results but the math process seemed absurd.
However, if I understand correctly, Cauchy did give a definition albeit not as "precise" as the $\epsilon-\delta$ given in the modern form by Bolanzo and Weierstrass, but a definition nevertheless which may have worked (or would it not?)
My question is thus this: Why was this necessary? What do we lose if don't have such a definition?
A few counter questions that I'm mulling about:
- Does having this definition really change anything in the world of physics/applied math? If so, any examples?
- What changes in the world of pure math? Do we just get a definition because we like to precisely define things in the mathematical world? Is that it?
- Or was it more to "break away" from the geometric intuition of continuity and define it from a more algebraic/arithmetic POV to finally break away from the shackles of geometry and bring calculus on a more analytical footing and thus real analysis too?
- Any other rationale?