カテゴリー: 01-Mathematics

対話型証明はIP=PSPACEまで検証可能だが自己言及問題は自分が内部項の一要素になる以上、自然状態ではラッセルのパラドックスでPすらも解けない。 「自己言及（Self-reference）」が含まれる問題をそのままシス…
Read more

会社が停滞する、赤字になる最大の理由は下界（Lower Bound）の特定をせずに、期待値がマイナスの決定を続けているからである。 1. 多くの企業が陥る「上界（upper bound）の幻影」 赤字に陥る、あるいは新規…
Read more

1. DNAの「NP性」 ビジネスや人生の決断がなぜ難しいかというと、それがP問題（順番に計算すれば決定的に解ける問題）ではなく、NP困難 / 3SAT問題（選択肢の組み合わせが限りなく非決定的な有限問題）だからです。 …
Read more

「Interactive Proof型事業DD」とは：検証者（投資家）が、証明者（起業家）に対して「ランダムなチャレンジ（質問・要求）」を提示し、それに対する証明者の「レスポンス（回答・エビデンス）」を複数ラウンドにわた…
Read more

情報を開示しても秘匿しても証明能力の上限に違いは生まれない。 1. 情報の開示と秘匿による証明能力の等価性 AM, Arthur-Merlin game or User-Expert game 検証者（アーサー）が用いる…
Read more

NP ∩ coNP「NPかつcoNP」に属する、あるいは属すると予想されている具体的な問題 1. 素因数分解問題 (Integer Factorization) 現代の暗号理論の基礎であり、このクラスで最も有名な問題です…
Read more

現代の法構造、インフラストラクチャ、テクノロジーは人間の認知を超えた複雑性を有する。したがって人間の個人の判断だと歴史的な積み上げのシーケンスが膨大になってくると常に不要だから外しても良いという軽率な判断になりうる。新し…
Read more

Theme No.1 : Which historical topology do we choose to reside in? historical tautology:Thales, Pytagoras, Eucl…
Read more

① √2 が有理数にならないことの証明（紀元前6世紀頃 ギリシャサモス・ピタゴラス学派） 歴史上、最も古い不可能性の証明です。「正方形の辺の長さと対角線の長さを、どちらも整数比で表すことは不可能である（ √2 は分数で表…
Read more

Humans generally explore the ‘edges’ of theory based on the premises of classical theorem sequences. When sear…
Read more