2002/12/17 by Vaughan Pratt · 1 citation
Computer Science · Mathematics · #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory #Hilbert space #Mathematics #Complementarity (molecular biology) #Morphism #Pure mathematics #Quantum #Concurrency #Discrete mathematics #Automaton #Inner product space #Algebra over a field #Theoretical computer science #Computer science #Quantum mechanics
paper · doi:10.1109/phycmp.1994.363682
openalex publication_date 2002/12/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/31
Chu spaces are a model of concurrent computation extending automata theory to express branching time and true concurrency. They exhibit in a primitive form the quantum mechanical phenomena of complementarity and uncertainty. The complementarity arises as the duality of information and time, automata and schedules, and states and events. Uncertainty arises when we define a measurement to be a morphism and notice that increasing structure in the observed object reduces clarity of observation. For a Chu space this uncertainty can be calculated numerically in an attractively simple way directly from its form factor to yield the usual Heisenberg uncertainty relation. Chu spaces correspond to wavefunctions as vectors of Hilbert space, whose inner product operation is realized for Chu spaces as right residuation and whose quantum logic becomes Girard's linear logic.>