投稿者: TANAAKK

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

医療や製薬は形式証明により語り、形式証明の限界に挑戦する際、ローカルな局所解を発見することはまず大事である。 熱力学、流体力学、電磁力を発見した上で量子力学が発見されるのと同じく、Local Minimumの組み合わせに…
Read more

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

局所解である真理に対する、より広域な整合性を求める一般解への追及姿勢をなんというか。一般的な言葉自体が定義されていないのではないか。 「真理が局所的な構造整合にすぎないのなら、より広域な存在的・時空的整合性を目指す姿勢・…
Read more

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

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

米田補題の限界は、射が静的・一意的であるという前提に依存しており、ホモトピー圏論や∞-圏論においては、「射自体が可変である」ため、米田の同一性の定義（＝Hom集合の完全性）が相対化される。 つまり： 🧩 米田補題の“構造…
Read more

**ホモトピー圏論とは、「空間や関数の“連続変形”を射とする圏論」**です。通常の圏論では捉えきれない「高次構造」や「等しさの多様性」を捉えるために発展しました。 🔧 基本的な構成：ホモトピー圏（Homotopy Cat…
Read more

あらゆる真とされる証明は証明形式の限界範囲内ではという注意事項がつく。 本質的な命題： 「あらゆる“真”とされる証明には、必ず“証明形式”という限定的構造がついて回る」 1. ゲーデルによる明示： ゲーデルの不完全性定理…
Read more

SEC（米国証券取引委員会）によるGeneral Solicitation（一般勧誘）違反の実例。実際に違反があったケースでは、投資家への返金命令（rescission）、罰金、将来的な募集禁止処分などが科されます。 ✅…
Read more