jambaugh said:
Yes, I begin to see your point and it is a very good one. I suppose my problem was in being first exposed to his paradoxes outside of this context.
Yes, Zeno's paradoxes are usually introduced like "here's how confused people were before there was calculus," but I don't think that gives him a fair shake. His goal was very different from the goal of an analysis involving calculus-- we was asking questions more along the lines of "what is motion really", not "how can we make a workable mathematical model of motion"? I think the question presages issues like how in relativity, motion is viewed as a relationship rather than an attribute, and in quantum mechanics, motion requires indeterminacy. Zeno wasn't quite there of course, but he might have gotten a chuckle about how those issues turned out, if we can claim to have resolved them even now (which we probably can't, given issues like the Planck length).
Yet still I cannot give him quite as much credit as you do, given we can, at the classical level still work in an ontological picture, his unresolved problems do not quite invalidate ontological description in the same way as does quantum mechanics seeing as they do not invalidate classical mechanics.
But Zeno didn't have classical mechanics either, and that in a sense was his advantage not his disadvantage. He was "free" to ask the kinds of fundamental questions about motion that those who buy off on classical descriptions imagine are already resolved. To them, I would counter, if they were really resolved by classical mechanics, why didn't classical mechanics work? In other words, just because a certain question doesn't bother us any more, doesn't mean it has been resolved-- we might just be kidding ourselves! It could be argued this is what the Newtonians were doing. If I had to guess, I suspect Zeno would have held to his argument even after taking modern classical mechanics and calculus classes. He might have said "great, you have a successful quantitative model, but I'm pointing out that it can't actually be what nature is doing." And he would have been right, for whatever reason.
All that is required to resolve the issues raised by Zeno is the use of continuum time in the same way as continuum space is being used.
But that's something different-- you are saying that one can create a physical model which does not suffer from the problems that Zeno referred to. But Zeno never said such a mathematical model was impossible, he merely said that logic dictated it could never be truly what was happening. He would have needed to maintain that the postulates of any such mathematical model had to be counter to what reality could support as the actual truth. And again, that's actually right, and it came 2500 years before Godel's proof, and before quantum mechanics.
The various "it will never occur" statements rely on the incomeasurablity of continuum space and discrete time, or on the ability to map one discrete infinity into a proper subset of another... hmmmm... (visions of the Von Neumann and Banach-Tarski paradoxes just popped into my head!)
Here's how I like to imagine Zeno's arrow paradox. Imagine Zeno and superman were arguing, and Zeno says arrows don't actually move. To prove his point, he takes out an arrow and shoots it. Superman says, "but you just disproved your point, look the arrow is moving right now." To which Zeno replies, "are you really sure it is moving? Maybe you should take a closer look." So Superman uses his super speed to fly after the arrow, and he gets right up next to it, and says "by golly, Zeno was right-- it isn't moving at all, now that I get a nice long close look." Then it slams into a tree, so we must attribute the consequences of the undeniable fact that the tree has been hit by the arrow. To that, Zeno would simply conclude that we are suffering from the illusions of our ability to perceive, which is pretty close to saying that motion is not a fundamental attribute, it is a relationship between the observed and the observer, whose consequences are added to the object by the observer's perceptions.
Then again it is at a deeper level in is pointing out the incompatibility of ontological infinities with the necessary finiteness of epistemological foundations which recurs in QM.
Exactly, I think that's what Zeno was really saying, though it's hard to know. To bring my diversion back to the thread, my point is that we shouldn't make so much fuss about the wave-particle duality that appears in quantum mechanics, we should make the fuss about the wave-particle disunity that appears in classical physics. It is only because we forgot to care about questions like Zeno's that we thought all was well in the classical world, the fact that we had these two very different ways to talk about motion should have been a clue that all was not well in the land of Newton.