It's not the claim that mathematics sometimes lacks rigour that's bothering anyone. It's the claim that computer science, as a subject, is somehow more rigorous than mathematics. It's the false equivalence of programs with computer science that's wrong.