It is because you can precisely define what would make the whole mathematical endeavor collapse (not following the rules of logic or showing inconsistency), while even defining precisely what would be undesirable for software requires bringing in the whole physical world. If you can't define the outcome you want, you can't have rigorous standards to follow.