Software is different than any other field because it's supposed to stand on pure logic. Errors due to hardware failing because of physical properties are expe

Software is different than any other field because it's supposed to stand on pure logic. Errors due to hardware failing because of physical properties are expected and unavoidable, but a logical statement no matter how big is supposed to be provable to be correct (except maybe weird self referencing statements, but that's another topic). I think that's what makes our expectations higher in that field as opposed to any other ones.