Registry · Proposition
V.P26
tau-effective
formalized
V.P26 — The 180^circ inversion
The 180-degree inversion: classical Boltzmann entropy satisfies dS_class/dt >= 0 while defect entropy satisfies dS_def/dn <= 0 under the identification t <-> n (orbit depth). The two entropies have exactly opposite monotonicity.
Book V
Part 3
Ch. 21