【世界のパラドックス】アキレスとカメ ─ 足が速くても永遠にカメに追いつけない？

当サイトを閲覧いただきありがとうございます。本記事はパラドックスの中でも特に有名な「アキレスとカメ」について解説します。

このパラドックスは紀元前5世紀の古代ギリシアの哲学者ゼノンが考えたもので、2500年近く経った今でも哲学や数学の世界で語り継がれている超ロングセラーの難問です。

内容はとてもシンプルで、ギリシア神話最速の英雄アキレスが、のろまなカメに永遠に追いつけないことを論理的に証明してしまうという、何とも不思議な話です。

アキレスとカメのパラドックスとは

設定はこうです。アキレスとカメが競走をしますが、カメにはハンデとして少し先からスタートさせます。例えばカメが100メートル先からスタートするとしましょう。

アキレスはカメよりもずっと速いので、まずカメがいた地点（100メートル先）まで走りますが、アキレスがそこに到達するまでの間に、カメも少しだけ前に進んでいます。仮にカメが10メートル進んでいたとすると、カメは今110メートル地点にいます。

次にアキレスは110メートル地点まで走ります。しかし、またその間にカメは少しだけ前に進んでいます。今度はカメが1メートル進んで111メートル地点にいます。

アキレスが111メートル地点に着くと、カメはさらに0.1メートル先に…。

この論理を繰り返していくと、アキレスが「カメがさっきいた地点」に着くたびに、カメは必ずその少し先にいることになります。つまり、アキレスは永遠にカメに追いつけないという結論になってしまいます。

現実世界ではアキレスがカメに追いつけないなんてことは有り得ません。普通に考えれば、足の速いアキレスはすぐにカメを追い抜くはずです。

ただ、ゼノンの論理には一見すると穴がありません。「カメの元いた地点に追いつく→その間にカメが少し先に進む→また追いかける→また少し先に…」という無限の繰り返しが生じてしまい、理屈の上ではアキレスは永遠にカメの後ろにいることになるのだと思います。

私たちの直感では「追いつけるに決まっている」と分かっているのに、論理的に反論するのが意外と難しい。このパラドックスの核心だと言えるのではないでしょうか。

ゼノンはこのパラドックスを通じて、「運動」や「空間の無限分割」という概念そのものに疑問を投げかけました。運動が本当に存在するなら、なぜ論理的にこのような矛盾が生じるのかと。

このパラドックスは2000年以上にわたって哲学者を悩ませましたが、17世紀以降の数学の発展によって一つの明快な回答が示されました。それが無限級数の収束という考え方です。

確かに、アキレスがカメに追いつくまでのステップは無限にありますが、各ステップにかかる時間はどんどん短くなっていきます。

具体的に計算してみましょう。アキレスの速度をカメの10倍とします。

この時間を全部足すと、10 + 1 + 0.1 + 0.01 + … となります。これは無限に続く足し算ですが、その合計は11.111…秒（およそ11.11秒）に収束します。無限に分割された時間であっても、その合計が有限の値になります。

なので、ゼノンの論理のトリックは「無限回のステップ＝無限の時間」という暗黙の仮定にありました。実際には無限回のステップがあっても、それぞれの時間が十分に短くなれば合計は有限で済むのです。

ここで注意が必要なのは、ゼノンは別に「アキレスはカメに追いつけない」と本気で主張していたわけではないということなのだと思います。

ゼノンは師匠であるパルメニデスの哲学を擁護するためにこのパラドックスを考えました。パルメニデスは「存在するものは一つであり不変である」と主張しており、「運動」や「変化」は幻想に過ぎないと考えていました。

ゼノンはこのパラドックスで「運動が実在するという常識的な考えは、実は論理的な矛盾を含んでいる」ということを示そうとしました。要するに背理法的な論証だったということになるのだと思います。

アキレスとカメのパラドックスは、その後の数学や哲学に非常に大きな影響を与えました。

無限級数や極限の概念が厳密に定義されたのは、このパラドックスに対する回答を模索する中で生まれた部分が大きいです。微分積分学の基礎となる「極限」の概念は、まさにゼノンのパラドックスが突きつけた問いに対する数学的な回答と言えるかもしれません。

また、アキレスとカメは哲学においても今なお議論の対象です。数学的には解決したと言えますが、「無限分割された時間の合計が有限になる」ということを本当に理解できるのかという哲学的な疑問は残ります。

数学が答えを出しても、私たちの直感がどうしても納得できない。このもやもや感こそが、パラドックスの本質なのかもしれません。

アキレスとカメは、ゼノンが残した運動に関するパラドックスの1つです。全部で4つが伝わっており、互いに補い合う構造になっているという感じでしょうか。