カテゴリー: logic

Decrypt history, Encrypt future™

純虚数の物性|じゅんきょすう、Pure Imaginary Number

i(純虚数)の部分集合としての -1, +1, 0という定義は、「すべての現象は『回転(i)』の位相(フェーズ)に過ぎない」とすることができる。カルタンキリング行列では1/2(スピノル)を1(ベクトル)に至る回転の半分と…
Read more

特異点とは演算対象物である

ポアンカレ予想をサーストンが幾何化し、ペレルマンがサージェリーにより解決するまでは、3次元に特異点が出た時点で「解けない」として放り出すか、そこを無視するしかなかった。しかし、特異点に深く入り込み、演算を完了させれば、特…
Read more

Marius Sophus Lie|マリウス・ソフス・リー

マリウス・ソフス・リー(Marius Sophus Lie, 1842–1899)は、現代数学や物理学において極めて重要な役割を果たす「リー群」および「リー環」の理論を築いたノルウェーの数学者です。 彼の業績は、図形や方…
Read more

カルタンキリング分類

群(Group)と環(Ring)という代数的構造、そしてリー群の分類というテーマは、数学が「個別の数を計算する学問」から「抽象的な構造を解明する学問」へと進化した歴史の系譜です。 1. 群と環の歴史的背景 近代代数学の出…
Read more

計算可能前提であるE8 stackにおいて計算不可能性を感じてしまう理由とは

E8 stackでは計算可能性問題しか存在し得ない、E7,E6,E5は最密充填を最小記述できておらず、E9,E10は冗長である。そのような条件下で、圏論的方向性の矢(simplex)が顕在化して、±1,±1,0,0,0,…
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

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

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

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

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

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

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