CONTENTS

グローバルとはイリュージョンである。 チューリングの停止問題やヒルベルトの決定問題から言えることは、あらゆるアルゴリズムを解くことのできる汎用的なアルゴリズムはないので、ローカルアルゴリズムのライブラリーを作るしかないと…
Read more

チェスタトンの柵の考え方を採用するのであれば、なぜ行なっているかわからないことはそれがなぜ行われているのかを理解するまで取り外してはいけない。人間が思い浮かべるような戦争と平和と言う整数的な二元論における平和の実現とは究…
Read more

数学的真理の帰結は常に人間という個別ノードには理解し難い高次圏的概念であることを前提とすれば文明の選べる答えは質量を増して最後はブラックホール（エントロピーの減少）→蒸発、または地球から雲散霧消して質量を減らす（エントロ…
Read more

数学と理論物理学の双方で極めて重要な役割を果たす例外型リー群 E8、およびその無限次元の拡張や関連する代数構造（E∞）について、歴史的論文により理解を深める。 これらの群・代数は、単なる対称性の分類を超えて、弦理論（スト…
Read more

現代の法構造、インフラストラクチャ、テクノロジーは人間の認知を超えた複雑性を有する。したがって人間の個人の判断だと歴史的な積み上げのシーケンスが膨大になってくると常に不要だから外しても良いという軽率な判断になりうる。新し…
Read more

Theme No.1 : Which historical topology do we choice to reside? historical tautology:Thales, Pytagoras, Euclid,…
Read more

https://www.math.ias.edu/~avi/TALKS/PvsNP_Clay%20Research%20Conference_2025.pdf#page=33.00 MIP∗ = RE(Nov 7 202…
Read more

① √2 が有理数にならないことの証明（紀元前6世紀頃 ギリシャサモス・ピタゴラス学派） 歴史上、最も古い不可能性の証明です。「正方形の辺の長さと対角線の長さを、どちらも整数比で表すことは不可能である（ √2 は分数で表…
Read more

Humans generally explore the ‘edges’ of theory based on the premises of classical theorem sequences. When sear…
Read more

Books of computational complexity https://www.math.ias.edu/files/Book-online-Aug0619.pdf https://www.math.ias.…
Read more