投稿者: TANAAKK

人類は全ての宇宙を観測するという帰納法（Induction）ではなく、手元にあるわずかな局所情報だけで宇宙全体を推測するという帰納法（Induction）と演繹法（Deduction）のハイブリッドな推論(Abducti…
Read more

1. 数学的な定義 合成代数における「直交」は、ノルム N(x) から派生する双線型形式 $B(x, y)$ を通じて定義されます。 $$B(x, y) = \frac{1}{2} (N(x+y) – N(x…
Read more

命題：系の内部構造は、その系が圏のどこに位置するかを100%宣言することができる 「迷宮の出口」があることを内部証明することができるのか。つまり、その迷宮（宇宙/圏）の全方位的な地図を、迷宮の中にいるエージェント（項）が…
Read more

reflexivityによるhomotopy typeのみで内部証明するというのはbluteforceすれば良いですが、あくまで解の近似による証明であり、迷宮の出口があることを100%検証するような内部証明はまだ数学的に…
Read more

鼓腹撃壌（こふくげきじょう）は、天下泰平で人々が満ち足りて暮らす様子を指し、英語では”(people) sing the praises of peace”（人々が平和を称賛する）や”…
Read more

レイ・ソロモノフ（Ray Solomonoff） 項目 内容 生年月日 1926年7月25日 没年月日 2009年12月7日 国（国籍） アメリカ合衆国 クリーブランドで生まれ、マサチューセッツ州ケンブリッジで亡くなりま…
Read more

「システムの振る舞いを網羅的に探索（Brute-force）すれば、その全容を内部から発見・記述できる」という直感に近い概念が、数学的定理や厳密な理論として証明・確立されている例はいくつかあります。 特に「内部からの記述…
Read more

現代バスケットボールの不変量：完全版ベンチマーク 現代バスケは「期待値を奪い合う投資ゲーム」です。トップレベルで勝つために必要な数値を、エリア別の期待値と共にまとめました。 1. エリア別・得点期待値（Efficienc…
Read more

公理の格下げ（Axiom Downgrade）の歴史：絶対的真理は「相対的普遍量」に過ぎない 「公理的性質（Axiomaticity）は相対的普遍量（Relative invariant）である」この命題は、数学、科学、…
Read more

ゲーデルの不可能性定理や、チューリングのhalting problemは当時undecidablityに関する定理だと思われていたが、NP completeなどの体系がクック、レビンらにより定理化されるにつれて、その決定…
Read more