Comment by tychonoff

Mathematics isn't just another toolbox - it also represents an attitude. Well-structured code, modularization, and generality are natural by-products of theorem proving. So interest in any area of mathematics will make you a better programmer.