Results Glossary Entry Canonical physics Temperature in the τ-framework is the defect-gradient quantity (IV.D228): the τ-internal gradient of the breathing-mode population on a defect bundle. It is not fundamental — it is a derived conjugate variable to entropy, with no negative v…
Results · Physics Glossary · Quantity PG-Q06-temperature T Canonical Lean · planned

Temperature

Temperature in the τ-framework is the defect-gradient quantity (IV.D228): the τ-internal gradient of the breathing-mode population on a defect bundle. It is not fundamental — it is a derived conjugate variable to entropy, with no negative values admitted (IV.R168).

Physics Glossary Primary: IV.D228 thermodynamic derived non fundamental e2

τ-Definition

Temperature in the τ-framework is the defect-gradient quantity (IV.D228): the τ-internal gradient of the breathing-mode population on a defect bundle. It is not fundamental — it is a derived conjugate variable to entropy, with no negative values admitted (IV.R168).

Categorical invariant. Temperature(B) := ∂E/∂S evaluated on bundle B = the conjugate of entropy under the τ-thermodynamic Legendre structure; equivalently, the τ-defect-gradient.

Primary registry anchor: IV.D228

Supporting items: IV.D466, IV.R154, IV.R168, IV.P372

τ-Derivation Chain

  1. I.K0 — Universe Postulate establishes τ
  2. IV.D466 — Entropy as breathing-mode multiplicity
  3. IV.D228 — Temperature as τ-defect-gradient — the conjugate of entropy
  4. IV.R154 — Temperature is not fundamental — it is derived from S and E
  5. IV.R168 — No negative temperatures — the gradient is sign-definite

Lean modules referenced: TauLib.BookIV.QuantumMechanics.EnergyEntropy

SI Translation

Calibration anchor: PG-P01-neutron

Calibration chain:

  1. m_n (anchor)
  2. k_B := τ-conjugate ratio between energy and breathing-mode count
  3. T := (∂E/∂S) evaluated on the τ-state

Manuscript reference: manuscript-sources/book-04/part04-quantum-mechanics/ch-energy-entropy.tex

Lean Coverage

Status: Planned

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Lean kind: def

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert