[論文レビュー] Quantum recursion theory

Karl Svozil|arXiv (Cornell University)|Dec 6, 1994

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

この論文は、量子情報および計算の文脈において、古典的不完備性および決定不能性の定理を再評価し、リッカーのパラドックスやリチャードのパラドックスのような意味論的パラドックスがこれらの結果の背後にあると主張する。カントールとチューリングが用いた対角線論法を再解釈することで、量子計算がこれらの基礎的定理の見直しを必要とすることを示し、特にチューリングの停止問題の決定可能性について、量子フレームワーク内での再考を促す。

ABSTRACT

Incompleteness and undecidability theorems have to be revised in view of quantum information and computation theory. qrt.tex 1 As has already been pointed out in Gödel’s centennial paper on the incompleteness af arithmetic [1], the classical undecidability theorems of formal logic [2] and the theory of computable functions [4, 5] are based on semantical pardoxes such as the liar [6] or Richard’s paradox. The method of diagonalization, which was first applied by Cantor for a proof of the undenumerability of real numbers [7], has been applied by Turing for a proof of the recursive undecidability of the halting problem [8]. The halting problem is the problem of whether or not an arbitrary algorithm terminates or produces a particular output and terminates. Assume that the halting problem is decidable. Turing [8] proved that this assumption yields a contradiction. To construct the contradiction, consider

研究の動機と目的

• 量子情報および計算の文脈において、古典的不完備性および決定不能性の定理を再表現すること。
• リッカーのパラドックスやリチャードのパラドックスといった意味論的パラドックスが、論理および計算可能性における古典的結果の根拠となっていることの分析。
• 量子計算の原則を用いて、停止問題の決定不能性を再評価すること。
• 量子計算が、対角線論法に基づく古典的証明の見直しを必要とするかどうかを検討すること。
• 量子力学が形式的体系および計算可能性の限界に与える影響を調査すること。

提案手法

• カントールの対角線論法を、古典的計算における決定不能性を証明する基盤と再解釈する。
• チューリングの停止問題の証明を応用し、停止問題が決定可能であると仮定した場合の結果を分析する。
• 古典的決定不能性が、リッカーのパラドックスやリチャードのパラドックスといった意味論的パラドックスに依存していることを特定する。
• 停止問題が決定可能であると仮定することで生じる矛盾を用いて、古典的計算の限界を再表現する。
• 量子計算が、これらのパラドックスに基づく証明の適用性または妥当性を変える可能性があると提唱する。
• 量子情報理論が、決定不能性および不完備性の基礎の再評価を必要とすることを示唆する。

実験結果

リサーチクエスチョン

• RQ1 リッカーのパラドックスやリチャードのパラドックスといった意味論的パラドックスが、どのように古典的不完備性および決定不能性の定理の根拠となっているのか。
• RQ2 停止問題の決定不能性が、どの程度古典的論理的仮定に依存しているのか。
• RQ3 量子計算が、対角線論法に基づく古典的決定不能性証明を無効にしたり、見直しを促すことができるか。
• RQ4 対角線論法が、古典的計算と比較して、量子情報理論において果たす役割は何か。
• RQ5 量子情報の観点から、論理および計算の基礎をどのように見直す必要があるのか。

主な発見

• 古典的停止問題の決定不能性は、リッカーのパラドックスやリチャードのパラドックスといった意味論的パラドックスに依存していることが示された。
• カントールとチューリングが用いた対角線論法は、古典的不完備性および決定不能性の結果の核心的メカニズムを形成している。
• 停止問題が決定可能であると仮定すると論理的矛盾が生じるため、古典的計算におけるその決定不能性が確認される。
• 量子情報および計算は、新たな計算パラダイムの可能性があるため、これらの古典的結果の再評価を必要としている。
• 本論文は、量子系が古典的パラドックスに基づく証明による制限を回避または再解釈する可能性があると示唆している。
• 古典的論理および計算の基礎的仮定は、量子理論的フレームワークでは完全には適用されない可能性がある。