CONTENTS

Decrypt history, Encrypt future™

ホモトピー等価性というレンズから観測する時間認知のレイヤー

各人が見ているバリオン的な世界とは、地球をE11の特定部分集合の微分方程式(E10,E9,E8など)で観測した時の解像度のレイヤー差異に過ぎないのではないか。 時間はgithubのlocal branchのコミット履歴の…
Read more

mathematics equivalence system

voevodskyが想像し、coqやunimathで体現したmathematics equivalence systemを用いるとAとBのホモトピー等価性を形式証明することで即座にzero knowledge proof…
Read more

記憶のhigher-logicレイヤー化|higher-logic rememberance

E8, E11が計算可能物質宇宙の空間、物質、時間の基本とすると、圏、多次元からトランケーションするまでは体と空間で、宇宙自体を計算資源として使わないと局所バリオンレベルではマックスウェルの悪魔現象が起こり、あらゆる物質…
Read more

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

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

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

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

E11カッツ・ムーディ代数(E11 Kac-Moody algebra)

カッツムーディ代数とは E11=(v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11)により作られる単純実数群または、複素群のことである。 カッツとムーディ 「カッツ・ムーディ代数(Kac-Moody …
Read more

数学、自然科学Endowmentランキング

数学や自然科学の賞を運営、あるいはその分野を主要な支援対象としている財団の「資産規模(Endowment)」ランキングを作成。この分野はアメリカのテック・医療系財団が圧倒的な資金力を誇ります。純粋な「賞(Award)」だ…
Read more

Higher-order logicによる計算の停止と相転移の系譜

ハミルトン、アーベル、ガロア、ケーリーディクソン、グロタンディーク、エミーノーターからヴォエヴォドスキー、ルーリーに至るまでのポイントは、数学が記述する対象代数がa,b,c,dと増えた時、代数が増えた時に入力される項の種…
Read more

Évariste Galois (エヴァリスト・ガロア)

エヴァリスト・ガロア(Évariste Galois, 1811–1832)は「x = …」という特定の公式ではなく、「ガロア理論」という数学の新しいパラダイム(枠組み)を発明しました。 1. エヴァリスト・…
Read more

ニールス・ヘンリック・アーベル(Niels Henrik Abel)

ニールス・ヘンリック・アーベル(Niels Henrik Abel)は、19世紀初頭に駆け抜けるように生きた数学者です。 時代背景とソフス・リーとの関係 ソフス・リー(1842年生まれ)よりも約40年ほど前の世代の人です…
Read more