In their defense mathematicians have gained huge advances in algebra (and other areas) precisely by abstracting away all unnecessary parts (most notably by Emmy

In their defense mathematicians have gained huge advances in algebra (and other areas) precisely by abstracting away all unnecessary parts (most notably by Emmy Noether). Of course working out which parts are necessary and which aren't is a very subtle process, and one of the areas of programming where a mathematical background can be a huge advantage.