[論文レビュー] Optimal Results on ITRM-recognizability

Merlin Carl|arXiv (Cornell University)|Jun 21, 2013

Computability, Logic, AI Algorithms参考文献 2被引用数 7

ひとこと要約

この論文は、ゲーデルの構成可能宇宙 L 内における ITRM-認識可能な実数の最適な特徴づけを確立し、非リセット型 ITRM に対しては、認識可能な実数がちょうど計算可能実数と一致することを示している。unrecognizable reals が初めて現れるインデックス γ ≥ ωω^CK であることを証明し、定義可能性の基準を提示する：実数 r が認識可能であることの必要十分条件は、L_{ωω^CK,r} 上で Σ₁-定義可能であることである。このようにして得られるすべての実数は L_{ωω^CK,r} 内に存在する。

ABSTRACT

Exploring further the properties of ITRM-recognizable reals, we provide a detailed analysis of recognizable reals and their distribution in Gödels constructible universe L. In particular, we show that, for unresetting infinite time register machines, the recognizable reals coincide with the computable reals and that, for ITRMs, unrecognizables are generated at every index bigger than the first limit of admissibles. We show that a real r is recognizable iff it is $Σ_{1}$-definable over $L_{ω_ω^{CK,r}}$, that $r\in L_{ω_ω^{CK,r}}$ for every recognizable real $r$ and that either all or no real generated over an index stage $L_γ$ are recognizable.

研究の動機と目的

• ゲーデルの構成可能宇宙 L 内における ITRM-認識可能な実数の正確なクラスを特徴づけること。
• 非リセット型 ITRM における未認識実数が初めて出現する構成可能階層内の正確な位置を特定すること。
• L_{ωω^CK,r} 上での Σ₁-定義可能性という観点から、認識可能性の定義可能性条件を確立すること。
• 認識可能実数が生成されるインデックス段階および L 内のギャップの構造的性質を分析すること。

提案手法

• 弱い ITRM（wITRM）計算可能性の相対化解析により、x が y に関して wITRM-計算可能であることと、x ∈ L_{ω₁^CK,y}[y] であることが同値であることを示す。
• モストウスキー崩壊と Σ₁-スコーレムハルを用いて、L 階層におけるコードの定義可能性および最小性を分析する。
• 認識可能実数を含む L 階層の最小コードを認識するプログラムの構成を行い、ωω^CK,r およびその後続の計算能力を活用する。
• 特に L_{ωω^CK} 上でのコーエンの強制法を応用し、ωω^CK よりも小さい範囲で未認識実数を生成する。
• 背理法による証明：ギャップが α で始まり、そこから認識可能実数が生じると仮定すると、矛盾が生じることを示す。
• ハイパーアリズム的および Σ₁^1 文を用いて、KP の ω-モデルをコード化し、可算モデルの上に量化を行う。

実験結果

リサーチクエスチョン

• RQ1 非リセット型 ITRM に対して、構成可能階層内で最初に未認識実数が現れる順序数 γ は何か？
• RQ2 L 階層に関する認識可能実数を特徴づける正確な定義可能性条件は何か？
• RQ3 なぜ L_γ の上に生成されるすべての実数（γ ≥ ωω^CK）が未認識になるのか？
• RQ4 実数 r の認識可能性は、L_{ωω^CK,r} 上での定義可能性によって完全に捉えられるか？
• RQ5 L 内の本質的ギャップおよびアンチギャップは、認識可能実数の存在とどのように関係するか？

主な発見

• 非リセット型 ITRM に対しては、認識可能実数の集合がちょうど計算可能実数の集合と一致する。
• 未認識実数は最初にインデックス γ ≥ ωω^CK で現れ、以降の階層では認識可能実数は生成されない。
• 実数 r が認識可能であることの必要十分条件は、L_{ωω^CK,r} 上で Σ₁-定義可能であることである。これは正確な論理的特徴づけを提供する。
• すべての認識可能実数 r は L_{ωω^CK,r} 内に存在する。これは、構成可能階層内での位置を確認するものである。
• L_{ωω2^CK} ∩ PRECOG（潜在的に認識可能とされる実数）に属するすべての実数は認識可能である。これは、認識可能性が成立する大きな初期部分集合を示している。
• L 内の強いおよび弱い本質的ギャップは、アディスビリティに依存する Σ₁-記述不能な順序数に対応し、証明論的性質と認識可能性を結びつける。