カテゴリー: computability

TANAAKKが求めているのは有無を言わさぬ圧倒的な美しい勝利であり、一般人には理解不可能だが確実に機能するランダムネスの力をboolean algebraで構成的に制御することを美（mysterieuse)としている。…
Read more

チャイティン定数をもとに現実空間をサンプリングすると実現確率が極めて0に近い現象を数学的証明によって実現することが最も重要であるといえるのではないか。 実現確率が1に近い現象は散逸機構であり、エントロピー減少効率がとても…
Read more

チャイティンの定数 \Omega の誕生は、20世紀初頭から続く「数学はどこまで万能か？」という問いに対する論理展開です。 1. 伏線：ヒルベルトの夢とチューリングの絶望 1900年代初頭、数学者ダフィット・ヒルベルトは…
Read more

あらゆる対称性が崩れた、記述長が存在そのものになってしまう表現不可能な高階無限があると仮定する。そのような一切の対称性を持たない無限は記述表現がコロモゴロフ複雑性の圧縮表現の限界となってしまい、存在そのものが記述長になっ…
Read more

4色定理は「世界で初めて、コンピュータを本質的に使用して解決された未解決の重要問題」とされています。それ以前にも「コンピュータを使って計算する」ことはありましたが、4色定理が他と決定的に違ったのは、「コンピュータによる検…
Read more

コンピューターサイエンス（計算複雑性理論）において、Interactive Proof System (対話型証明システム) は、従来の「証明」の概念を拡張した非常に強力な枠組みです。 1. 基本 対話型証明は、能力の異…
Read more

ゲーデルの不可能性定理はundecidablityと誤認されていたが、それはundecidablityなのではなく、 conjectureに過ぎなかったことが時代の後半でわかってきている。不可能とはincomputabl…
Read more

1.∞ simplex↔︎0 simplex　 (gluing/nerveされればされるほどdimensionが落ち、低いdimensionではsimplexの識別力は支配的ではなくなる。) 2.0 complex↔︎∞…
Read more

「Higher Categoric Algebra (HCA) Core Algorithm」を定義 1. 基底公理：Exclusive Space Isolation 演算の最小単位を ExclusiveSpace と…
Read more

voevodskyが想像し、coqやunimathで体現したmathematics equivalence systemを用いるとAとBのホモトピー等価性を形式証明することで即座にzero knowledge proof…
Read more