Registry · Definition III.D95 tau-effective formalized

III.D95 — Goldbach Representation

Goldbach representation: every even n ≥ 4 is p+q for primes p,q. Verified computationally up to 100. Partition count r(n) measures additive richness. At primorial levels, partitions grow with depth.

Book III Part 10 Ch. 81

Dependency Graph

Depends on (1)

I.D19b

Depended on by (7)

III.D102 III.D103 III.D104 III.D96 III.P40 III.P43 III.T64

Lean Formalization

Module: TauLib.BookIII.Spectral.AdditiveConjectures

Symbol: goldbach_pair