Registry · Theorem
V.T251
tau-effective
formalized
V.T251 — C_K = 3/2
Kolmogorov constant C_K = dim(τ³)/dim(T²) = 3/2 = 1.5. Exact match to Sreenivasan 1995 (1.5±0.1). Zero free parameters.
Book V
Part 4
Ch. 28