Monthly Archives: December 2010

Content-free mathematics

All of mathematics is content-free.

That’s a claim that would probably get me lynched in any self-respecting math department, and anyone who has taken a real math class would feel that it isn’t true. How could anything that causes so much pain and confusion be content-free?

In some sense, however, every statement in mathematics is trivial. After all, a proof is no more than a series of logical implications, and every such implication is logically trivial (i.e. correct). The difficulty in understanding a proof is simply a parsing problem. For a technically challenging proof, there may be many definitions and lemmas to parse, and the writing may not be very clear, but all of the logical steps are there. In mathematics, proving is hard, but once a proof has been written, checking the proof requires much less inspiration and genius. In fact, given a proof, it could be written in computer-checkable form, and we all (hopefully) believe that computers aren’t yet sentient.

This isn’t to say that reading and understanding proofs is entirely easy; if this were true, learning math would take no time at all and checking Perelman’s proof of the Poincare Conjecture would not have taken many months and years. Even though I can try to justify a theoretical claim that mathematics is trivial, it is nonetheless true that I struggle to understand things. My brain isn’t a computer; though it’s probably better as being creative, it’s certainly worse at parsing. An argument about the triviality of math because purely philosophical and is itself content-free.

However, there are some parts of math that I do believe to be content-free, not just because all proofs are logically correct, but because they have been generalized to the point of being eaten up by other broader fields. These domains of mathematics become special cases of general statements, and though they may maintain their clever tricks and elegant arguments, work in these fields can contribute little that is not trivially known.

Consider Euclidean geometry as an example. In the time of Euclid and the Greeks, geometry was considered the essence of mathematics; they even used it to prove facts about the primes. Now, however, Euclidean geometry as moved into the realm of the content-free. Every statement in pure Euclidean geometry can be restated in terms of basic building blocks like collinearity and concurrency, and these can be translated into systems of polynomial equations that can be solved by standard techniques (e.g. Gröbner basis). So the ability to solve problems in Euclidean geometry is a corollary of an understanding of systems of equations, and the work of Euclid can now be automated by a computer.

Of course, plenty of people still care about Euclidean geometry. Even if the mathematical statements themselves are no longer important for the development of mathematics as a whole, Euclidean geometry still provides a good place to learn how to think about math, and that is a skill that transcends mere problems or mere fields. In addition, Euclidean geometry is still a great source of problems for contests because of its abundance of elegant results. For me, an argument in pure Euclidean geometry still carries an aesthetic appeal that a system of equations will never be able to match.

Will every mathematical field end up as a subfield of a more general theory? As I see more math, I believe that the answer is yes: There is always a more general framework in which old ideas are simplified and trivialized. There’s no reason that anyone would care about such a general framework, however, unless it can serve to unify seemingly unrelated ideas. The pursuit of generality for generality’s sake feels to me as rather silly; adding needless abstraction to a problem does not make it any more important or more interesting. Instead, I believe in abstraction when mathematics is ready — and not before.

In the end, there will always be problems and puzzles for mathematicians to ponder, and that is what is important. Regardless of whether mathematics is actually content-free (and throughout this discussion, we never defined “content-free”, so this is an subjective opinion), mathematics will always be interesting and worth studying.

Updates

It seems that I’ve again neglected to update this blog for much too long. I seem to have developed a habit of starting blog posts but not finishing them. There are several posts that have been partially written for weeks, and I plan to finish them over the next few days.

In the meantime, I live-TeXed my number theory course last quarter, and I’ve created a website for my course notes here. In the future, I plan to post my course notes at that site more frequently, probably weekly or even daily; the notes are more useful during the quarter than afterward.

Also, people should check out the CRing Project. It’s a new massively collaborative textbook in commutative algebra, and we’re looking for contributions. We also have a project blog.