Registry · Proposition IV.P31 tau-effective formalized

IV.P31 — Reversibility-Irreversibility Resolution

Schrödinger is within-level reversible; thermodynamics is between-level irreversible. Three simultaneous truths: U(t) invertible, U(t) preserves level entropy, level transitions generically increase entropy.

Book IV Part 3 Ch. 22

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Symbol: Tau.BookIV.QuantumMechanics.ReversibilityirreversibilityResolution