# Mathematics is not platonic.

1. Jul 16, 2011

### Willowz

I don't understand why many/some mathematicians believe that mathematics is platonic. I mean, how would they know if mathematics is platonic? Surely, mathematics does depend in some way on the world.

How do you convince a mathematician that mathematics is not platonic.

2. Jul 16, 2011

### micromass

Post this in philosophy This has nothing to do with mathematics

3. Jul 16, 2011

### SteveL27

Poke 'im in the eyes. No wait, that's the answer to "How to you make a Venetian blind?"

Define your terms! Wiki gives seven different meanings to the word "Platonic," ranging from Platonic love to Platonic solids.

http://en.wikipedia.org/wiki/Platonic

If you mean, does math necessarily have to correspond to the real world, then how can non-Euclidean and Euclidean geometry both be logically consistent? They can't both be true about the world.

4. Jul 16, 2011

### Willowz

Well, I'm directing this question at mathematicians who happen to believe in platonism.

5. Jul 16, 2011

### SteveL27

Can't you at least tell us what you mean by that? Here is the Wiki definition of Platonism:

Platonism is the philosophy of Plato or the name of other philosophical systems considered closely derived from it. In a narrower sense the term might indicate the doctrine of Platonic realism. The central concept of Platonism is the distinction between that reality which is perceptible, but not intelligible, and that which is intelligible, but imperceptible; to this distinction the Theory of Forms is essential. The forms are typically described in dialogues such as the Phaedo, Symposium and Republic as transcendent, perfect archetypes, of which objects in the everyday world are imperfect copies.

It keeps going on like that in a much longer and totally incomprehensible run-on paragraph. I for one can't make heads or tails out of it. Are you saying that math is perceptible but not intelligible? And what on earth does that mean?

My freshman calc professor was perceptible, in the sense that he was physically present; but he was hardly intelligible!

http://en.wikipedia.org/wiki/Platonism

6. Jul 16, 2011

### pmsrw3

