Glossary （記号トポロジー × 原典トポロジー）

Not a word list. Dual regeneration of the ideology. English canonical; Japanese supplementary. Mirror: axiomaticity.com (Archives of Axiom).

単語羅列ではない。思想の再生成仕様。英語正本・日本語補足。

Regen_symbol    = (V, E_sym, Walk)    # how symbols connect
Regen_reference = (R, E_ref, Cite)    # how primaries span the ideology
Ideology ≈ Walk(V) ∘ Cite(R)

Ontology: Glossary · Reference · Conjecture · Lineage. Repo: D-glossary.md.

0. What this page is （このページの位置）

Glossary は用語集ではなく、何を読めば思想が再生成されるかの位相仕様書である。記号の繋がり（S0–S6）と、原典の型と辺（R\*）、および ToC／AIT／GT の短縮語定義を同時に定義する。

1. Atlas （記号コンパス）

Axiom → Proposition → 0|1 → Clause → Conflict → Plane → Move
  → Outside → Halt → Satisfied → Irreducible → Re-run
  →（spiral_return）→ Axiom

2. Symbol strata S0–S6

3. Reference node types R* （思想を張る原典型）

Each bibliographic item carries at least one R-type. Mapped from axiomaticity archive routes.

axiomaticity scale (approx.): proof 1126 · theorem 1120 · person 1025 · journey 997 · lineage 153 · framework 35 · genealogy 27. TANAAKK starts thinner (Reference≈172 + Lineage corpora) but shares types.

4. Reference edges （思想の張り方）

5. Projection （live への射影）

学際分野名（Computational Complexity Theory 等）は R-document の色（bundle）であり、R 型そのものではない。

6. Cite rules （原典歩行）

1. 文献を主 R 型へ落とす。
2. instantiates で framework を明示する。
3. 人物は Lineage の carries。二次要約ではなく原典へ。
4. 予想は Conjecture へ open_on。Glossary に埋め込まない。
5. axiomaticity 同型があれば同一視し、偽の新規文書を増やさない（Failure A′）。
6. Cite 閉路だけで終わらず、必ず terminologizes で V へ射影する。

含意: R を読まずに V だけ暗記しても思想は再生しない。逆に書誌を積んでも Walk が無ければ Regenerable ではない。

7. Abbreviations & definitions （短縮語と定義）

短縮語は Abbreviation + Expansion (EN) + 日本語 + 定義 で固定する。主対象は Theory of Computation（ToC）、Algorithmic Information Theory（AIT）、Game Theory（GT）。Premise: Premise · D-glossary.md。

7.1 Theory of Computation （計算理論）

対比: Computability＝そもそも手続があるか（Halt / Undecidable）。Tractability＝手元の有限リソースで解が構成可能か（限定資源ノード）。前者は統合真理が置けない下限、後者は平面化・Conflict除去・外側停止で構成可能な盤面へ落とす理由。

7.2 Algorithmic Information Theory （アルゴリズム情報理論）

7.3 Game Theory & decision （ゲーム理論・意思決定）

7.4 Adjacent operators （隣接演算子｜本書で常駐）

7.5 Primality & axiomaticity （素数性・公理性）

数論の素数と、記号空間の既約を同一の手触りで扱う。未知語を「新素数」扱いするのは Failure A。

7.6 Composition algebras （合成代数｜Cayley–Dickson）

実数から次元倍化で代数を伸ばす系譜。各段で代数的性質が一つずつ解除される。ノルム乗法性（|ab|=|a||b|）は ℝ/ℂ/ℍ/𝕆 まで保たれ、十六元数で壊れる。

性質解除の梯子（固定）

含意: Quaternion→Octonion は「結合の解除」。ノルムそのもの（乗法性）が外れるのはその次（Sedenion）。ノルム可除で止まるのが Hurwitz の壁である。

7.7 Infinitude → presentability （無限から有限化｜濃度と表示）

無限をそのまま扱わず、有限（または小）データで再生成できる形へ落とす語彙。本書の「限定資源ノードで構成可能か」と同型の別角度である。

無限→有限化の梯子（固定）

含意: Computability が「手続があるか」、Tractability が「手元資源で構成できるか」なら、Presentability は「無限対象を小データで表示し直せるか」である。単体・オペラッド・層は、その表示の標準部品である。

規則: 未知の短縮語を新素数（New prime）扱いしたら Failure A。既存 Abbreviation 表へ terminologizes してから Walk する。

8. Frequency table （頻度表｜シード索引）

Occurrence counts are a seed index only. They do not replace Glossary (V, E, Walk).

出現数はシード索引にすぎない。Glossary の代替ではない。

Source: v1.0.114 body (pre-Glossary). Full tables: F-frequency.md.

Atlas keys

Tech Latin (top)

Curated Japanese (top)