Computational complementarity

DOI10.1007/BF02085960zbMath0533.03013OpenAlexW4256318059MaRDI QIDQ789384

Shlomit Ritz Finkelstein, David Ritz Finkelstein

Publication date: 1983

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02085960

zbMATH Keywords

automataGalois connectioncomplementaritygeneral systemstransition systemquantum systemshidden variablequantum paradoxinteractive controlinteractive logicnoncommutative algebras of interactively observable coordinatesparadox of interactivitysystem of predicates

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) General logic (03B99)

Related Items

Boolean machinery for quantum logics, Logics and quantum gravity, Automaton partition logic versus quantum logic, Formal model of internal measurement: Alternate changing between recursive definition and domain equation, Automaton logic, Physical versus computational complementarity. I, Deterministic automata. Simulation, universality and minimality, Automata simulating quantum logics, Bibliography on quantum logics and related structures, Empirical logic of finite automata: Microstatements versus macrostatements, Macroscopic realizations of quantum logics, Computational universes, Pre-Regge calculus: Topology via logic, Binary quantum logic and generating semigroups, Computational complementarity and shift spaces, Quantum structures in macroscopic reality, Finite nondeterministic automata: simulation and minimality

Cites Work

• Quantum sets and Clifford algebras
• Gödel's theorem and information
• On Quantization in Space with Torsion
• On the Problem of Hidden Variables in Quantum Mechanics
• On the Length of Programs for Computing Finite Binary Sequences
• A Suggested Interpretation of the Quantum Theory in Terms of "Hidden" Variables. I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item