Mathematical Platonism is the idea that mathematical things have an existence that is independent of the physical universe. (At least, that's what I think Willowz is referring to.) The main proponent of this idea whom I've read is Roger Penrose, but there are others. I don't personally think there's any way to KNOW whether or not this is true, but I find it a congenial viewpoint.

Steven Weinberg http://www.physics.nyu.edu/faculty/sokal/weinberg.html" [Broken]
It seems clear to me that http://en.wikipedia.org/wiki/Monster_group" [Broken] is real in a different way than Mars is real. That belief may not be exactly Mathematical Platonism, but it's close enough.

Last edited by a moderator: May 5, 2017
7. Jul 16, 2011

### disregardthat

Mathematical platonism is not something that is wrong per se, it's in my opinion quite meaningless. Stating that mathematical truths are true independent of the physical universe can be interpreted in two ways. The harmless way; mathematical statements are not statements of the physical world, hence independent of the physical world. It's basically admitting that mathematics is something different than physics.

The more harmful way, is believing that mathematical truths are truths about something. One posits the actual existence of objects for which mathematical statements are about, which is not only completely meaningless (what are these things?), but it does redirect the focus of mathematics as an intuitive but rule-based activity to the illusion of mathematics as a sort of descriptive language of something mysterious or in some cases divine. It creates the mental picture of a mathematical universe which we connect to through mathematics, and makes us believe we are describing it. This point of view is in my opinion complete nonsense. I don't mean that it's implausible or unlikely, but that it is meaningless in a very fundamental manner.

8. Jul 16, 2011

### pmsrw3

How is this "harmful"? What, precisely, is the damage done by this belief?

9. Jul 16, 2011

### Willowz

Yet, this doesn't explain why mathematics describes the physical world so well. It actually denies that claim. I assume that you don't take this position nor platonic realism for the matter.

I don't know what this means or could mean.

10. Jul 16, 2011

### Willowz

It's harmful in that it carries a lot of metaphysical baggage. Meaningless statements perpetuating meaningless statements.

11. Jul 16, 2011

### pmsrw3

I don't see it. To be clear, I'm not talking here about whether Platonism is harmful. I'm trying to understand disregardthat's claim that it is harmful for people to believe that mathematical objects exist.

Let's take an example. I believe that there exists a simple group of order 60. My group theory textbook says so, and produces arguments that I find utterly persuasive. What harm, exactly, am I doing by believing this? What is the "lot of metaphysical baggage" caused by this belief, which you find so harmful? And do you really believe that "There exists a simple group of order 60" is a "meaningless statement perpetuating meaningless statements"?

12. Jul 16, 2011

### pmsrw3

Interesting. Do you understand the statement, "Biology is different from physics"? How about "General Electric is different from Pixar"? Do you deny the meaningfullness of differences between all conceptual entities, or is there something special about the relationship between the disciplines of mathematics and physics that makes you unable to comprehend how there could possibly be even the slightest distinction between them?

13. Jul 16, 2011

### disregardthat

Don't take harmful literally, of course it won't physically harm anyone. But as Willowz says it is a lot of metaphysical baggage, for which one has no reason to believe in-while it distorts what mathematics really is about. Yet some people feel inclined to believe in such things as platonic entities.

14. Jul 16, 2011

### SteveL27

That's my guess too, but what about Plato's cave? We see shadows of things that are real. So even though we can only see shadows, the real things are still out there.

So does that mean that mathematical and other abstract things exist but we only see their shadow? Or what does it mean, exactly?

I think the OP is not clear on the issue. The Wiki links were so complicated that if the issue were really that simple, Wiki would say so. If all Platonism is saying that a novel exists but its plot doesn't -- since the novel is a physical thing, but the plot is only a human mental abstraction -- then that seems like a rather trivial point.

So I honestly wonder if we are working from a clear definition of Platonic. I was hoping to hear from the OP with a few examples. Is the number 5 Platonic? Is the "completed infinitey" of the natural numbers? The uncountably infinite of the real numbers that are not definable, and cannot ever be named?

We're not all talking about the same thing until someone actually tells us what Platonism is. I tried to look it up but I could not understand what Wiki was saying; it seemed to presuppose formal knowledge of technical terms in philosophy. And the story of the cave seems to have an ambiguous meaning when applied to abstract things.

15. Jul 16, 2011

### pmsrw3

So, you agree with Willowz that my belief that there exists a simple group of order 60 causes me to carry around "a lot of metaphysical baggage"? You believe that I have "no reason to believe" this? You believe that this belief of mine "distorts what mathematics really is about"?

I have to disagree with you on all three points.

16. Jul 16, 2011

### pmsrw3

The OP was definitely not clear. But "Mathematical Platonism", if that's what he's talking about, is a much narrower position than "Platonism". It's still not completely defined -- there are several somewhat different versions -- but it isn't all as incomprehensible as that Wiki quote on Platonism you posted (which I agree is impenetrable). Take a look at http://www.iep.utm.edu/mathplat/" [Broken]. It's fairly comprehensible, at least in the beginning.

Last edited by a moderator: May 5, 2017
17. Jul 16, 2011

### SteveL27

No, I didn't say that at all. I said that I personally have no idea what Platonism is. And that nothing I read in this thread has convinced me that anyone else does either.

Personally I believe in the mathematical existence of uncountable sets. However I have no idea if that makes me a Platonist or an anti-Platonist. I gather that makes me an anti-Constructivist, or a Cantorian, or something.

I already gave the example of the logical consistency of both Euclidean and non-Euclidean geometry. To me that shows that mathematical objects need not have physical existence. I thought that single example would either refute or confirm Platonism ... if only someone actually knew for certain what Platonism means with respect to mathematical existence.

I didn't make the baggage remark. Did I say something that looked like I was agreeing with it? I'm perfectly fine with mathematical existence of nonmeasurable sets and all the other stuff constructivists dislike.

I just don't know what a Platonist is -- even after trying to figure it out.

18. Jul 16, 2011

### spamiam

I think this is a pretty interesting question, but I don't think it has a simple yes or no answer. Certainly mathematics was created to solve real world problems. All the typical field operations of $+, -, \times,$ have very clear real world applications.

But on the other hand, if we look at things like the Banach-Tarski paradox, certainly their sphere doubling method exists as a mathematical object, but it almost certainly does not exist as a real world method.

However, if we consider probability, the real world applications are undeniable. As Sheldon Ross points out in his First Course in Probability, "It should be noted that it is an empirical fact that events having mathematical probability 1, do, in fact, occur in practice with certainty." Furthermore, he points out that, if it is unfeasible to calculate a probability mathematically, we can simply use a computer simulation to give us a very good approximation for the actual value.

If I had to choose a side, I would probably say that mathematics exists independently of the real world. Will I ever see a large cardinal walking down the street? Doubtful. Do objects of infinitesimal size exist in the real world? Who knows. But mathematically, both of these objects exist without any doubt.

Last edited: Jul 16, 2011
19. Jul 16, 2011