**Zeno's paradoxes** are a set of philosophical problems generally thought to have been devised by Greek philosopher Zeno of Elea (c. 490–430 BC) to support Parmenides' doctrine that contrary to the evidence of one's senses, the belief in plurality and change is mistaken, and in particular that motion is nothing but an illusion. It is usually assumed, based on Plato's *Parmenides* (128a–d), that Zeno took on the project of creating these paradoxes because other philosophers had created paradoxes against Parmenides' view. Thus Plato has Zeno say the purpose of the paradoxes "is to show that their hypothesis that existences are many, if properly followed up, leads to still more absurd results than the hypothesis that they are one."^{[1]} Plato has Socrates claim that Zeno and Parmenides were essentially arguing exactly the same point.^{[2]}

Some of Zeno's nine surviving paradoxes (preserved in Aristotle's *Physics*^{[3]}^{[4]}
and Simplicius's commentary thereon) are essentially equivalent to one another. Aristotle offered a refutation of some of them.^{[3]} Three of the strongest and most famous—that of Achilles and the tortoise, the Dichotomy argument, and that of an arrow in flight—are presented in detail below.

Zeno's arguments are perhaps the first examples of a method of proof called *reductio ad absurdum*, also known as proof by contradiction. They are also credited as a source of the dialectic method used by Socrates.^{[5]}

Some mathematicians and historians, such as Carl Boyer, hold that Zeno's paradoxes are simply mathematical problems, for which modern calculus provides a mathematical solution.^{[6]}
Some philosophers, however, say that Zeno's paradoxes and their variations (see Thomson's lamp) remain relevant metaphysical problems.^{[7]}^{[8]}^{[9]}

The origins of the paradoxes are somewhat unclear. Diogenes Laërtius, a fourth source for information about Zeno and his teachings, citing Favorinus, says that Zeno's teacher Parmenides was the first to introduce the paradox of Achilles and the tortoise. But in a later passage, Laërtius attributes the origin of the paradox to Zeno, explaining that Favorinus disagrees.^{[10]}

In 1977,^{[45]} physicists E. C. George Sudarshan and B. Misra discovered that the dynamical evolution (motion) of a quantum system can be hindered (or even inhibited) through observation of the system.^{[46]} This effect is usually called the "quantum Zeno effect" as it is strongly reminiscent of Zeno's arrow paradox. This effect was first theorized in 1958.^{[47]}

In the field of verification and design of timed and hybrid systems, the system behaviour is called *Zeno* if it includes an infinite number of discrete steps in a finite amount of time.^{[48]} Some formal verification techniques exclude these behaviours from analysis, if they are not equivalent to non

In 1977,^{[45]} physicists E. C. George Sudarshan and B. Misra discovered that the dynamical evolution (motion) of a quantum system can be hindered (or even inhibited) through observation of the system.^{[46]} This effect is usually called the "quantum Zeno effect" as it is strongly reminiscent of Zeno's arrow paradox. This effect was first theorized in 1958.^{[47]}

In the field of verification and design of timed and hybrid s

In the field of verification and design of timed and hybrid systems, the system behaviour is called *Zeno* if it includes an infinite number of discrete steps in a finite amount of time.^{[48]} Some formal verification techniques exclude these behaviours from analysis, if they are not equivalent to non-Zeno behaviour.^{[49]}^{[50]} In systems design these behaviours will also often be excluded from system models, since they cannot be implemented with a digital controller.^{[51]}