2

I was looking at arguments about mathematics being a science (or not), here for example, but it seems that these arguments are more about some metaphysical idea of mathematics rather than the subject itself. Mathematics as it exists is a study of the most schematic properties of physical objects, it has both theoretical and empirical aspects. If our world consisted of unstable shapes constantly morphing into each other we would have a very different kind of geometry, if the objects we encounter sprouted new ones when put together we would have a very different kind of arithmetic and set theory.

Mathematics doesn't study some "arbitrary" systems of axioms, it never did and it never will. Which systems are "good" or "interesting" is discovered by trial and error, just as theoretical parts in all sciences. Sure, mathematics is unfalsifiable in the sense that if you accept the axioms (and logic) you have to accept the theorems, but Newtonian mechanics is unfalsifiable in exactly the same sense. And in the sense that it is falsifiable so is Euclidean geometry. I suppose, one can imagine a being doing mathematics without sensory input, but one can also imagine a being that creates new worlds as it pleases with their own laws of physics.

Scientific theories are not verified or falsified by experiments alone either, as Einstein remarked "only theory decides what one observes". String theory gives a stark example of just how indirect a relation to observations and experiments can be for a vibrant physical theory. Mathematics is the most theoretical of sciences, but there are more commonalities between it and physics than between physics and say psychology, so it seems to be well within the spectrum.

Is there a separation in modern philosophy between mathematics as practiced and "ideal mathematics" that "has no bearing on the physical world and cannot be affected by it"? What is the philosophical basis for such separation, is there similar separation for other sciences? Is the controversial status of mathematics as a science due to historical tradition of Plato, Kant and Husserl who treated its source as metaphysically different?

EDIT: Euclidean and non-Euclidean geometry are not "arbitrary" at all, one summarizes our basic space experience, the other modifies only one aspect of it which may not even be noticable at small distances. Grothendieck invented etale cohomology to prove Weil conjectures about algebraic varieties, following up on that quickly leads to tangible things as well. Even the purest of areas like logic, set theory or algebra can be easily traced to their roots, including Godel's theorems with their reliance on arithmetic and "effective axiomatization". There is leeway in every science, no one expects some direct correspondence with reality or applicability to it from every theory. There is more leeway in mathematics, but where is the qualitative difference?

  • @ChrisW I'm not sure those axiomizations are arbitrary. They are chosen for specific reasons. A better example would be mathematical logic. For example, Godel's famous incompleteness result applies to an arbitrary theory whose axioms enable it to model arithmetic. – Nick R Sep 18 '14 at 0:16
  • 3
    "Mathematics as it exists is a study of the most schematic properties of physical objects". I assume you just made this up. In what sense is, say, etale cohomology related to the properties ("schematic" or not) of physical objects? – WillO Sep 18 '14 at 0:22
  • @NickR I thought that non-Euclidean was chosen because it wasn't Euclidean: that's not exactly a physical reason, and is rather an example of the notion that Mathematicians are willing to study diverse (arbitrary) sets of axioms. – ChrisW Sep 18 '14 at 0:25
  • 1
    @ChrisW Fair enough. I guess it comes down to what you mean by arbitrary. For example, different sets of axioms can be chosen for Euclidean Geometry, but the axioms we choose are not arbitrary in the sense that we have chosen them for the simplicity, economy and elegance of the resulting theory of geometry. – Nick R Sep 18 '14 at 0:39
  • 2
    @Conifold: Algebraic geometry emerges from the study of systems of polynomial equations. What physical objects do you imagine these equations are meant to describe? Or --- perhaps an even better example --- where is the physical basis for, say, Fermat's two-square theorem? – WillO Sep 18 '14 at 3:25
1

I'm still not sure that your question is clear enough to answer, but I'm willing to give it one more go.

Your question is : Are there two different mathematics in philosophy?

On the surface the answer would appear to be no. However, it is possible to make a case for yes.

