# Mathematics Codex — AI Access Policy
# Generated: 2026-07-09 | Build: v2.5 | Session 15

## LIVE ENTRIES
Total: 106

### Foundations & Logic
- Computability Theory | /mathematics/foundations-logic/computability-theory/
- Constructivism | /mathematics/foundations-logic/constructivism/
- Continuum Hypothesis | /mathematics/foundations-logic/continuum-hypothesis/
- Function | /mathematics/foundations-logic/function/
- Mathematical Logic | /mathematics/foundations-logic/mathematical-logic/
- Model Theory | /mathematics/foundations-logic/model-theory/
- Philosophy of Logic | /mathematics/foundations-logic/philosophy-of-logic/
- Proof | /mathematics/foundations-logic/proof/
- Proof Theory | /mathematics/foundations-logic/proof-theory/
- set | /mathematics/foundations-logic/set/
- Type Theory | /mathematics/foundations-logic/type-theory/
- ZFC Axioms | /mathematics/foundations-logic/zfc-axioms/

### Number Theory
- Goldbach Conjecture | /mathematics/number-theory/goldbach-conjecture/
- Integer | /mathematics/number-theory/integer/
- Irrational Number | /mathematics/number-theory/irrational-number/
- natural-number | /mathematics/number-theory/natural-number/
- Prime Number | /mathematics/number-theory/prime-number/
- Rational Number | /mathematics/number-theory/rational-number/
- Real Number | /mathematics/number-theory/real-number/
- Twin Prime Conjecture | /mathematics/number-theory/twin-prime-conjecture/
- Zero | /mathematics/number-theory/zero/

### Algebra
- Determinant | /mathematics/algebra/determinant/
- Eigenvalue & Eigenvector | /mathematics/algebra/eigenvalue-and-eigenvector/
- Field | /mathematics/algebra/field/
- Free Group | /mathematics/algebra/free-group/
- Galois Theory | /mathematics/algebra/galois-theory/
- Group | /mathematics/algebra/group/
- Homomorphism & Isomorphism | /mathematics/algebra/homomorphism-isomorphism/
- Ideal | /mathematics/algebra/ideal/
- Matrix | /mathematics/algebra/matrix/
- Polynomial | /mathematics/algebra/polynomial/
- Ring | /mathematics/algebra/ring/
- Symmetric Group | /mathematics/algebra/symmetric-group/
- Vector Space | /mathematics/algebra/vector-space/

### Geometry
- Archimedes | /mathematics/geometry/archimedes/
- Circle | /mathematics/geometry/circle/
- Conic Sections | /mathematics/geometry/conic-sections/
- Euclid | /mathematics/geometry/euclid/
- Euclidean Geometry | /mathematics/geometry/euclidean-geometry/
- Euclid's Elements | /mathematics/geometry/euclids-elements/
- Golden Ratio | /mathematics/geometry/golden-ratio/
- Non-Euclidean Geometry | /mathematics/geometry/non-euclidean-geometry/
- Platonic Solids | /mathematics/geometry/platonic-solids/
- Triangle | /mathematics/geometry/triangle/

### Topology
- Metric Space | /mathematics/topology/metric-space/
- Poincaré Conjecture | /mathematics/topology/poincare-conjecture/
- Topological Space | /mathematics/topology/topological-space/

### Analysis
- Complex Number | /mathematics/analysis/complex-number/
- Continuity | /mathematics/analysis/continuity/
- Derivative | /mathematics/analysis/derivative/
- Differential Equation | /mathematics/analysis/differential-equation/
- Fourier Series | /mathematics/analysis/fourier-series/
- Integral | /mathematics/analysis/integral/
- Limit | /mathematics/analysis/limit/
- Series & Convergence | /mathematics/analysis/series-and-convergence/
- Taylor Series | /mathematics/analysis/taylor-series/

### Probability & Statistics
- Bayes' Theorem | /mathematics/probability-statistics/bayes-theorem/
- Central Limit Theorem | /mathematics/probability-statistics/central-limit-theorem/
- Law of Large Numbers | /mathematics/probability-statistics/law-of-large-numbers/
- Normal Distribution | /mathematics/probability-statistics/normal-distribution/
- Probability | /mathematics/probability-statistics/probability/
- Random Variable | /mathematics/probability-statistics/random-variable/

