Registry · Theorem V.T126 tau-effective formalized

V.T126 — The readout quantization obstruction

Quantization constructs a boundary algebra from a classical phase space. If the classical object is already a readout of a boundary algebra, quantization produces a readout of a readout, a double projection that generates spurious degrees of freedom. This is why quantizing gravity (the GR metric) produces a non-renormalizable theory.

Book V Part 7 Ch. 61

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Orthodox.EmergentGeometry

Symbol: Tau.BookV.Orthodox.TheReadoutQuantizationObstruction