Subjectivity in Mathematics
Objectivity lives in a sterile, formal, rule-based world. Subjectivity lives in the real world. Mathematical objectivity is meaningless; mathematical subjectivity is meaningful. Aristotle brought the first; the second’s are yet to be brought.
Mathematics, as it is practiced, is subjective and dependent on the shared intuition of the current community that composes the field. But to say it is subjective is not to say that it is arbitrary. Theorems and propositions still need to be fairly consistent. The moment we need to describe theorems in common language is the moment we lose symbolic and formal objectivity. There is always an interpretation narrow or literal enough that it turns out to be true and also a sufficiently wide interpretation such that it turns out to be false, or vice versa.
The proof of a theorem is the means to convince others to accept the theorem. Contrary to common belief, when doing mathematics, first you have the intuition of the solution, and only then are you able to prove it. Intuition precedes proof. The sequence of steps that compose a proof acts as a post-rationalisation that guides us in improving the soundness of our intuition.
The more certain and objective something is, the more meaningless it gets; meaning and objectivity usually go in opposite directions. That is perhaps why reading a book, contemplating a painting, or listening to a symphony, due to their inherent subjectivity, can be the most meaningful experiences we can have as humans.
Adapted from a longer format
Recommended Reading:
- Proofs and Refutations - Imre Lakatos
- What is Mathematics, Really - Reuben Hersh