Registry · Proposition III.P40 tau-effective formalized

III.P40 — Additive-Multiplicative Duality

Additive-multiplicative duality: at each primorial level, both CRT decomposition and Goldbach partitions are nontrivial. Goldbach count, twin prime count, and CRT dimension all positive. Shadow of Langlands duality.

Book III Part 10 Ch. 81

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIII.Spectral.AdditiveConjectures

Symbol: additive_multiplicative_3