Registry · Theorem V.T52 tau-effective formalized

V.T52 — G Prediction --- V.T04, V.T05

The gravitational constant predicted by the closing identity agrees with CODATA 2018 to 3 ppm (0.0003%): |G^(tau) - G^(CODATA)| / G^(CODATA) approximately 3e-6. This deviation is within the CODATA measurement uncertainty for G (sigma_G/G = 22 ppm).

Book V Part 2 Ch. 20

Dependency Graph

Depends on (3)

Depended on by (10)

Lean Formalization

Module: TauLib.BookV.GravityField.ClosingIdentity

Symbol: Tau.BookV.GravityField.GPredictionVt04Vt05