It's interesting that mathematics, which is mostly recreational (I received profound disdain at the math department for asking about applications!) has such rigorous standards, but software, which entire civilizations now run on, does not.

If a piece of software is in safety-critical applications these days, it is often required to have a proof of correctness.