有名なゼノンの逆理のひとつアキレスと亀の問題の解説のひとつに、「無限に足していくことはできるが最終的に和2を持つから追いつく」というものがありました。
つまり、「アキレスの1/2の速度を持つ亀を、アキレスが追い越すとき、その計算は1+1/2+1/4+・・・と無限に加算することとなるが、和2を持つので追いつく」ということです。
ここで数学が素人の私は、無限に続くのになんで和2を持つと証明できるの?と思ってしまいます。
ずーっと加算していっても、永遠に到達できない点が無限である所以ではないのでは?という(屁)理屈です。
1億桁計算しても、1京桁計算しても、1不可思議桁計算しても2ではないのなら、なぜ2と言えるのか?そもそも無限に計算することなんて無理なのでは?
どこを誤解してるのでしょう?
これが無限と言うものであるのであれば、他の対象を取り扱った無限、例えば熱力学第3法則(でしたっけ?)「有限回数の操作で絶対零度に到達することは不可能」というのは、無限回数の操作では到達できると言うことで、アキレスの問題でできるなら絶対零度だってと思ってしまいます。
私の誤解を一刀両断にしてくれる回答をお待ちしております。
No.2
- 回答日時:
えーと、半端な回答になってしまうのですけど。
。。等比級数1/2、1/4、1/8、・・・、(1/2)^∞の和は1になるからです。「収束」とした方がいいのかな。。。
タブン上の方に詳しい方が回答されると思うんですけど。
ゼノンのパラドックスについは結局、カメに追いつくまでの作業を細かく分けて考えているだけなんですよね。
この回答への補足
そうねんですよね。
(1).「追いつく」間での作業を無限に細かくできる
(2).1より、計算で求めようとすれば無限回計算する必要がある。
(3).無限回計算することは不可能である。
(4).2および3より計算している間はいつまでも追いつけない。
(5).しかし、終わることない計算のはず(無限に計算するのが不可能なのは、無限に数えられないのと同じ)なのに、「追い越す」ことができる。つまり計算している間は追いつけないのに、無限の彼方に(無限の計算がなされたとすると)追いついている。
いやはや。もしかして言葉の意味とかも関係してくるのでしょうか?
No.1
- 回答日時:
秒速2mのアキレスと、秒速1mの亀、亀はアキレスの2m手前からスタート、とすると、
ゼノンの言い分は、
スタート1秒後:アキレスは亀のスタート位置、亀はその1m前
そこから0.5秒後:アキレスは亀のスタート位置+1m、亀は0.5m前
そこから0.25秒後:アキレスは亀のスタート位置+1.5m、亀は0.25m前
・・・
だからアキレスは亀に追いつけないというものですね。
この計算を無限に進めると「スタートから2秒後にアキレスは亀に追いつく」が求まります。「スタートから2秒後」がミソです。有限時間です。
別の言い方をすれば、ゼノンは「2秒未満ではアキレスは亀に追いつけない」といっているに過ぎないのです。
一方絶対零度の方は、毎回の操作は同じ時間と考えるのですよね。
1回目の操作:絶対X度
2回目の操作:絶対X/2度
3回目の操作:絶対X/4度
・・・
この計算を無限に進めると「無限回の操作で絶対零度」になります。しかし、この場合、必要な時間が有限ではないのです。
2回目以降の操作が前回の操作の半分の時間になるなら、アキレスが亀に追いつくのと同様に、有限時間で絶対零度にたどり着けます。
この回答への補足
なるほど。
まず、熱力学第3法則?はなぜ真なのかは理解できました。ゼノンの方が有限時間の中で無限に計算するのに対し、到達するのに使う時間が無限だからと言うことですね。しかし、
♪この計算を無限に進めると「スタートから2秒後にアキレスは亀に追いつく」が求まります。
無限回計算をするのに、なぜしゅるしゅると「2」と言う解に到達するのが理解できません。人間の神経伝達速度より速い、コンピュータの計算をつかさどるパルスの速さをもってしても、計算する回数が無限なら、なぜ解が有限時間になるのでしょうか?
あの、一応弁解しますが、私ももちろん本気で追いつけないとは思っていないんです(当たり前ですが)。でも、無限を考えるとどうも論理的帰結に矛盾が生じると感じてしまうんです。
無限を数えることはできても(アレフ・ゼロ)無限に数えることはできない・・・と思ってます。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 『数は実在するのか』 6 2023/06/04 15:15
- 物理学 時間粒子のクロトンやクローノンを仮想すれば、アキレスは亀を追い越せますよね? 8 2023/07/06 04:20
- 高校 有効数字計算 確定した値を含む 2 2023/01/18 06:03
- 数学 アキレスと亀のパラドックスはいまだに理解されていないのか ? 3 2023/02/10 02:19
- 数学 『無限回の計算』 4 2023/06/07 17:49
- 数学 アキレスは亀を追い越せることの証明。 11 2023/02/06 18:03
- 物理学 シミュレーション仮説は本当か? 6 2023/06/25 20:26
- 哲学 《絶対性》ってなに? 0 2022/09/13 05:19
- 物理学 宇宙は無限か有限か? 4 2023/05/28 13:35
- 物理学 マルチバース仮説は本当か? 5 2023/07/15 11:33
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
べき乗
-
皆さん定義を教えてください 「...
-
ACCESS VBAでインポート定義の場所
-
「logx^2=2logx」が間違って...
-
1未満と1以下の違い
-
無限から無限を引いたら何にな...
-
eの0乗は1ってどういう原理です...
-
日本語 ことば ひとまわり ふた...
-
Excelファイルの「数式」タブ→...
-
p⇒q=(¬p)∨qについて
-
強者男性、弱者男性の定義って...
-
交換法則が成り立って、結合法...
-
最大元と極大元の定義の違いが...
-
Excel関数で、セル内の文字列の...
-
マイナス7は素数ですか?
-
フーリエ変換について質問です。
-
全順序集合と半順序集合
-
三角関数(たとえばf(x)=sinxと...
-
1wordとは、何文字ですか?
-
なぜ、直角三角形ではないのにs...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
1未満と1以下の違い
-
無限から無限を引いたら何にな...
-
理論物理学でよく用いられる地...
-
(-1) ^2πってなんで1じゃないん...
-
ACCESS VBAでインポート定義の場所
-
変数の宣言の名称を教えてくだ...
-
「互いに素」の定義…「1と2は互...
-
日本語 ことば ひとまわり ふた...
-
ACCESS IIF関数 複数条件の設...
-
質問の定義が分からないので確...
-
なぜ、直角三角形ではないのにs...
-
min関数 一橋大学過去問
-
質問の定義が分からないので確...
-
ヘシアンが0の場合どうやって極...
-
excel vba 名前付きセルが存在...
-
数字の1とは何なのか?
-
マイナス7は素数ですか?
-
「logx^2=2logx」が間違って...
おすすめ情報