Electron Mass Precision
The electron mass is derived in a 10-link chain from the kernel axioms K0-K6, achieving 0.025 ppm precision. Each link is independently verifiable and machine-c…
Physics
High impact frontier problem
PART
Book IV
Public
Manuscript
Lean · Formalized
Physics cascade
In plain language
The electron mass is derived in a 10-link chain from the kernel axioms K0-K6, achieving 0.025 ppm precision. Each link is independently verifiable and machine-c…
Overview
The electron mass is derived in a 10-link chain from the kernel axioms K0-K6, achieving 0.025 ppm precision. Each link is independently verifiable and machine-checked in TauLib.
Result Statement
Electron mass derived at 0.025 ppm precision via 10-link derivation chain from K0-K6. Status: Internally addressed.
Cross-references
Glossary terms
Physics: Electron mass m_eτ-Electron