mondAcceleration
plain-language theorem explainer
This definition supplies the empirical MOND acceleration threshold a0 = 1.2e-10 m/s² for use in the Recognition Science treatment of galaxy rotation. Astrophysicists comparing ledger-based flat-curve predictions to Modified Newtonian Dynamics would reference the scale when testing low-acceleration regimes. The entry is a direct numerical assignment drawn from the module's cosmology context.
Claim. The MOND acceleration threshold is defined by the constant value $a_0 = 1.2 × 10^{-10}$ m s$^{-2}$.
background
The module COS-011 treats observed flat galaxy rotation curves as arising from dark-matter ledger distribution, where dark matter corresponds to odd 8-tick phase shadows and the halo follows a J-cost equilibrium profile. At low accelerations the standard Newtonian force is replaced by an enhanced form that yields constant orbital velocity without additional mass. The supplied DOC_COMMENT states that MOND implements this enhancement via $F = m a √(a/a_0)$ but fails on clusters and the CMB.
proof idea
One-line definition that directly assigns the numerical constant 1.2e-10; no lemmas or tactics are invoked.
why it matters
The entry supplies the benchmark MOND scale inside the ledger-distribution account of rotation curves. It sits alongside sibling definitions such as circularVelocity and isothermal_halo that implement the RS J-cost mechanism. The module DOC_COMMENT positions the ledger approach as an alternative to both CDM halos and MOND, while the DOC_COMMENT flags the known cluster and CMB limitations of the MOND force law.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.