投稿者: TANAAKK

Decrypt history, Encrypt future™

ポアンカレ仮説におけるペレルマンサージェリーの論理的正当性

ポアンカレ仮説(Poincaré conjecture)におけるペレルマンサージェリーのサージェリー(手術)という操作が、一見すると「形を勝手に変えている」ように見えながら、なぜ数学的な論理破綻を招かないのか。そこにはペ…
Read more

どうなるかわからないから様子を見るは数学的に最悪のアクションである

市場というカオスを制圧するためには、少ない情報をもとに帰納法(induction)、演繹法(deduction)、遡及推論法(abduction)などの推論(inference)でアクションを即座に組み立てていくことを基…
Read more

アジリエル・レヴィ(Azriel Lévy)|Reflection Principle

1. アジリエル・レヴィ(Azriel Lévy)の足跡 レヴィは、現代集合論の基礎を築いた巨人の一人です。彼が提唱した「反映原理 reflection principle」は、宇宙の巨大さと、その断片が持つ情報の等価性…
Read more

induction, deduction, abduction|1を聞いて∞,∞-categoryを知る

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

合成代数(Composition Algebra)では任意の要素が必ず0と直交する

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

迷宮の内部構造だけで、迷宮の位置と、出口の有無を100%推論できるのか|groundism的仮説

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

内部自己証明のフロンティア Cubic Type Theory

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

鼓腹撃壌の計算バイパス|Internal Recursive Proof

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

Solomonoff’s Completeness Theorem|ソロモノフの完全性定理

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

内部再帰証明と外部圏的証明の同一性の証明について

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