カテゴリー: logic

一般的にはn次方程式で4次元までは解あり、5次以上は解ありだが数え上げ必要で、複素導入が必須。整数→実数→複素数というノルムの緩和の閾値がどこであるかを探す4次方程式問題がフェルマー定理であったということをスキーマにプロ…
Read more

コンピューターサイエンス（計算複雑性理論）において、Interactive Proof System (対話型証明システム) は、従来の「証明」の概念を拡張した非常に強力な枠組みです。 1. 基本 対話型証明は、能力の異…
Read more

現代LLM、主にgemini, chatgptにおいてクエリ↔︎レスポンスを実現するためのバックエンドエンジンには、構造的な弱点があり、それは高次圏論や高階論理的多次元高階情報を強制的に低次トランケーションして単一空間ベ…
Read more

企業業績はA:X⇄Yの空間航行問題である。 企業Aが持つ理念と業績の間に随伴関係⇄があるのであれば、企業Aは当然その業績Yを達成することができる。 理念X=論理的演算系、停止条件 業績Y=物理的出力 と定義すれば、特定決…
Read more

あまりに高度で機能的な数学理論を確立してしまったとき、それを素直に書くとジェイコブルーリーのhigher category theoryやウラジミルヴォエヴォドスキーのhomotopy type theoryのように難解…
Read more

センタリングで上がったボールに風力や地面の摩擦などが影響し、ゴールにシュートで合わせて振り抜く場合に、足首の力がボールと足が接触した合成ベクトルとゴールを結んだ線に対して0になっていないとゴールに突き刺さらない。固めて当…
Read more

TANAAKKの完成系は∞ ary→∞ operad→NTM X→Y 1dimension truncation ∞ stack rendering。演算資源とtruncated MDL結果としてのboolean SAT…
Read more

ケーリーディクソン構成により構成された純虚数のwell behaved operad categoryを演算の舞台n-aryとしてNTM的な演算を∞-operadで実行する。そうするとモンテカルロ法のように分岐したtre…
Read more

ゲーデルの不可能性定理はundecidablityと誤認されていたが、それはundecidablityなのではなく、 conjectureに過ぎなかったことが時代の後半でわかってきている。不可能とはincomputabl…
Read more

real options, sunk cost, hysterisisこれら3つの概念は、大企業が「期待値マイナスの投資を止められない」という袋小路に陥る際、相互に補強し合う悪循環を形成します。数学的・経済学的な視点から…
Read more