Software & mathematics are both fundamentally about iteratively building better abstractions. The difference is that math is encoded as proofs, which require special skills to appreciate, while software is encoded as machine-runnable code, letting anyone enjoy the results.