And this is the difference between math and engineering: in engineering you just have to be close enough to perfect that it doesn't break in the real world. It can never be absolutely perfect, because that would be either physically impossible or too expensive. This is true for mechanical, civil, chemical, and yes, software engineering.

In engineering the time it takes to implement the design/proof/code/output is one of the constraints. In math this constraint is ignored.