temperature
plain-language theorem explainer
Temperature is defined as the reciprocal of the Lagrange multiplier beta that enforces the total J-cost constraint when maximizing microstates for the Boltzmann distribution. Chemists and statistical mechanicians working from Recognition Science cost functionals cite this when converting beta into the thermodynamic temperature appearing in Arrhenius rates and Curie temperatures. The definition is a direct one-line reciprocal.
Claim. The temperature satisfies $T(beta) := 1/beta$, where $beta$ is the Lagrange multiplier for the fixed total J-cost constraint in the derivation of $P_i = exp(-beta E_i)/Z$.
background
In the THERMO-001 module the Boltzmann distribution is obtained by maximizing the number of microstates subject to a fixed total recognition cost J(x) across energy levels E_i. Entropy of a configuration is defined as proportional to its total defect, with the zero-defect state being the minimum-entropy reference. The multiplier beta is introduced via Lagrange to enforce the cost ledger balance, after which temperature is recovered as its reciprocal.
proof idea
This is a direct definition implementing the thermodynamic identification T = 1/beta. It is a one-line wrapper that inverts the multiplier for immediate use in downstream expressions such as partition functions and rate laws.
why it matters
The definition supplies the temperature parameter required by the Chemistry module for Arrhenius activation barriers and Curie-temperature calculations. It completes the link from J-cost constrained maximization in the Boltzmann derivation to concrete observables. It sits inside the T0-T8 forcing chain at the point where thermodynamic temperature is recovered from the recognition-cost functional.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.