Registry · Definition V.D189 tau-effective formalized

V.D189 — VM representation of a quantum state

A VM (virtual machine) quantum state is a vector |psi> in the orthodox Hilbert space obtained from a boundary character chi in H_partial[omega] by the readout map Read: chi -> |psi_chi>. The wave function is not a physical object; it is a VM representation of a boundary character. The VM language is orthodox QM; the ontology is the boundary algebra.

Book V Part 7 Ch. 65

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Orthodox.MeasurementUnification

Symbol: Tau.BookV.Orthodox.VmRepresentationOfAQuantumState