Registry · Corollary II.C01 established formalized

II.C01 — Holographic Principle

The Central Theorem is an exact holographic correspondence: the 1-dimensional boundary data (characters on L) completely encodes the 3-dimensional interior data (holomorphic functions on tau^3). A proved theorem, not a conjecture.

Book II Part 9 Ch. 51

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookII.CentralTheorem.CentralTheorem

Symbol: Tau.BookII.CentralTheorem.holographic_check