チューリング機械よりも強力な理論機械


39

少なくともいくつかの分野でチューリング機械の能力を超える理論的な機械はありますか?


5
「Xはout(sic)ユニバースの定義特性ですか?」などの質問 ある物理学の物理学は、まさに「宇宙の法則」の研究であるため、質問。コンピューターサイエンスとは、物理的な手段で実現できることもある数学的なオブジェクトに関するものです
バクリウ

2
「スーパーチューリングマシン」、特にHave Siegelmannによって提案されたもの:umass.edu/newsoffice/article/…およびbinds.cs.umass.edu/papers/1995_Siegelmann_Science.pdf
nobillygreen

1.投稿ごとに質問を1つだけお願いします。他に質問がある場合は、これに対する回答が表示された後、それらを個別に投稿できます。また、私たちの宇宙の特徴を定義することに関する質問は物理学の質問であり、ここではトピックから外れています。1つの質問に集中できるように、補足質問を編集しています。それらを個別に投稿することができます(改訂履歴を参照して、それらを再度見つけてください)。2.どんな研究をしましたか?あなたの考えは何ですか?一文の質問は短すぎます。肉付けするように編集してみてください。それはあなたにより良い答えを与えるのに役立ちます。
DW

3.「それを想定できますか...」-いいえ、もちろんそうではありません。なぜあなたはそれを引き受けることができると思いますか?それが本当だったらいいだろうから、それが本当かもしれないように思えるか、それが間違っている理由がすぐにわからないので、あなたは何かを仮定することはできません。コンピューターサイエンスは、単に物事を想定することではなく、証明に関するものです。あなたの本当の質問は何ですか?
DW

回答:


26

Church-Turing論文(1つの定式化)では、物理的に計算可能なすべてのものをTuringマシンで計算できると述べています。この論文を信じ、そのようなマシンが計算できる関数に興味があると仮定すると(たとえば、インタラクティブな計算ではない場合)、ハイパー計算は不可能です。

教会とチューリングの論文は、計算可能なものにのみ関係し、計算の効率には関係しません。チューリングマシンは、従来のコンピューターを多項式でシミュレートしますが、それほど効率的ではないことが知られています。量子コンピューターは、チューリングマシンよりも指数関数的に効率的であると考えられています。この意味で、チューリングマシンを倒すことができます(スケーラブルな量子コンピューターのみを構築できる場合)。

スコット・アーロンソンはおそらくこれについてもっと言いたいことがあります。あなた自身でこれを調べてみましょう。


実際、Scottsのブログは既にブックマークされています。:)とにかくCTテーゼが今日もまだ続いているので(何かが起きた場合を知らない限り)、計算可能なものの定義について話すか、何らかの形でCTを反証するマシンを探すだけです。
user1561358

3
「このエッセイで説明したように、複雑性理論は決定論的チューリングマシンをはるかに超えて分岐し、(たとえば)量子力学、並列および分散コンピューティング、ダーウィン進化などの確率過程を取り入れています。」なぜ哲学者は計算の複雑さを気にする必要があるのか、Scott Aaronson著、p。49)
-reinierpost

1
量子コンピューターは、任意のタスクをスピードアップしないことも注目に値すると思います。そして、彼らはそれを最大2 ^ Nだけ「高速化」します。Nは量子ビットの数です。
うまくいけば


13

教会とチューリングの論文は、信仰の記事とみなす必要はありません。「計算」という言葉の意味の説明、定義を述べることと考える方がおそらく理にかなっており、計算の非常に狭い概念でもあります。干渉。私たちが推論する必要がある計算の特定の側面はこの概念ではカバーされておらず、このような懸念に対処するためにコンピューターサイエンス内で多くの追加の数学的理論が開発されています。

ですから、教会とチューリングのテーゼは、私たちの宇宙の特定の特徴ではなく、私たちの宇宙で特定のことを行う特定の方法の定義の特徴です。

この点で、ユークリッド幾何学に例えることができます。私たちの宇宙は本質的にユークリッドですか?土地の測定方法がその原則によって制限されているのはなぜですか?より強力な土地測定を可能にする超幾何学を使用することはできませんか?答えは次のとおりです。できることはできますが、結果を常に「土地測定」または「ジオメトリ」と呼ぶわけではありません。

同様に、計算に関する理論と実践は、チューリングマシンが記述できる範囲を超えています(たとえば、同時システムを記述するためのプロセス計算があります)が、それらの拡張を必ずしも「計算」とは呼びません。


「外部干渉なしで厳密に連続してステップを実行する単一のプロセッサによる計算」とは、コンピューターが外部干渉を持っている場合、または並行して動作できる場合、チューリングマシンよりもはるかに強力であることを意味しますか?
ケイト

1
そうでもない。有限入力から有限出力へのマッピングを計算できることだけを知りたい場合、これらを追加してもより多くのパワーは得られません。以前よりも多くのマッピングを計算することはできません。
reinierpost

5

チューリングマシンの1つの理論的な弱点は、その予測可能性です。すべての強力で全知の対戦相手は、チューリングマシンに対してゲームをプレイするときにこの弱点を悪用する可能性があります。そのため、理論上のマシンが、敵が予測できない(そして敵から内部状態を隠すことができる)ランダムソースにアクセスできる場合、この理論上のマシンはチューリングマシンよりも強力になります。

現実のこの種の理論上のマシンの問題は、ランダムなソースが完全にランダムであるかどうかではなく(完全にランダムであると仮定することは無害な理想化であると仮定します)、相手からの状態。そのため、具体的なケースでは、そのようなマシンによって状況の現在のインスタンスを理想化することが有効かどうかを確認することはできません。これは、(私がかつて言ったものによってモデル化されなければならない状況を理想化、それは私には不明であるハイパーコンピュータ、ほとんどのタイプのための状況よりもわずかに優れている:私は「RE」を解決するためにすべてを知って奇跡のマシンをいくつかのタイプを必要とするので、そのようなマシンが存在することは知りませんでした。

チューリングマシンの存在を一貫して受け入れ、チューリングマシンの停止問題の問題を決定するためにオラクルにアクセスできるチューリングマシンの存在を拒否できることを発見して、最近驚きました。これは、オラクルが嘘をつくことができますが(嘘があることを証明することはできません)、非停止計算が実際に停止し、ステップ数の限界を求められたときに無限数で答えている間は永遠に続くと主張するからです。(言い訳の技術的な正当化を書いた後、これを実現しました:それから、無限入力から有限入力を分離する方法がわからないので、文についての疑問を正当化するかもしれません。入力は明確に定義されています。Π20 その言い訳自体は、別のトーマス、つまりトーマス・チュストとの会話から生じました。

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.