CONTENTS

数学は系の限界を記述するにとどまり、系の外側の可能性には触れないチューリングは高尚な数学をとても単純な紙とテープの連なりの問題に引き摺り落とした。そしてそれは同じ時代の人間にはとても理解し難く、離散的な反発を受けた。しか…
Read more

1. 「難しさ（Hardness）を乱数に変える」 まず、「計算問題が難しいということは、予測不可能（＝乱数と同じ）ということだ」という逆転の発想を数理的に定式化したのが、ニサンとヴィグダーソンの論文です。 2. P ≠…
Read more

Ⅰ. 歴史のバージョンを認知する一連の手法 マクロに上書きされた公式記録（暗号）の中から、書き換えられる前の「本来の歴史のバージョン（位相）」をミクロに検出するための3ステップの手法です。 1. ローカル・キャッシュ（エ…
Read more

整数のみを扱う方程式であるディオファントス方程式は効率的な解の探索汎用アルゴリズムがない。これはチューリングマシンと同義である。一方、複素方程式には効率的に解を再現するアルゴリズムがある。 ディオファントス方程式（整数係…
Read more

「ディオファントス方程式の解を（しらみつぶしに）手探りで探す行為」は、「チューリングマシン（プログラム）を実行して、それが終わるのをじっと待つ行為」と完全に同義（本質的に同じこと）になる。 チューリング（1936）が「プ…
Read more

今日の月往復や惑星探査ロケットは、すべて以下の論文が敷いた数理的・物理的なレールの上を走ります。 1. ロケット工学・宇宙飛行の基礎 ■ コンスタンチン・ツィオルコフスキー（1903年） ツィオルコフスキーのロケット方程…
Read more

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

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

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

WACCの平均を超えるROICをチェックするSAT（UNSAT)ソルバー。 トポロジー、モジュラー、微分、PCP、ゴレイ符号、conflict driven clause learning、3 SAT、zkp、Arthu…
Read more