カテゴリー: incomputability

「システムの振る舞いを網羅的に探索（Brute-force）すれば、その全容を内部から発見・記述できる」という直感に近い概念が、数学的定理や厳密な理論として証明・確立されている例はいくつかあります。 特に「内部からの記述…
Read more

ゲーデルの不可能性定理や、チューリングのhalting problemは当時undecidablityに関する定理だと思われていたが、NP completeなどの体系がクック、レビンらにより定理化されるにつれて、その決定…
Read more

特異点は危険な罠である。 1. 「局所的な整合性」という甘い罠 特異点の内部は、マルティン＝レーフランダムネス（圧縮不能な無秩序）が支配していますが、**局所的には「もっともらしいパターン」**が断片的に現れます。 • …
Read more

E8の例外リー郡の八元数宇宙は計算可能宇宙であるとすれば、宇宙全体が閉じているのに不連続なincomputabilityが局所存在してしまう理由はなんなのか。 例えば、グローバルなオープンマーケットプリンシプルが働かない…
Read more