Arrow Paradox

From ProofWiki
Jump to navigation Jump to search

Paradox

At any particular instant, a moving arrow is either at rest or in motion.

If the instant is indivisible, the arrow cannot move, because if it did, the instant would immediately be divided.

But time is made up of instants.

As the arrow cannot move in any one instant, it cannot move in time.

Hence the arrow remains at rest.


Resolution


This article needs proofreading.
Please check it for mathematical errors.
If you believe there are none, please remove {{Proofread}} from the code.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{Proofread}} from the code.


This is an example of how an incorrect model of reality (time is made up of instants) leads to incorrect predictions (movement is impossible).


This theorem requires a proof.
In particular: Might be able to invoke set theoretical results concerning the notion that time is a continuum and therefore composed of an uncountable number of instants, then deduce the existence of a time interval by invoking something from measure theory. Parp.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{ProofWanted}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.



Historical Note

The Arrow Paradox is one of Zeno's Paradoxes, as famously raised by Zeno of Elea.


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Arrow_Paradox&oldid=625172"