Greeks and Calculus: Eudoxus and Dedekind
rsbowen.github.io