I don't think most programmers are "good" at math. Not to say that they're bad either or don't have the ability to get good if they put in the effort. It's just that most programmers don't learn how to prove things because only math majors in college really need to prove things.

It could be useful if programmers actually learned how to properly prove things. That way they would realize how full of holes their code tend to be.