Registry · Proposition IV.P139 tau-effective formalized

IV.P139 — Status of Boltzmann constant

The Boltzmann constant k_B is an SI conversion factor, not an ontic tau-constant; it converts the dimensionless tau-temperature T_tau to kelvin-valued T_SI = (1/k_B) * Lift_therm(T_tau), paralleling how hbar and c convert other tau-native quantities to SI.

Book IV Part 7 Ch. 52

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt2

Symbol: Tau.BookIV.ManyBody.StatusOfBoltzmannConstant