Math is a humanity. Theorems _are_ computationally proven. However, they might not be adopted for humanistic reasons.

For example: http://en.wikipedia.org/wiki/Four_color_theorem.