What the paper argues
The Calculus of Association (also circulated as FormulaForAGI) is the founding theory document of Calyx. Its claim is that intelligence can be treated as the measured calculus of association — and that four operations are enough to express it: Measure, Count, Differentiate, Compose.
The move that makes the calculus work is refusing to flatten. Meaning is stored as a constellation — one input seen through many independent lenses — and the lenses are kept separate end to end, so association can be measured (how much agreement, how many new bits) rather than merely asserted.
The bridge into Concepts
If the formal statement is heavy going, step down into the interactive concepts and come back:
- the unifying idea itself — Calculus of Association;
- its operations — the four verbs;
- association made concrete — Count → Loom and Differentiate → Assay.
A learner can step up from any of those concepts back to this paper; a reader can step down from the paper into a demo. That two-way bridge is the point of the research surface.