From Eudoxus to Einstein: A History of Mathematical Astronom