Registry · Remark IV.R168 tau-effective not_applicable

IV.R168 — No negative temperatures

In Category tau T_tau >= 0 always because the defect functional is a monotone readout of defect entropy with non-negative gradient; systems appearing to have negative temperature in orthodox thermodynamics have a readout functor that inverts the entropy gradient sign.

Book IV Part 7 Ch. 52

Lean Formalization

Module:

Symbol: