[marcosdumay]

It's the requirements discovery phase that always breaks every pure mathematical treatment of software development.

(And also, like DW points, that software is way more complex. But on this case, it's the requirements discovery.)

[moi2388]

That’s because it’s not pure math, but applied math. Which also has the requirements discovery phase.

[marcosdumay]

Yes, and constructing mathematical theories is completely different from finding proofs.