Math is a humanity. Theorems _are_ computationally proven. However, they might not be adopted for humanistic reasons. For example: http://en.wikipedia.org/wiki

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 http://en.wikipedia.org/wiki/Four_color_theorem.