アキレスと亀

1. の意味に関する議論はゼノンのパラドックスの記事でお願いいたします。 掲示板に書き込まれる方は、末尾の注意事項もご一読ください。 (このお知らせ表示は当掲示板レスが>>489まで伸びた時に改訂されました)

アキレスと亀とは、

1. ゼノンのパラドックスのひとつである。「時間と空間の実在性」を否定するために提唱された。
2. 「アキレスは亀に追いつけない」という詭弁である。現代では1. の文脈から離れ、この意味で流通することが多い。
3. 北野武監督の映画のタイトルである。夢を追いかける画家とその妻の話らしい。

本記事では2.について説明する。1. については扱わないのでゼノンのパラドックス参照のこと。

概要

アキレスと亀とは、「アキレスがどんなに速く走ったとしても、前を行く亀に追いつくことはできない」という命題及びその解説である。パラドックスの世界でおそらく最も有名な話の1つ。

俊足に定評のあるギリシャ神話の英雄アキレスが、のろまな亀を追いかける事になった。

さて、アキレスが亀に追いつくためにはまずアキレスが亀の出発点まで到達しなければならないのだが、アキレスが亀の出発点に着いた時には亀はもっと先の地点にいる。そしてアキレスがその亀のいた地点に到達した時には、亀はまた先に進んでさらに先の地点にいる。（以下、無限ループ）

従ってアキレスはどれだけ速く走っても亀には永久に追いつけないし、亀はどれだけ遅くても休まずに進み続ける事で永久に追いつかれない。

このパラドックスを提唱したゼノンは、「時間と空間の実在性」を肯定する一派に対し、その一派の主張をつきつめるとこのアキレスと亀を肯定せざるを得なくなるので、「時間と空間の実在性」を肯定する一派の主張は誤りであると否定したかったのだが、その点についてはこの記事では扱わないのでゼノンのパラドックスを参照のこと。大事なことなので二回言いました。

このパラドックスがゼノン自身やゼノンのパラドックスを差し置いて有名になった背景には、「時間と空間の実在性」に関心がない一般人に対しても一瞬納得しかけてしまうような説得力があり、さらに少し考えればその(非哲学的な)理由を説明したり理解したすることが容易であるということがある。

従って、一般人向けの文章において、ゼノンのパラドックスから切り離されてアキレスと亀の話だけが取り上げられた時には、ゼノンの語りたかった哲学上の議論ではなく、人間の思い込みなどを諭す(さとす)ための題材として用いられている場合が多い。

現実にあるわけがないとわかっていても、その理由を言葉で証明できないという方もいると思うので、一応、上記論理の(非哲学的な観点からの)誤りについての解説の一例を後述しておくのでタネがわからない人はジャンプして頂きたい。

関連動画

関連項目

• アキレス
• 亀
• ゼノン
• パラドックス
• 詭弁
• 論理学
• 数学
• ＜哲学＞
• 等比数列
• 無限ループ
• うさぎとかめ

関連商品

解説

この項目は、ネタバレ成分を多く含んでいます。 ここから下は自己責任で突っ走ってください。

説明1

アキレスが亀よりも速い速度で走っているのは明白であるため、砕いて要約するなら、アキレスが亀にいつまで経っても追いつけないように見えるが、これは追いつく少し前　→ほんの少しだけ前　→ごくごくわずか前…（以下、無限ループ）に追いつけないという話を示しているに過ぎない。時間で現すなら、亀に追いつく1秒前　→0.1秒前　→0.01秒前　→0.0001秒前…を繰り返していけば、追いつくまでの時間差が0秒に到達しない以上アキレスは亀に追いつけない。ように見える。

説明2

横軸:t(時間)、縦軸:x(距離)、青:アキレス、赤:亀
亀とアキレスの詭弁は図の緑線の議論をしてるだけに過ぎない。

説明3

アキレスの速度を2、亀の速度を1、アキレスと亀の最初の距離を1とすると、

亀の移動距離(説明2のグラフでいうと緑線の縦成分)は
1/2 + 1/4 + 1/8 + ... + 1/2^n + ...
となり、一般項1/2^nの極限(n→∞)は0、総和1-1/2^nの極限は1に収束する。
つまり、nが無限大の時に図の交点に至ることになる。
ここでnは概要にある亀とアキレスのやりとりの回数を表す。
しかし、例えばそのやりとりを1億回繰り返したとしても、両者の間にはなお1/2^100000000の距離があり、交わることは決してない。
緑線だけで考えれば、無限大という机上の空論を持ち出さない限り両者が交わることはない。
しかし実際には交点(t,x)=(1,2)は存在する。

これを考えるにはx軸(距離)だけでなくt軸(時間)も考える必要がある。
概要に「アキレスは永久に亀を追いつくことができない」とあるが、この『永久』がくせ者。
緑線の横成分の総和の極限は、
lim (1/2 + 1/4 + 1/8 + ...) = 1
であるが、これもn=無限大の場合であり、実際に1を超えることはない。
1億回も概要のやりとりが続けば永久の時が流れたような錯覚を覚えるが、1-1/2^100000000しか経っていないのである。
実際は時間は2,3,4...と続いていくものであるのに、t<1と限定し、しかもそれを「永遠」という言葉でカモフラージュしている。

