投稿者: TANAAKK

レイ・ソロモノフ（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

Unicodeの「文字の名前（定義）」は、主にその記号がコンピューター上で標準化された1990年代前半の歴史的な経緯や、タイポグラフィとしての「見た目の形」に基づいて名付けられています。一方、数学における定義は、論理学や…
Read more

人間はかならず、物事を進めるときA=Bという論理を用い3つの要素のロジックを組み立てています1.Aは正しい2.AとBは同値である3.BはAと同じく正しい。 これはA→Bに向かうときも同じです。例えば50億円→100億円に…
Read more

特異点は危険な罠である。 1. 「局所的な整合性」という甘い罠 特異点の内部は、マルティン＝レーフランダムネス（圧縮不能な無秩序）が支配していますが、**局所的には「もっともらしいパターン」**が断片的に現れます。 • …
Read more

E8の例外リー郡の八元数宇宙は計算可能宇宙であるとすれば、宇宙全体が閉じているのに不連続なincomputabilityが局所存在してしまう理由はなんなのか。 例えば、グローバルなオープンマーケットプリンシプルが働かない…
Read more

∞-operad を起点とすれば、stratum, site, sheaf,fibre,groupoid,stack はすべて「必然的な随伴」として導出されます。 Operad（No.25の糸） は「演算の型」を定義しま…
Read more