カテゴリー: Zermelo–Fraenkel with the Axiom of Choice

「大きな基数（large cardinal）」と「決定性（determinacy）」の研究は、**集合論（とくにZFCの拡張）**における最深部のテーマの一つです。 🔷 1. 大きな基数（Large Cardinals）…
Read more

◆ 命題（証明したいこと） Zero Groundは存在しなければならない。なぜなら、ZerksとZero Fieldの間に意味震源がなければ、空間の構造的連続性・観測者の存在・意味の展開が論理矛盾に陥るからである。 ◆…
Read more

Giuseppe Peano（ジュゼッペ・ペアノ、1858年 – 1932年）は、イタリアの数学者・論理学者であり、現代数学の形式主義・論理主義的基礎づけに大きな影響を与えた人物です。 🔹基本プロフィール 項目 内容 名…
Read more

ニュートン的な古典的因果律を超えた、構造的連鎖・共鳴的作用への直観について。 ■ Groundism™的再定義：「作用と反作用は一対一ではない」 ● 古典物理的には： 「作用＝反作用」（ニュートン第三法則）→ 力は対称で…
Read more

CPTは全てノイズであるとすると、経営のモデルベース構築に必要な線形力学、非線形力学的情報はさほど多くない。少なくとも毎日チェックするようなものではない。日次、週次、月次で現場を見るというCPT的行為は現場では価値を発揮…
Read more

ZFC以外にも、数学的証明の検証に用いられるメジャーな論理体系（形式体系）**は複数存在し、それぞれが異なる哲学・応用目的を持っています。 ■ 1. 型理論（Type Theory） ● 代表例: Martin-Löf型…
Read more

Zermelo–Fraenkel set theory with the Axiom of Choice（ZFC）とは、現代数学の基礎をなす集合論の標準的な公理体系のことです。数学のあらゆる対象（数、関数、空間など）を「…
Read more

Zermelo–Fraenkel set theory with the Axiom of Choice (ZFC) is the standard foundational system for most of mod…
Read more

チューリングの「停止問題の非決定性」証明をZFC形式で定義・構成・証明する構造を丁寧に構築していきます。ZFCはすべての対象を集合として扱うため、チューリングマシン（TM）や入力、停止性の判定などもすべて集合で再定義しま…
Read more

ZFCとは、**Zermelo–Fraenkel set theory with the Axiom of Choice（選択公理付きツェルメロ・フレンケル集合論）**の略で、現代数学のほぼすべてを支えている標準的な公理…
Read more