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.
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.
Like Linux? ;)
I think you might be surprised that Linux is generally not involved in safety-critical systems. There is a whole separate ecosystem for those applications.