Results Glossary Entry Canonical physics Newton's gravitational constant G is, in the τ-framework, a derived structural ratio that emerges from the gravity-sector embedding of ι_τ in the categorical bridge. It is not a fundamental free parameter but a τ-categorical invariant fixed…
Results · Physics Glossary · Constant PG-C01-newton-g G Canonical Lean · formalized

Newton's gravitational constant G

Newton's gravitational constant G is, in the τ-framework, a derived structural ratio that emerges from the gravity-sector embedding of ι_τ in the categorical bridge. It is not a fundamental free parameter but a τ-categorical invariant fixed by the structural cascade.

Physics Glossary Primary: V.D45 fundamental constant gravity sector iota tau derived calibration triangle

τ-Definition

Newton's gravitational constant G is, in the τ-framework, a derived structural ratio that emerges from the gravity-sector embedding of ι_τ in the categorical bridge. It is not a fundamental free parameter but a τ-categorical invariant fixed by the structural cascade.

Categorical invariant. G = (gravity-sector embedding of ι_τ-chain) · (dimensional factor from m_n anchor and c, ℏ derivations).

Primary registry anchor: V.D45

Supporting items: IV.D05, V.R69, V.P58

τ-Derivation Chain

  1. I.K0 — Universe Postulate
  2. I.D34 — Master constant ι_τ
  3. IV.D05 — Gravity Sector at E₁ — gravity emerges as a categorical sector
  4. V.R69 — Newton's gravitation derived from τ-categorical structure
  5. V.P58 — Newton's First Law as categorical limit
  6. V.D45 — Gravitational constant G as derived structural ratio

Lean modules referenced: TauLib.BookV.GravityField.CalibrationTriangle

SI Translation

Numerical value: 6.67430e-11 ± 1.5e-15 m³ kg⁻¹ s⁻²

Calibration anchor: PG-P01-neutron

Calibration chain:

  1. m_n (anchor)
  2. ι_τ-derived gravity-sector coupling
  3. (M, L, ℏ) cascade via ι_τ-chain
  4. G = (gravity-sector ratio) × (kg^{-1} m^3 s^{-2} from cascade)

Manuscript reference: manuscript-sources/book-05/part07-closure/ch-closure-constants.tex

Lean Coverage

Status: Formalized

Module: TauLib.BookV.GravityField.CalibrationTriangle

Lean kind: def

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert