math
the science of proof. what is necessarily true about abstract structures — without observation, without time, without a channel
the primitive object is the proof: a chain of deductions from axioms to conclusion. remove proof and claims become opinions. every other science borrows mathematical structure. mathematics borrows from nothing
math is the first element of the form triad: proof, bit, step. together they produce the graph — the fundamental substrate. math verifies the graph. info populates it with distinctions. comp traverses it with transformations
the primitive
a proof has three parts: axioms (what you assume), rules (how you deduce), conclusion (what follows). every mathematical object — numbers, groups, spaces, distributions — is a conclusion of some proof system
proof makes math unique among sciences: a proven claim cannot be falsified by experiment. it holds in every universe that satisfies the axioms. this is why the tri-kernel's convergence theorem (collective focus theorem) is not a conjecture — it is a necessary truth given the axioms of probability and linear algebra
structures from proof
proof operates on structures. a structure = elements + relations. the fundamental structures of mathematics ordered by richness:
| structure | what it adds | key object |
|---|---|---|
| set | collection | element |
| graph | relation | edge |
| order | direction | ≤ |
| group | one operation | symmetry |
| ring | two operations | arithmetic |
| field | division | equations |
| topology | nearness | open set |
| measure | quantity | μ |
| manifold | all of the above | curvature |
each row adds structure to the row above. the poorest (set) has only elements. the richest (manifold) has everything. but the graph — just elements + relations — is the most fundamental non-trivial object. all others are graphs with constraints
the decomposition
every mathematical object is a composition of three primitives from the form triad:
| object | bit (what is distinguished) | step (what transforms) | proof (what is verified) |
|---|---|---|---|
| set | elements | — | — |
| graph | elements + connections | — | — |
| group | elements | one operation | closure, associativity, identity, inverse |
| field | elements | two operations | all ring axioms + multiplicative inverse |
| topology | nearness structure | — | axioms of open sets |
| measure | — | — | σ-additivity, non-negativity |
| manifold | all | all | all |
the poorest (set) is pure bit — only distinctions. the richest (manifold) uses all three. the graph is the most fundamental non-trivial object: bit + bit (elements + relations), no operations, no axioms
three structures span all of mathematics — they are languages, not branches:
linear algebra — vectors, matrices, eigenvalues. the computation engine. the spectral gap is linear algebra. the Laplacian is a matrix. the tri-kernel is a matrix operator
category theory — morphisms between structures. mathematics looking at itself. every structure has objects and arrows. category theory studies what they have in common
graph theory — nodes and edges. the meeting point where all structures speak about the same object. combinatorics counts graphs. algebra studies their spectra. geometry embeds them. probability walks on them. the cybergraph is the ultimate graph
the seven branches
seven irreducible questions about structure. each question defines a branch
| branch | question | studies |
|---|---|---|
| logic | what follows from what? | proof, inference, consistency |
| algebra | what operations preserve? | symmetry, groups, rings, fields |
| geometry | what shape? | form, curvature, Laplacian, manifolds |
| analysis | how does it change? | limits, flow, differential equations |
| combinatorics | how many? | counting, arrangement, graph theory |
| numbers | what are the atoms? | primes, divisibility, Goldilocks field |
| probability | how uncertain? | distributions, statistics, random walks |
for cyber
the tri-kernel is three operators from three branches: diffusion (probability), springs (geometry), heat (analysis). their fixed point is a Boltzmann distribution
the collective focus theorem proves convergence via Perron-Frobenius (linear algebra) and Banach fixed-point (analysis)
the crystal is combinatorics (N = 5,040 = 7!). Hemera is numbers (arithmetic in prime field). the cybergraph is graph theory
key figures
Euclid, Archimedes, Leonhard Euler, Carl Friedrich Gauss, Emmy Noether, Kurt Goedel, Stefan Banach, Miroslav Fiedler
pages
(and (page-tags math)) (12 results)