Proclus on the Range of Mathematical Thinking

"The range of mathematical thinking extends from on high all the way down to conclusions in the sense world, where it touches on nature and cooperates with natural science in establishing many of its propositions, just as it rises up from below and nearly joins intellect in apprehending primary principles.  In its lowest applications, therefore, it projects all of mechanics, as well as optics and many other sciences bound up with sensible things and operative in them, while as it moves upwards it attains unitary and immaterial insights that enable it to perfect its partial judgments and the knowledge gained through discursive thought, bringing its own genera and species into conformity with those higher realities and exhibiting in its own reasonings the truth about the gods and the science of being."

-- Proclus, Commentary on Euclid's Elements 19-20