I hope that my life or preservation of the environment does not depend on the software you are working on being correct.
In fields where that is the case, methods for ensuring correctness are important.
In fields where that is the case, methods for ensuring correctness are important.
Most software is "usably wrong," which is good enough to build a career on.
Even more: Perfection takes a lot of time. Perfection therefore means less software reaching the user. So, is the imperfect software more useful to the user than no software at all? In most cases, yes, even with all the problems the software causes. (Because if it were otherwise, wouldn't the users stop using the software?)
TFA made a universal claim. OP replied “not true, here’s where it doesn’t hold.” Bringing up cases where it does hold doesn’t change anything.