bsd_from_ledger
plain-language theorem explainer
The structural placeholder asserts that the golden ratio is irrational as the base proposition in the Recognition Science scaffold for the Birch-Swinnerton-Dyer conjecture. Researchers deriving connections between elliptic curve ranks and L-function vanishing orders within this framework would cite it when building implications from the phi-ladder. The definition is a direct abbreviation with no lemmas or tactics applied.
Claim. The Birch-Swinnerton-Dyer structure from the ledger is the proposition that the golden ratio $phi$ is irrational.
background
The module M-005 formalizes a structural RS scaffold for BSD derivation components, providing placeholders that link rank and L-value vanishing order. This definition introduces the core proposition that the golden ratio is irrational, serving as the entry point for the RS route without depending on prior lemmas. The local setting treats the statement as a foundational assumption for downstream structures in number theory.
proof idea
The declaration is a direct definition that sets the BSD placeholder proposition equal to the statement of phi irrationality. No lemmas are applied and the construction requires only the abbreviation itself.
why it matters
This definition anchors the BSD structure and feeds into theorems such as the one showing BSD implies irrationality of phi, plus connections to Birch-Tate and Hodge structures. It fills the M-005 scaffold in the Recognition Science framework, relating to the phi self-similar fixed point from the forcing chain. It touches the open question of deriving the full BSD conjecture from RS principles.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.