wrong, math is not the law of the universe, it just happens to produce good predictions, except when it doesn't
basically, to be sure that your math is done correctly, you need to apply error checking method, but to check if you checked it correctly, you need to apply error checking, ad infinitum
obviously computers do not make mistakes, except when they do
at certain level of computation, bad math is indistinguishable from good math, and eventually it becomes useless in determining truth
the level of complexity in which we find math reliable is unclear, because sometimes we make mistakes in simple things, and error checking may be harder than the operation itself