Registry · Proposition V.P57 tau-effective formalized

V.P57 — Bertrand as Readout Constraint --- V.P21

Bertrand's theorem (closed orbits only for r^{-2} and linear forces) is a property of the classical readout regime within ell_cl; beyond ell_cl the capacity correction breaks Bertrand's hypotheses and orbits need not close.

Book V Part 5 Ch. 34

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.ClassicalIllusion

Symbol: Tau.BookV.Astrophysics.BertrandAsReadoutConstraintVp21