Registry · Remark V.R146 tau-effective formalized

V.R146 — The Kolmogorov constant C_K

The Kolmogorov constant C_K approx 1.5-1.7 is determined by the defect-tuple geometry of the 4-component budget space (mu, nu, kappa, theta); precise computation requires the geometry of budget transfer on T^2, which is conjectural-scope.

Book V Part 4 Ch. 28

Lean Formalization

Module: TauLib.BookV.FluidMacro.Turbulence

Symbol: Tau.BookV.FluidMacro.TheKolmogorovConstantCk