Registry · Remark IV.R166 tau-effective not_applicable

IV.R166 — Comparison with orthodox thermodynamics

The tau-temperature inverts the orthodox definition 1/T = dS/dE: here T_tau = d delta / d S_def, reflecting that the defect functional delta[omega] is the fundamental object and temperature is what one reads when differentiating it.

Book IV Part 7 Ch. 52

Lean Formalization

Module:

Symbol: