Registry · Theorem V.T135 tau-effective formalized

V.T135 — Bell inequality in tau

The CHSH inequality |S| <= 2 is violated in tau by exactly the quantum prediction |S| <= 2 sqrt(2). There are no hidden variables (boundary characters are the complete description) and no nonlocality (correlations arise from the joint character's algebraic structure). Bell correlations are pre-existing in the joint character, not communicated at measurement.

Book V Part 7 Ch. 65

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Orthodox.MeasurementUnification

Symbol: Tau.BookV.Orthodox.BellInequalityInTau