There is still time to vote! I think this will only take one post, so where I go next can be decided by you.
Background: I’ve done a few phil math posts before, so many of you know that I tend toward the humanist/social construct/embodied mind/quasi-empiricist side. This is meant as a disclaimer that 99.9% of mathematicians will disagree with me (and to the point of storming out in order to not become violent). Math tends to be a touchy subject. This probably has to do a lot with the romance of mathematics.
In that post I talk about why the romance of mathematics is mistaken, but not why it is so important to mathematicians that they can’t let go. I think there are deep psychological problems that most mathematicians have to overcome. The first of which has to do with how hard it is to become a mathematician. You spend K-12 learning math, then do an undergrad degree for 4 years, then do something so much more incredibly hard and spend probably 5 or more years for the Ph.D., then maybe a 3 year post-doc, then a professor position. After some 25 years of studying like you wouldn’t believe, people still don’t make it. Others still have many years ahead to become well grounded in their field. So…there is a lot of time invested that most other disciplines can’t claim. I think this makes mathematicians feel like they have some sort of superiority to other disciplines, and they want that “permanent” label placed on their work. When stuff comes up that contradicts that, it is just ignored. The other problem is that mathematicians tell their students that they earn this label throughout all those years. It is hard to reverse that much brainwashing.
Here (mainly under Chapter 11) I talk about the rejection of Platonism and the inexactness of math. One more thing to mention is the social construct aspect. Standards of math change and conceptualizations change as you go through time and to different cultures. This means that proofs that were once correct can become incorrect. This should not be threatening to mathematicians. It opens up new doorways. I don’t want to go into empiricism, but I am a firm believer that computer proofs should be accepted as proof. (Yes, empiricism is involved there. People will argue with that, but don’t listen to them).
It has been suggested that I talk about a recent post biological proof. So that preface was to say that unlike 99% of mathematicians, I am open to the idea that this could be a legitimate proof method. But I’m going to put on my philosopher’s hat and look at some of the assumptions that could be problematic.
First off, I’m not a huge fan of the term of Isoperimetric Inequality, but I’ll ignore that and see if the statement: The solid that minimizes the ratio of surface area to volume (SA/V) in Euclidean 3-space is the sphere is proven.
1. Animals overwhelmingly assume a spherical shape when they are cold. A lot could be said about this. Just look at the picture given. Is that a sphere? It looks more ellipsoidal to me. In not so sarcastic terms, how do we rule out things that are rather close to the sphere? No animal actually makes it to a sphere.
2. If animals overwhelmingly assume some shape when they’re cold, then it is because that shape is the warmest. Granting that we somehow accomplish 1, we now have this being the absolute crux of the proof, yet I feel this has some major hidden baggage. I’m guessing this is some sort evolutionary claim. If some animals assume a shape that warmest and some assume one that is not warmest, then the not warmest ones do not have as high evolutionary fitness and will not continue on. Well, granting that evolution is true (sort of a jump), I still think there are problems. What about other warming mechanisms like fur and fat. What about animals that don’t live in regions that get extremely cold (in that it would be nice to assume warmest positions when cold, but not threatening to survival if you don’t quite get there).
What have we learned? I’d say that it is most likely that any biological proof is going to have assumptions that can be picked apart and thus not be a legitimate proof. But, I do not rule out the possibility that one could exist and be at the same “level of convincing” as a standard proof.
Let’s go back to my age old claim, though. Mathematics is NOT about answers, calculation, and results. In general, mathematicians like to read about and hear results, but in general they could care less. They care about ideas. Mathematics IS ideas. We do learn a lot from that proof in terms of ideas (and what purpose does a proof serve other than to present new ideas?). We get a conjecture from the proof. We get a couple of notions on how to go about proving it (although as it turns out they probably won’t work). So in terms of importance, I think proofs such as these carry equal weight to make and examine as standard proofs. In fact, they may carry more weight, since they are more universal than a typical proof. You don’t have to be an expert to read it, and once you understand the principle you can translate it to your specialty.
OK. I’ll stop babbling. Note: I didn’t want to be influenced, so I did not read the comments (in fact, I caught this blog post for the first time before any comments were made, so it was weird to see them there this time), so I apologize if I rehash something that has been said. Also, I feel bad for not actually addressing this in the original post, but this would be a rather annoying comment to receive I imagine.