アキレスの前方１ｍに、一匹のカメがいます。

いま、アキレスは亀に追いつこうと、その１ｍの地点まで歩きます。

カメは追いつかれるのが嫌で、その間に、５０ｃｍ逃げます。

アキレスは、また、その５０ｃｍの地点まで歩きます。

その間にカメは、また、２５ｃｍ逃げています。

アキレスは、また、２５ｃｍ歩きます。カメも、また、１２．５ｃｍ逃げています。

０，０００００００００００００００００００００００００００００・・・１cm

と、小数点以下いつまでも　０　が続き

アキレスは、いつまでもカメに追いつけないというパラドクスを、ゼノンが記述しています。

プログラムは、矛盾の存在を許しません。

ですから、ゼノンのパラドクスの存在も許しません。

アキレスとカメのパラドクスは、点の存在を認める限り、パラドクスとして残されます。

たとえ、よく記述されるように、時間という概念を用いた無限級数で答えを記述しても、

それは、解決ではありません。

ゼノンは、時間においても、瞬間を問題としていました。

時間を用いた解法は、時間の連続的な流れを前提とし、それは、ゼノンの意ではありません。

ゼノンは、０．０００００００００００００００００００００・・・１秒も、

問題としているからです。