Registry · Remark IV.R366 tau-effective not_applicable

IV.R366 — Measuring alpha_mathrmem

The most precise determination of alpha comes from the electron anomalous magnetic moment g-2, where QED predicts a_e = (g-2)/2 as a power series in alpha; in Category tau, alpha is derived from tau^3 geometry with zero free parameters, not extracted from experiment.

Book IV Part 4 Ch. 29

Lean Formalization

Module: