Registry · Definition IV.D74 tau-effective formalized

IV.D74 — Address Resolution

Measurement of an observable on ψ ∈ H_τ is address resolution: coupling ψ to a device whose pointer has a definite eigenvalue, selecting a single eigenstate. No collapse axiom.

Book IV Part 3 Ch. 21

Dependency Graph

Depends on (1)

IV.T25

Depended on by (3)

IV.P26 IV.R19 IV.T27

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.Measurement

Symbol: Tau.BookIV.QuantumMechanics.AddressResolution