### Discrete Mathematics
- Big-O Notation | /mathematics/discrete/big-o-notation/
- Combinatorics | /mathematics/discrete/combinatorics/
- Four Colour Theorem | /mathematics/discrete/four-colour-theorem/
- Graph Theory | /mathematics/discrete/graph-theory/
- Pigeonhole Principle | /mathematics/discrete/pigeonhole-principle/
- Recurrence Relation | /mathematics/discrete/recurrence-relation/

### Applied Mathematics
- Calculus of Variations | /mathematics/applied/calculus-of-variations/
- Fourier Transform | /mathematics/applied/fourier-transform/
- Game Theory | /mathematics/applied/game-theory/
- Hamiltonian & Lagrangian Mechanics | /mathematics/applied/hamiltonian-lagrangian-mechanics/
- Nash Equilibrium | /mathematics/applied/nash-equilibrium/
- Optimization | /mathematics/applied/optimization/

### Mathematical Physics
- Navier-Stokes Existence and Smoothness | /mathematics/mathematical-physics/navier-stokes-existence-and-smoothness/
- Noether's Theorem | /mathematics/mathematical-physics/noethers-theorem/

### History & Philosophy
- Hilbert's 23 Problems | /mathematics/history-philosophy/hilberts-23-problems/
- Philosophy of Mathematics | /mathematics/history-philosophy/philosophy-of-mathematics/

### Named Results
- Banach-Tarski Paradox | /mathematics/named-results/banach-tarski-paradox/
- Basel Problem | /mathematics/named-results/basel-problem/
- Clay Millennium Problems | /mathematics/named-results/clay-millennium-problems/
- Collatz Conjecture | /mathematics/named-results/collatz-conjecture/
- Euler's Identity | /mathematics/named-results/eulers-identity/
- Euler's Sum of Powers Conjecture | /mathematics/named-results/eulers-sum-of-powers-conjecture/
- Fermat's Last Theorem | /mathematics/named-results/fermats-last-theorem/
- Gödel's Incompleteness Theorems | /mathematics/named-results/godels-incompleteness-theorems/
- Kepler Conjecture | /mathematics/named-results/kepler-conjecture/
- Mertens Conjecture | /mathematics/named-results/mertens-conjecture/
- Monty Hall Problem | /mathematics/named-results/monty-hall-problem/
- P vs NP | /mathematics/named-results/p-vs-np/
- Pythagorean Theorem | /mathematics/named-results/pythagorean-theorem/
- Riemann Hypothesis | /mathematics/named-results/riemann-hypothesis/
- Zeno's Paradoxes | /mathematics/named-results/zenos-paradoxes/

### Indian Mathematics
- Āryabhaṭīya | /mathematics/indian-mathematics/aryabhatiya/
- Bhāskara II | /mathematics/indian-mathematics/bhaskara-ii/
- Brahmagupta | /mathematics/indian-mathematics/brahmagupta/
- Brāhmasphuṭasiddhānta | /mathematics/indian-mathematics/brahmasphutasiddhanta/
- Indian Numeral System | /mathematics/indian-mathematics/indian-numeral-system/
- Jyotpatti | /mathematics/indian-mathematics/jyotpatti/
- Mādhava of Saṅgamagrāma | /mathematics/indian-mathematics/madhava/
- Srinivasa Ramanujan | /mathematics/indian-mathematics/ramanujan/
- Śulbasūtras | /mathematics/indian-mathematics/sulbasutras/
- Vedic Mathematics | /mathematics/indian-mathematics/vedic-mathematics/

### Recreational Mathematics
- Conway's Game of Life | /mathematics/recreational/conways-game-of-life/
- Magic Square | /mathematics/recreational/magic-square/
- Tower of Hanoi | /mathematics/recreational/tower-of-hanoi/

## PROOF STATUS BOARD
/mathematics/proof-status/ | /mathematics/proof-status/registry.json
All 21 tracked results have Codex entries.

## FULL TEXT
/mathematics/llms-full.txt