How does *the arrow shot at a target *(in Zeno's Paradox) *compute* the truth of the forall-exists quantifier construct in the Caucy definition? Or what is computing the truth of that for the arrow? When one simulates the arrow shot at a target on a computer using a numerical calculus software package, there are only floating-point numbers, and the arrow "gets to the target" because the finite floating-point number resolution makes it so. - pt -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to email@example.com. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.