QuarkHead, Can you please provide a reference to a peer-reviewed experiment or observation that shows that there are mathematical points in physical space that are in order-preserving bijective correspondence to the mathematical unit interval or real line?
Good point.
And secondly, let me ask you this. If what you say is true, wouldn't the axiom of choice and the continuum hypothesis then be subject to physical experiment? Not to mention simpler axioms such as Powerset or Replacement. Have any such experiments been done? Or even speculatively proposed? Please provide references.
Good point, too.
Where I'm coming from is this:
* Math has this wild crazy symbolic formalization of infinity and infinite sets. If you studied it, and then saw step-by-step how the real numbers are constructed out of the crazy axioms of infinitary set theory, you would cease to believe in the real numbers as physically meaningful.
The set of Rational numbers is apparently quite straightforward to construct and understand and there's already an infinity of rationals between 0 and 1, or indeed between any two rationals you may care to pick, so it's perhaps not very convincing to point a finger at Cantor's "infinitary" dream.
* Rather, you would see them as a highly idealized, abstract model; which we can use to draw inference, and then apply productively to the real world. But nobody really understands why we can do that!
I would have thought evolution is pretty much the best explanation.
And then, presumably our mathematical intuitions do have their limits, anyway. I'm personally highly dubious about the highwire act of mathematicians in some area. Well, in this one area!
This conversation goes back to Euclid. He said a point is without breadth or width, and a line is without breadth, and two lines intersect in a point, and based on this abstract, idealized word game, we put men on the moon.
Before him there was the paradoxes about the divisibility of space and time devised by
Greek philosopher
Zeno of Elea (c. 490–430 BC).
And yet ... there are no points, there are no lines, there are no circles, there is no perfection to be found in the real world.
Some dude said the world was perfect as it is. I think I would agree with that at least until someone can put a better one on the table.
It's not a question of "
perfection" at all. You will have noticed that there's no red colour either in the physical world and I don't think you could claim that red is perfect. Rather, our mathematical intuitions work, at least to some considerable extent, for the same reason that having a red colour to represent things does work to a considerable extent.
So I do believe you are conflating the physical world, on the one hand; with the abstract, idealized mathematical world on the other.
We're all guilty of the same charge in that we tend to take our own perceptions of the world as the world itself. Can't blame us.
It's as if a Greek say, "See, the real world contains points and lines." No, Euclid only said, "Let us play a game with words." And the game is USEFUL. But it is not necessarily ontologically meaningful.
Rest assured that many people agree with you here, at least with the idea. The wording is crap. It's precisely because our intuitions and models are ontologically
meaningful to us that we believe they're the real world. So, you must have meant "ontologically true" rather than "
ontologically meaningful".
That's my viewpoint. Do you feel that physicists believe differently? That their models are reality? Some do, I'm sure. Others, Newton among them, recognized the distinction.
It takes a village.
EB