Every Mathematical Theory Is Held Inside a Physical Substrate

There goes my solution for Zeno's paradox, which is: before you can get all the way somewhere, you have to get halfway there. And before you can get halfway there, you have to get a quarter of the way there. And therefore, you'll never get there.

One way to get past that is to say that even a series of infinite things can have a finite sum. Just run the infinite series and sum it, and we learn pretty early on that it converges. But another thought I had was that you have to cover a minimum distance, a Planck length, and therefore you will get there.

It's a finite series of steps. But you're saying we just don't know. Yes, so if the laws of physics say that we can cover one meter in a certain time period, then that's exactly what we'll do.

Our current understanding of the laws of physics say precisely that. So Zeno's paradox is resolved simply by saying that we can cover this space in this amount of time. It's silent on whether or not space is infinitely divisible.

When someone asks you, "Is space infinitely divisible?" then I would say yes, it is. And they might turn around and say, "How do you know?" And I would say, "General relativity." How do I know that's true? Well, I don't know that it's true; however, it is the best explanation that we presently have of space-time.

Then they might get into a discussion about, "Well, if it's infinitely divisible, then you're presented with Zeno's paradox all over again." And I would say, "No, you refute that by a simple experiment."

So we don't know how it is that we can travel through all of these infinite points if, in fact, there are infinite points. Zeno's paradox is about the domain of pure mathematics, but we don't live in a world of pure mathematics; we live in a world of physics.

And if the physics says that we can transverse an infinite number of points in a finite amount of time, then that's what we'll do, regardless of what the mathematics is. Every mathematical theory is held inside a physical substrate of a brain or a computer.

You're always bound by the laws of physics, and these pure abstract domains may have no mapping to reality.