ハイパーコンピュータの提案
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/08/22 14:38 UTC 版)
「ハイパーコンピュータ」の記事における「ハイパーコンピュータの提案」の解説
無限に多数のステップを実行完了できるチューリング機械。単に、無限の計算量を実行可能なだけでは不十分である。前提として、有限の時間内に全ての計算を終了させる必要がある。提案されている例としては、時間の遅れを利用して、ハイパーコンピュータが無限の時間を使って計算している間に観測者は有限の時間経過しか観測しない、という方式がある(この場合、計算には無限大のエネルギーを要する)。別の例として、ゼノンのパラドックスから着想された純粋な数学的モデルであるゼノン機械(Zeno machine)がある。ゼノン機械では、最初の1ステップを(例えば)1分で行い、次のステップを0.5分で行い、さらに次のステップを0.25分で行う、というように1ステップにかかる時間が半減していく。この時間を無限ステップまで合計すると、2分で無限ステップを実行できることになる。 無限時間チューリング機械は、ゼノン機械を一般化したもので、潜在的に超限的な順序数によって列挙されるステップ数を要する無限に長い計算を実行できる。このチューリング機械は、停止しない計算において極限順序数に達したときに特別な状態に遷移して完了し、そこまでの無限の計算の結果が利用可能という点以外は普通のチューリング機械である。 実数コンピュータ(理想のアナログコンピュータ)を Hypercomputation に使うこともある。これには物理定数(例えばチャイティンの定数)を無限の精度で与えるといった考慮が必要と考えられ、少なくとも熱雑音や量子効果があったとしても任意の精度で実数の物理的値を測定できる必要がある。 量子力学系の状態の無限な重ね合わせを使って、非計算可能関数を計算する。ただし、標準的な量子ビットを使った量子コンピュータはチューリング還元可能(計算を高速化できても、これまで解けなかった問題は解けない)と一般に予想されているため、ハイパーコンピュータとしては使えないと考えられている。 無制限の非決定性と呼ばれる技法を使って非計算可能関数を計算できるのではないかとも言われている。ただし、その無矛盾性や計算能力には疑問も投げかけられている。 今のところ、ハイパーコンピュータを実際に作ることは不可能とされており、概念が提示されるのみに留まっている。
※この「ハイパーコンピュータの提案」の解説は、「ハイパーコンピュータ」の解説の一部です。
「ハイパーコンピュータの提案」を含む「ハイパーコンピュータ」の記事については、「ハイパーコンピュータ」の概要を参照ください。
- ハイパーコンピュータの提案のページへのリンク