THE MERCURIAL WORLD / LIBRARY

Mathematical
Atlas

Core domains. Foundations. Crossings.

CORE DOMAINS / FOUNDATIONS

ACTIVE DOMAIN / PUBLIC PLATES

Inspect the mechanism.

The active domain opens as a reading instrument: relation in the center, operation at hand, provenance visible, limits engraved into the frame, and a path back to the room where the phenomenon lives.

OPEN DOMAIN / PUBLIC PLATES

Representation, Transformation & Invariance

I

PART I / PLATE 1

RELATION

OPERATEInspect the relationship
BREAK CONDITION / LIMIT

RETURN TO SOURCE ROOMS
ATLAS NOTEShared mathematics does not imply shared cause, meaning, or evidence.Why?
Mathematical correspondence ≠ physical causation.Mathematical structure ≠ musical authority.Sonification ≠ scientific validation.Puzzle or story material ≠ external evidence.
FOUNDATIONS RING / RAYO

Three limits beneath the ten domains.

The core domains remain intact. The Foundations Ring records mathematics that asks what can be counted, measured, constructed, computed, proved, or captured by a formal system.

FOUNDATION A / INFINITY + ORDER

Infinity, Order & Set Construction

|A| < |P(A)|0, 1, 2, …, ω, ω+1, …successor → P(previous) · limit → ⋃ earlier stages

Cardinality, order type and construction stage are different quantities. A countable ordinal can serve as the blueprint for a construction whose output is uncountable.

FOUNDATION C / COMPUTATION + PROOF

Computation, Logic & Formal Limits

H(n,m) ∈ {0,1}¬∃M : Out(M) = Th(ℕ)T ⊬ Con(T) · under the theorem’s conditions

Effective coding makes machines and proofs mechanically inspectable. Halting blocks a universal decision procedure; Gödel then exposes limits on complete effective capture of arithmetic truth and on internal consistency proofs.

CROSSINGS / SOURCE ROOMS

Mathematics can travel without stealing the room.

A crossing appears here only when an exact mathematical relationship is present. Follow it back to the room where the phenomenon, instrument, science, music, story, or pedagogy actually lives.

CROSS-REFERENCE / PART III

Decision and probability foundations.

Rayo’s Newcomb and Probability chapters deepen conditional probability, evidence, causation, Bayes and Countable Additivity without replacing the existing Evidence domain.

P(A|B)=P(A∩B)/P(B) · P(⋃Aᵢ)=ΣP(Aᵢ) for pairwise disjoint AᵢOpen the Predictor’s Boxes →
CROSS-REFERENCE / REPRESENTATION + DYNAMICS

Counterpoint transformation stays music-owned.

Strange Loop exposes imitation, inversion, rhythmic displacement and voice migration. The Atlas may index those transformations; it does not declare a new theorem about Bach or musical quality.

motif → imitation / inversion / displacementOpen Strange Loop →