これが「アキレスと亀」の詭弁の正体です。

説明4?

亀の速度を1とし、時刻tにおけるアキレスの速度を 1 + e^-t (eはネイピア数)とし、t = 0におけるアキレスと亀の距離を1とすると、時刻tにおけるアキレスと亀の距離は、

1 + ∫₀^t (1 - (1 + e^-t))dt = 1 + [ e^-t ]₀^t = 1 + e^-t - 1 = e^-t > 0

1 < 1 + e^-t なのでアキレスは亀より速く走ってはいるが、いつまで経っても亀に追いつけない。

あれ?

説明5

亀が1の距離を進む間に、アキレスはxの距離を進み、亀がアキレスに対して1の距離を先行しているとする。ただし、x > 1とする。

アキレスが1進んで亀がいた位置についたとき、亀はそこから1/xだけ進んでいる。

アキレスが1/x進んで先ほど亀がいた位置についたとき、亀はそこから1/x^2だけ進んでいる。

アキレスが1/x^2進んで先ほど亀がいた位置についたとき、亀はそこから1/x^3だけ進んでいる。

...

以下無限ループとなるので、アキレスは永久に亀に追いつくことができない。

ニコニコ大百科読者の方々は賢明なのですでにお気づきのことと思うが、アキレスはx/(x-1)だけ進んだ時点で亀に追いつくことができる。ではどこが間違っているのだろうか？

アキレスが亀のいた場所に到達するという動作自体は無限回行われており、その時常に亀はアキレスより前にいる。しかしそれらの時刻はすべて、実はある時刻よ りも前になっている。そのため、その「ある時刻」より後に何が起こるかはこの論法だけではわからないため、「永久に」追いつけないと断定することはできな いのである。この論法には、「無限の時刻において成り立つことは、全ての時刻において成り立つ。」という誤った前提が隠されていたのである。

ちなみにその「ある時刻」こそが、アキレスが亀に追いつく時刻である。つまりこれはアキレスが亀に追いつく前の出来事なのである。

当記事掲示板ご利用上の注意

(以下の記述の文責は当掲示板 ID: pIIpMepHff(掲示板初出>>4) が負います。)

1. ギリシャ哲学の観点からのご意見はゼノンのパラドックスの記事の掲示板でお願いいたします。
2. 前提を明らかにしない人との対話には注意しましょう。

ギリシャ哲学の観点について

当記事掲示板のレス400番あたりまでは、上述のような数学的観点から「アキレスと亀」を詭弁と扱う側と、それをギリシャ哲学の観点から誤りであるという側で意見のすれ違いがありました。

この項の記述者は後者の側ではないため、正確性に保証はありませんが、後者の主張を要約すると「ゼノンのパラドックス(アキレスと亀はゼノンのパラドックスの一部)は世界の実在性の議論であり、そのことを織り込まずに詭弁として処理することは誤りである」ということのようでした。

ゼノンのパラドックスの記事の掲示板でも似たような議論があったため、当記事では「アキレスと亀」として現代に流通している内容に限定して、ギリシャ哲学の観点からの意見は「ゼノンのパラドックス」の記事に住み分けするように誘導するようにしてからは、その点に関する対立は解消されているように思えます。前提の違いによる平行線の議論を避けるためにも住み分けにご協力をお願い申し上げます。

前提を明らかにしないID: def2RwfDHcについて

(注: 以下の記述はその内容を知った上でID: def2RwfDHcと関わろうとすることを妨げるものではありません。)

上記以降も、「アキレスと亀」を数学的観点から扱う側とID: def2RwfDHc(掲示板初出>>3)との間では意見の対立が続いています。

この項の記述者はどちらかというとID: def2RwfDHcと対立的な立場にあるため、やはり正確性に保証はありませんが、ID: def2RwfDHcの主張を要約すると、「アキレスが亀のいた位置に進んだら亀はわずかに前にいる。しかし現実にはアキレスが亀に追いついている。これではアキレスは亀に追いつく瞬間に起きていることが説明できないのでパラドックスである。」ということのようです。

この主張については、多くの方からID: def2RwfDHcに対して指摘が行われましたが、ID: def2RwfDHcは最終的には「アキレスが亀のいた位置に進んだら亀はわずかに前にいる。」という主張を繰り返すため平行線の議論が続いています。

議論が平行線になるのは前提に食い違いがあるためと考えられますが、ID: def2RwfDHcの主張の前提については当人が回答しないため十分な確認がとれない状態です。

一見まともなやりとりに見えても、前提が不明な以上、論理的な対話にはなりえないため、ID: def2RwfDHcには(当人が十分に前提を明らかにしない限り)関わらないことをお勧めいたします。

それでもID: def2RwfDHcにレスしようと思われる方は、お手数ですが>>1から順に議論内容を検討して、ID: def2RwfDHcが対話可能な相手かどうか今一度ご検討をお願いいたします。そんな時間はないという方は、他人が書いたレスで恐縮ですが、>>452を読まれるとよいかもしれません。一見怒りを込めて書かれたような文体ですが、ID: def2RwfDHcの発言全体を冷静に検討しても、そのような結論になるというのは妥当性があるように思います。

関連項目

• 無敵くん