pith. machine review for the scientific record. sign in

IndisputableMonolith.Thermodynamics

IndisputableMonolith/Thermodynamics.lean · 64 lines · 0 declarations

show as:
view math explainer →

open module explainer GitHub source

Explainer status: ready · generated 2026-05-14 10:56:49.664722+00:00

   1import IndisputableMonolith.Thermodynamics.RecognitionThermodynamics
   2import IndisputableMonolith.Thermodynamics.MaxEntFromCost
   3import IndisputableMonolith.Thermodynamics.FreeEnergyMonotone
   4import IndisputableMonolith.Thermodynamics.ErrorCorrection
   5import IndisputableMonolith.Thermodynamics.PhaseTransitions
   6import IndisputableMonolith.Thermodynamics.MemoryLedger
   7
   8/-!
   9# Recognition Thermodynamics
  10
  11This module develops the statistical mechanics of Recognition Science (RS).
  12
  13## Overview
  14
  15Recognition Science has established a "T=0" foundation where reality is defined by
  16the absolute minimization of a universal cost functional J(x) = ½(x + 1/x) - 1.
  17This module extends RS to finite Recognition Temperature (TR), enabling:
  18
  191. **Noise and Fluctuations**: Understanding "almost-stable" states
  202. **Learning and Exploration**: The exploration-exploitation tradeoff
  213. **Arrow of Time**: Global relaxation toward low free energy
  224. **Error Correction**: Fault tolerance as the origin of physical law stability
  235. **Memory Dynamics**: Retention vs. free-energy decay
  24
  25## Submodules
  26
  27- `RecognitionThermodynamics`: Core definitions (TR, β, Gibbs measure, SR, FR)
  28- `MaxEntFromCost`: Gibbs minimizes free energy, maximizes entropy for fixed cost
  29- `FreeEnergyMonotone`: Second Law of Recognition (dFR/dt ≤ 0)
  30- `ErrorCorrection`: Error correction viewpoint, fault tolerance thresholds
  31- `PhaseTransitions`: Critical phenomena, coherence threshold C=1
  32- `MemoryLedger`: Memory as thermodynamic system (Priority #6 from RS_UNDISCOVERED_TERRITORIES)
  33
  34## Key Concepts
  35
  36### Recognition Temperature (TR)
  37Parameterizes the strictness of J-minimization:
  38- TR = 0: Deterministic RS (only J=0 states exist)
  39- TR = T_φ = ln(φ): Critical point (C=1 coherence threshold)
  40- TR → ∞: Maximum disorder (uniform distribution)
  41
  42### Recognition Free Energy (FR)
  43The fundamental variational quantity:
  44  FR(p) := E_p[J] - TR × SR(p)
  45
  46The Gibbs measure minimizes FR:
  47  p_G(x) ∝ exp(-J(x)/TR)
  48
  49### Arrow of Time
  50Time flows in the direction of decreasing FR:
  51  dFR/dt ≤ 0
  52
  53This unifies:
  54- Thermodynamic arrow (entropy increase)
  55- Cosmological arrow (universe expansion toward equilibrium)
  56- Psychological arrow (learning, adaptation)
  57
  58## References
  59
  60- RS_UNDISCOVERED_TERRITORIES.md
  61- Recognition-Science-Full-Theory.txt
  62- Statistical Mechanics of Recognition (paper draft)
  63-/
  64

source mirrored from github.com/jonwashburn/shape-of-logic