夢幻

命題 全ての計算問題に対して、その問題の計算量のクラスと一致するアルゴリズムは存在する 証明 まず次の定理を示す。 定理 全ての真偽の判定可能である命題の証明は必ず現実化する 証明 存在と輪郭が同値であり、輪郭と波動 ( 包含関係⊇ ) が同値であり、包含関係と因果関係 ( 論理 → ）が同値である。よってこの目に見える現実の物理空間 = 存在を最前提に置いてそれ以降の全てが表現される。つまりこの世界の本質は目に見える空間であるとしても良い。よって全ての真である命題の証明が存在するのであれば、目に見える空間に存在しないと矛盾する。よって定理が示された。 系 全ての真である証明問題は時間を無限大にいくらでも大きく限り無く発散させる (∞^n で n をいくらでも大きく取る ) と、解けた問題の割合は 1 に収束する。 今仮に命題が成立しないと仮定すると、問題の解法となるアルゴリズムは全て問題のクラス一致しない、小さいクラスである問題 a が存在する。 この時問題 a を無限に生成するプログラム A が作成出来る。 今問題を無限に作成するプログラム X があって、その作成した問題を全て解くようにして、解いた問題の全体の割合を r(X) と置く。 A の場合、時間を ∞^n として n をいくら大きくとっても r(A) は 0 に収束する。 全ての真である証明問題の集合を P と置き、全ての計算問題の集合を p と置いた時、 P ⊃ p である。 計算問題が解かれるとは、次の二つが満たされる事を示す事になる。 (1) 全探索より良い最良のアルゴリズムの有無の判定を行い、存在するならば最良である事を示し、存在しないならば、存在しない事を示す。 (2) 存在するならば、 実際にそのアルゴリズムで解が存在の有無を確認し具体的に値を出す。 存在しないならば、全探索で解の存在の有無を確認する。 A より作られた大量の問題の集合を E と置くと、今系より r は 1 に収束するのだから、 E に対して (1),(2) の両方が示されて 1 に収束する⇔一つ一つの問題に対して、全てのアルゴリズムは同じであるから、一つの計算問題に対して最良のアルゴリズムは問題のクラスと一致していないといけないが、先ほど示さ...