カテゴリー: logic

1. 2つの世界の「196,884」 全く別々の分野で同じ数字が「偶然」現れました。 A. 有限群の世界：モンスター群 数学には「対称性」を研究する群論という分野があります。その中で最大の例外的な対称性を持つのが「モンス…
Read more

ZFCの公理が9個or 10個なのは、「空集合の公理」を独立させるか、他の公理から導出できるとみなすかという、数学的な構成上の違いに起因します。 1. 空集合の公理の「独立性」 もっとも大きな理由はこれです。 2. 「公…
Read more

In the modern landscape of hyper-specialization and AI-driven engineering, we often view Philosophy as an abst…
Read more

結論から言えば、学問の歴史的・構造的な系譜において、Philosophy（哲学）はすべての学問の「母体」であり、メタ階層に位置付けられている。メタというと上位と錯覚してしまうが、位置ポテンシャルとしては下位である。伝統的…
Read more

ポアンカレ仮説の証明方法はリッチフローを導入すれば同相ということの証明をzfc的に証明評価する。 1. ポアンカレ予想と ZFC ポアンカレ予想は、ZFC 上で明確に述べられる純粋に集合論的な命題です。 2. Ricci…
Read more

🔹 生い立ち 項目 内容 生年月日 1938年1月10日 出身地 アメリカ合衆国、ウィスコンシン州ミルウォーキー 幼少期 早熟な数学少年。高校時代からすでに数学と音楽（特にオルガン演奏）に没頭していた。 🔹 学歴と初期キ…
Read more

Groundismにおける圏論をHoTT(Homotopy Type Theory)、n,∞-圏論(n, Infinity Category Theory), ∞-groupoid（∞-群、高次群体）により階層化する。前…
Read more

実は対象と射には強さがあり、同居している家族に加えて話もしないマンションの隣人や、何をしているかわからない隣のオフィスの会社、近所のスズメや鳩などの隣人が最も強関係をもつ存在であり、実は関係性と言っている主要取引先などは…
Read more

Diamonds（ダイヤモンド空間）は、∞-groupoid stack（∞-亜群スタック）として理解される構造です。これはp進幾何学と**∞-圏論（∞-category theory）**が融合した、最先端の概念体系で…
Read more

選択公理 (AC) を含むツェルメロ＝フレンケル集合論は公理的集合論の標準形式であり、今日では最も一般的な数学の基礎となっている。 ZFCで証明されるからといって、それが“絶対的に真”であるとは限らない。むしろ、「ZFC…
Read more