投稿者: TANAAKK

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

randomnessというリソースを用いることにより、4→3→2→1と還元し、23のゴレイ符号エラーチェックをしながら物質宇宙というチューリングマシンの出力を1にする一連の記号とシーケンスによる汎用的なpropositi…
Read more

数学的な完全性はこの世の中に実装され得ない。数学は常に近似で物理的に出現する。これはcontinuum vs discreteの制約条件があるからであり、時代が変わったとしてもこのルールは不変である。数学と物理をまたがる…
Read more

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