有限時間での無限計算


10

これはおそらく愚かな考えですが、私たちは、計算の無限のシーケンスを実行し、想定するようにプログラムされますコンピュータがあると計算を要する1 / 2 I完了するまでに秒。次に、このコンピューターは、有限の時間内で無限の数の計算を実行できます。ith1/2i

なぜこれが不可能なのですか?重要な計算を実行するのにかかる時間に下限はありますか?


関連概念、有限エネルギーを使用した無限計算:ダイソンの永遠の知性
Peter

回答:


11

この「種類」のコンピュータは、Zeno Machineと呼ばれています。その計算モデルは、ハイパーコンピューティングと呼ばれるカテゴリに分類されます。超計算モデルは数学的な抽象概念であり、機能するように定義されている方法のため、物理的には不可能です。

Zeno Machineを例にとります。Zeno Machineがあらゆる種類の計算機であると想像すると、そろばんを使用しても集積回路を使用してもかまいません。たとえば、チューリングマシンのように、マシンで使用されるプログラムデータが、無限に長い記号のテープによってフィードされているとします。

もちろん、数学から次のことがわかります。

12+14+18...=n=1(12)n

1

n

したがって、2番目の質問に答えると、理論上の物理的にはもっともらしい計算モデルの主な制限要因として光速が与えられている場合、計算の絶対最低限度はおそらくプランク時間のオーダーになります。



1
このプログラム:10:GOTO 10はZeno Machineで終了しますか?
Cano64 2015

2
簡単に言うと、数学は「計算」がスコープ内で無限に分割可能であることを前提としています。ただし、物理マシンの場合はそうではありません。最終的には、マシンが実行できる最小の作業単位に到達するようになるからです。数学では可能ですが、それ以降、計算を細分化し続けることはできません。言い換えると、無限の一連の計算の最後に実際に近づくずっと前に、マシンはクラップアウトします。ある時点で、計算ごとの時間が減少しなくなり、無限の時間が必要になります。
2015

@ Cano64そうは思いません。ハイパーコンピューティングにおける決定可能性の基準は、計算の時間合計が完全に収束することであると私は信じています。
すべての理論

6

2015年9月15日の今日の物理を理解している限り、プリミティブ計算にかかる時間は、光の速度と原子のサイズによって制限されます。

計算ユニットは、ゼロ以外のサイズ(原子)で構築する必要があり、計算が機能するためには、電気または光がその上を通過する必要があります。これは、光が非通過するのにかかる時間によって制限されます。 -ゼロ距離。


1
境界を押し広げる科学の最近の歴史における1つの具体例は、巨大磁気抵抗であり、これは以前は不可能と考えられていたハードドライブ上のデータ密度を可能にするノーベル賞を受賞した発見です。戻るともっとたくさんあります。「スマートフォン」の可能性を西暦1500年の人に説明しよう。(彼らはあなたを魔女として火傷するかもしれないので、注意してください。)したがって、私たちの物理学に関する現在の知識が、何が可能であるかについてハードバウンドを引き起こしていると仮定すべきではありません。
ラファエル

-1

Σn=1(12)n1

121434

c1c1

編集:@arothによって指摘されているように、このアナロジーは、水を永久に分割し続けることができると想定しています。最小の不可分アトムがないこと。これは、計算が有限の時間で終了するために時間を任意に割り切れる時間であると仮定する必要があるという興味深い(私は思う)ポイントを発生させます。


3
「それと同じくらいはっきりと、青いバケツに注ぐ水が常に増えます」-必ずしもそうではありません。正確な注入装置を使用すると、最終的に、青いバケツに2分子の水があるポイントに到達します。次に1分子。次に、最後の分子を注ぐか、注がないかです。または、ベース原子に分解しても、もはや水ではありません(またはSTPで注ぐことができません)。ポイントは、無限のシリーズの最後に到達するかなり前に最後の水の分子に到達するため、青いバケツに「常に」水が存在しないことです。
2015

@aroth:ええ、そうです、アナロジーが機能するためには、水を「密度」という一種の「常に分裂可能性」を満たすものとして考える必要があります。重要な点を強調しているので、あなたのポイントは興味深いです。計算が有限時間で終了するためには、時間も密/常に割り切れる必要があります。最短の時間、つまり割り切れない時間の原子単位が存在する場合、無限の計算には無限の時間がかかります(または、各計算は、ある時点の後で時間を取ってはなりません)。
epa095 2015

3
i=12i2i

@ david-richerby:別の方法で問題を再表現して、直感を提供するのとまったく同じように、それをより簡単に考える方法を与えていませんか?また、時間の量から有理数の合計まで、問題を再現していることに注意してください。(非常に)短いステップですが、それでも言い直します。有理数の合計の収束について知っている場合は、それを言い換えると理解しやすくなりますが、一部の人にとっては、水に関してそれを理解する方が簡単だと私は確信しています。少なくとも私が最初に理解したのは、無限の和が収束した理由と収束しなかった理由があります。
epa095 2015

2
@ epa095直感を提供するには、慣れ親しんだ状況を参照して不慣れな状況を説明し、一方の状況に慣れ親しんでいることを使用して、もう一方の状況の理解を助けます。あなたはそれをしていません。ある不慣れな状況(無限の収束する合計を計算すること)を別の状況(完全に正確に無限に分割可能な水のバケツを注ぐこと)で説明しようとしています。合計の収束について知っている人は、アナロジーを必要としません。合計の収束について知らない人にとっては、「有理数」を「架空の水の量」に改名しても役に立たない。
David Richerby
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.