Curated mathematical reference — established facts, atomized one concept per note. (Draft/learning versions and original in-progress syntheses live under raw/math/.)
Branches
- analysis — KKT, Lagrangian duality (worked examples).
- learning-theory — PAC, VC dimension, Sauer–Shelah, the fundamental theorem.
- logic — computability, formal languages, soundness/completeness, the recursion hierarchy.
- information-theory — Shannon's layer plus Zipf/Heaps (reclassified from the communication map, 2026-08-05).
- spreading-dynamics — SIR, viral coefficient, critical mass, network scaling (same reclassification).
- order-theory — orders, well-foundedness, lattices/CPOs, Zorn.
- number-theory — Collatz and its undecidable generalization.
- orbit — the mathematics of iteration: dynamical systems, ergodic theory, symbolic/complex dynamics, the Gauss map, arithmetic dynamics.
- optimization — the optimization survey (era by era).