Many would disagree with your characterisation of pure mathematics, computer science, or both. And I am certain that computer science yields nothing to pure mathematics in her pursuit of abstraction.