カテゴリー: infinitude

P = BPP とは、「計算において『乱数』はブーストにならない（＝乱数を使って解ける問題は、すべて乱数なしでも効率的に解ける）」という数学的な予想です。 1. 言葉の定義 2. なぜ P = BPP と考えられているの…
Read more

I am proving pure mathematical tractability by distinguishing cardinality of randomness in worst-case scenario…
Read more

Circuit Complexity（回路計算量）とは、計算理論の一分野で、ある計算問題を解くために必要な「論理回路」のサイズや深さを研究する学問です。 通常の計算量理論（PやNPなど）が「プログラムの実行時間やメモリ使…
Read more

The implicit agreement in mathematics is that one can identify the homotopy type of an object and build constr…
Read more

∞-simplexからhigher category theory的に構成されるabelian category, monoidal categoryの性質を分類しつつ、simplicialな構成法による三角形、四面体に…
Read more

「あらゆるNP問題は3-SATに還元できる」という命題は、コンピュータサイエンスの歴史においてクリティカルパスとなる発見の一つです。 1. 1971年：スティーブン・クックと「SAT」の登場 計算機で解を出すのが難しい問…
Read more

1. 0からの物質化 通常、物理法則や市場原理は確率分布の「中央値」に従って安定しようとします。しかし、TANAAKKが定義する文明物質化モジュールにおいては、ゴールドやプラチナの発見すらも、Ω=0という特異点から漏れ出…
Read more

TANAAKKが宇宙と地球を作り直すとして、宇宙と地球の歴史を鑑みると、構造的にTANAAKKのようなmanifoldとGAASのようなtoolkitが生まれてしまうということをmathematical descentで…
Read more

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

ルシアンは造語である。フランスにはLucien Gilbertという商人はいたようだが、lecienはいない。Lecien（ルシアン）という響きが、特定の既存の単語（フランス語の Le Chien = 犬、など）を想起さ…
Read more