That is a tempting conclusion, but consider if the software was 100% correct per some specification, and the spec was wrong? No, the problem is greater than th

That is a tempting conclusion, but consider if the software was 100% correct per some specification, and the spec was wrong? No, the problem is greater than that. Decisions that affect people should not be made solely by computers or algorithms, and those decisions should be made transparent and auditable. If that leads to different/better ways of writing software, good. It's a larger societal issue though.