Definition:Method of Exhaustion/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Method of Exhaustion

The method of exhaustion was invented by Eudoxus of Cnidus in around $370$ BCE.

It was later exploited to good effect by Archimedes, and is used throughout Euclid's The Elements during the course of calculating volumes of solid figures.

Some sources credit Archimedes with invention of the method, but this is incorrect.


Sources