カテゴリー: computability

Teleological Finity Bypassing とは、特定の**「目的（Telos）」を最終的な「同一性（Identity）」としてInvariants化し、そこに至るまでの膨大な「有限のステップ（Finit…
Read more

「Truncatability（切断可能性）」は、高次カテゴリー論やホモトピー理論において非常に専門的な意味を持つ概念です。 一言で言えば、「高次の複雑な構造を、低次のデータだけで完全に復元できるか？」という性質を指しま…
Read more

アルゴリズム的情報論（Algorithmic Information Theory: AIT）は、1960年代にレイ・ソロモノフ、アンドレイ・コルモゴロフ、グレゴリー・チャイティンの3人が独立に創始したもので、情報の「意…
Read more

MDL（最小記述長）は「知能による宇宙の最短記述」です。アルゴリズム的情報論を用いた、高論理深度な系の低コストなシミュレーション。情報を最小の記号数、文章長（冗長性）、演算長（論理深度）で表現するための理論的枠組みです。…
Read more

チャールズ・ベネット（Charles H. Bennett, 1943年 – ）は、IBMの研究員であり、現代の量子情報理論および物理学と情報の境界領域における貢献をしています。 1. 論理深度 (Logic…
Read more

マルティン＝レーフ・ランダム性（Martin-Löf Randomness / ML-Randomness）は、1966年にペール・マルティン＝レーフによって提唱された、「真のランダムな数列とは何か？」という問いに対する…
Read more

マルティン＝レーフの再帰定理 (Martin-Löf’s Recursion Theorem) は、計算理論（計算可能関数論）における極めて強力な「自己言及の保証」です。「自己言及命題が真であること」を、数学…
Read more

テリトリープランニング（担当エリア設計）において、営業マンが「成果を最大化できる顧客数」には数学的・物理的な限界値が存在します。 巡回セールスマン問題（TSP）が「移動の最小化」を追うのに対し、ビジネスではそこに「面談時…
Read more

公理系：ZFC、チューリング、Avi Wigderson 物理学は「観測による近似」、コンピューティングは「公理の展開」 1. 物理学（近似）とコンピューティング（公理）の決定的な断絶 ニュートン力学やマクスウェル方程式…
Read more

グローバルにサプライチェーンと販売チャネルが分散するモダンな製造小売業では、各工程がアッセンブリーのように次に進むための認証キーを設定している。たとえば、認証キーとしてのサプライヤー番号や製造SKU番号が合わない場合はア…
Read more