Registry · Remark III.R12 tau-effective not_applicable

III.R12 — Enrichment Placement Table

Placement of each millennium problem in the enrichment ladder: E₀ = RH + Poincaré (Part IV), E₁ = NS + YM + Hodge (Part V), E₁→E₂ = BSD + Langlands (Part VI), E₂ = P vs NP (Part VII). P vs NP requires E₂ because computational bi-square pasting needs self-referential codes.

Book III Part 4 Ch. 21

Dependency Graph

Depends on (2)

Lean Formalization

Module:

Symbol: