The problem is that doesn't hold true for coding, which is why it's deeply irresponsible to rely on them for that. If it was so easy to verify code is correct, we never would have bugs in the first place.
Of course it’s true for coding. Most people reading this probably got into programming because of how fun it is to just try things and see if they work.
Of course you need a way to verify the code (types, tests, etc), but you already needed that anyway!
It’s true for algorithms, it’s not true for software systems. There is a ton of undefined behavior and unverifiable in software that’s widely distributed. A lot of the time this is even because those working on the systems don’t know the edge cases exist.
