In this talk I will discuss different techniques that software engineers use to manage complexity in software systems, and draw analogies to the kinds of complexity one might find in software systems that deal with mathematics.