A deep dive into the method of exhaustion, the ancient Greek technique of finding areas and volumes by squeezing shapes with inscribed and circumscribed polygons. We trace its origins with Antiphon and Bryson, see how Eudoxus formalized it through the theory of proportion, and follow the line from these ideas to modern calculus—through limits, convergence, and rigorous reductio arguments.
Note: This podcast was AI-generated, and sometimes AI can make mistakes. Please double-check any critical information.
Sponsored by Embersilk LLC