I like thinking of CS theory as "math, with more hand-waving". Or, I can't remember where I read it, but something about CS being the mathematics of asymptotes.
replies(1):
But asymptotics are heavily used, true. That is because often the theoretically interesting properties appear only when the inputs are huge (I'm sure this happens in other areas as well).