Registry · Theorem V.T28 tau-effective formalized

V.T28 — Newtonian limit recovery

In the weak-field, slow-motion regime, the chart shadow of the linearized tau-Einstein equation is the Newtonian gravitational equation nabla^2 Phi = 4 pi G rho, where G = (c^3/hbar) iota_tau^2. Newton's force law F = -m nabla Phi follows immediately.

Book V Part 2 Ch. 14

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.GravityField.LinearEinstein

Symbol: Tau.BookV.GravityField.NewtonianLimitRecovery