If you take a Platonist view of the subject, which I believe would be the majority view amongst mathematicians, then mathematics exists independent of ability to articulate its truths. So from this point of view, clearly there are two different mathematics - the real and the human. Although we have articulated some of the truths, it is not clear that we have done it correctly. When I say "correctly", I don't mean we have made errors, I mean that our articulation may not be a true representation of the subject.

For example, in the 1950's, people noticed that our theory of elliptic curves could be considered to be part of complex analysis, and not a separate theory at all. (I believe this follows from a result called The Modularity Theorem.) Accordingly, both theories might actually be articulations of the theory of L-functions. Maybe this is the true nature of the mathematics. L-functions also appear to indicate that the algebra of Galois Theory and the theory of analytic functions in the complex plain are different articulations of the same mathematics. But what makes us so sure that L-functions are the correct view. Maybe they are manifestations of some deeper mathematical truth. Etc....

As you have noted in your comments, our mathematics, no matter how abstract or remote, can be seen to be rooted in our real world experience. You mention string theory, which is rooted in geometry. Similarly, our theory of large cardinals is demonstrably remote (provably undecidable), but it is rooted in the act of counting. Surely reality includes aspects well beyond our ability to experience, just as it must surely be the case that mathematics includes provable truths which are beyond our ability to imagine or root in our human experience.

So my naive reading of your question leads me to the answer YES, I think it is fair to say that most mathematicians would agree with the idea that there are two different mathematics in philosophy.

ASIDE I appreciate that this may be a pretty crappy argument, but "hey", I'm not trying to make a thesis of it. It's the best I can do with the time at hand.

  • It's a good argument. It suggests to me that the reason for singling out mathematics is the majority Platonist view of mathematicians themselves. Although inspecting creation of actual mathematics shows that it is not related to Platonic world even if it exists. – Conifold Sep 18 '14 at 20:59
  • @Conifold Wow! I'm really chuffed that you have accepted my answer, especially since you have such a high rep on MSE and obviously know the subject much better than I. Apparently I'm still impressionable. – Nick R Sep 18 '14 at 21:03
2

Maybe you'd be interesting in fictionalism. There's value in reading Moby Dick, even though the characters don't exist and the story's not true. Likewise, there's value in mathematics that is not "true" about the world. And who's to say which part of math that is? Maybe it's all of it.

When one first hears the fictionalist hypothesis, it can seem a bit crazy. Are we really supposed to believe that sentences like ‘3 is prime’ and ‘2 + 2 = 4’ are false? But the appeal of fictionalism starts to emerge when we realize what the alternatives are. By thinking carefully about the issues surrounding the interpretation of mathematical discourse, it can start to seem that fictionalism is actually very plausible, and indeed, that it might just be the least crazy view out there.

http://plato.stanford.edu/entries/fictionalism-mathematics/

  • I had a look at the paper on fictionalism and found it an enjoyable read - unapologetic in its philosophical demands. It's always interesting to encounter a new point of view. – Nick R Sep 18 '14 at 23:01
0

As Math Professor said: "Mathematics is a quenn of Science". Philosophers may have two quenns - why not? You can have two fathers, so why not two mathematics? Most curious to me are complex numbers. As another professor said, someone invented complex numbers, which wasn't real. But it used algebra around them to compute difficult problems with polynomial which people didn't know the answer calculating with real numbers. That can be that kind od mathematics, which axiom we don't perceive as a from real world, but it can be useful. Another kind of mathematics is that real world mathematics. You can interprete it variously, for example: Euclidean geometry - in which you can describe the surface - one point is point on surface in 3d. So we see mountains, we see the surface and we have mountains in computer games which are generated from math formulas in euclidean geometry. But for this goal, the authors needed to use another kind of mathematics - theory that is useful but not real. So we can mix it, so recalling that i assumed in the beggining that there are two mathematics. That is contradiction, because we can connect kinds of mathematics having one which product of two mathematics.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.