Results 1  10
of
38
Automaton Logic
 International Journal of Theoretical Physics
, 1996
"... The experimental logic of Moore and Mealy type automata is investigated. key words: automaton logic; partition logic; comparison to quantum logic; intrinsic measurements 1 ..."
Abstract

Cited by 79 (46 self)
 Add to MetaCart
The experimental logic of Moore and Mealy type automata is investigated. key words: automaton logic; partition logic; comparison to quantum logic; intrinsic measurements 1
Finite precision measurement nullifies the KochenSpecker theorem
, 1999
"... Only finite precision measurements are experimentally reasonable, and they cannot distinguish a dense subset from its closure. We show that the rational vectors, which are dense in S 2, can be colored so that the contradiction with hidden variable theories provided by KochenSpecker constructions do ..."
Abstract

Cited by 32 (1 self)
 Add to MetaCart
Only finite precision measurements are experimentally reasonable, and they cannot distinguish a dense subset from its closure. We show that the rational vectors, which are dense in S 2, can be colored so that the contradiction with hidden variable theories provided by KochenSpecker constructions does not obtain. Thus, in contrast to violation of the Bell inequalities, no quantumoverclassical advantage for information processing can be derived from the KochenSpecker theorem alone.
Multiparty pseudotelepathy
 Proceedings of the 8th International Workshop on Algorithms and Data Structures, Volume 2748 of Lecture Notes in Computer Science
, 2003
"... Quantum information processing is at the crossroads of physics, mathematics and computer science. It is concerned with that we can and cannot do with quantum information that goes beyond the abilities of classical information processing devices. Communication complexity is an area of classical compu ..."
Abstract

Cited by 18 (6 self)
 Add to MetaCart
Quantum information processing is at the crossroads of physics, mathematics and computer science. It is concerned with that we can and cannot do with quantum information that goes beyond the abilities of classical information processing devices. Communication complexity is an area of classical computer science that aims at quantifying the amount of communication necessary to solve distributed computational problems. Quantum communication complexity uses quantum mechanics to reduce the amount of communication that would be classically required. Pseudotelepathy is a surprising application of quantum information processing to communication complexity. Thanks to entanglement, perhaps the most nonclassical manifestation of quantum mechanics, two or more quantum players can accomplish a distributed task with no need for communication whatsoever, which would be an impossible feat for classical players. After a detailed overview of the principle and purpose of pseudotelepathy, we present a survey of recent and nosorecent work on the subject. In particular, we describe and analyse all the pseudotelepathy games currently known to the authors.
Computational universes
 Chaos, Solitons & Fractals
, 2006
"... Suspicions that the world might be some sort of a machine or algorithm existing “in the mind ” of some symbolic number cruncher have lingered from antiquity. Although popular at times, the most radical forms of this idea never reached mainstream. Modern developments in physics and computer science h ..."
Abstract

Cited by 9 (5 self)
 Add to MetaCart
Suspicions that the world might be some sort of a machine or algorithm existing “in the mind ” of some symbolic number cruncher have lingered from antiquity. Although popular at times, the most radical forms of this idea never reached mainstream. Modern developments in physics and computer science have lent support to the thesis, but empirical evidence is needed before it can begin to replace our contemporary world view.
Contexts in quantum, classical and partition logic
 In Handbook of Quantum Logic
, 2006
"... Contexts are maximal collections of comeasurable observables “bundled together ” to form a “quasiclassical miniuniverse. ” Different notions of contexts are discussed for classical, quantum and generalized urn–automaton systems. PACS numbers: 02.10.v,02.50.Cw,02.10.Ud ..."
Abstract

Cited by 8 (7 self)
 Add to MetaCart
Contexts are maximal collections of comeasurable observables “bundled together ” to form a “quasiclassical miniuniverse. ” Different notions of contexts are discussed for classical, quantum and generalized urn–automaton systems. PACS numbers: 02.10.v,02.50.Cw,02.10.Ud
NonBoolean Descriptions for MindMatter Problems
"... A framework for the mindmatter problem in a holistic universe which has no parts is outlined. The conceptual structure of modern quantum theory suggests to use complementary Boolean descriptions as elements for a more comprehensive nonBoolean description of a world without an apriorigiven mindmat ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
A framework for the mindmatter problem in a holistic universe which has no parts is outlined. The conceptual structure of modern quantum theory suggests to use complementary Boolean descriptions as elements for a more comprehensive nonBoolean description of a world without an apriorigiven mindmatter distinction. Such a description in terms of a locally Boolean but globally nonBoolean structure makes allowance for the fact that Boolean descriptions play a privileged role in science. If we accept the insight that there are no ultimate building blocks, the existence of holistic correlations between contextually chosen parts is a natural consequence. The main problem of a genuinely nonBoolean description is to find an appropriate partition of the universe of discourse. If we adopt the idea that all fundamental laws of physics are invariant under time translations, then we can consider a partition of the world into a tenseless and a tensed domain. In the sense of a regulative principle, the material domain is defined as the tenseless domain with its homogeneous time. The tensed domain contains the mental domain with a tensed time characterized by a privileged position, the Now. Since this partition refers to two complementary descriptions which are not given apriori,wehavetoexpectcorrelations between these two domains. In physics it corresponds to Newton’s separation of universal laws of nature and contingent initial conditions. Both descriptions have a nonBoolean structure and can be encompassed into a single nonBoolean description. Tensed and tenseless time can be synchronized by holistic correlations. 1.
Coloring the Rational Quantum Sphere and the KochenSpecker Theorem
"... We review and extend recent ndings of Godsil and Zaks [1], who published a constructive coloring of the rational unit sphere with the property that for any orthogonal tripod formed by rays extending from the origin of the points of the sphere, exactly one ray is red, white and black. They also ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
We review and extend recent ndings of Godsil and Zaks [1], who published a constructive coloring of the rational unit sphere with the property that for any orthogonal tripod formed by rays extending from the origin of the points of the sphere, exactly one ray is red, white and black. They also showed that any consistent coloring of the real sphere requires an additional color. We discuss some of the consequences for the KochenSpecker theorem [2].
Quantum Scholasticism: On Quantum Contexts, Counterfactuals, and the Absurdities of Quantum Omniscience
, 2008
"... ..."
Embedding Quantum Universes in Classical Ones
, 1999
"... this paper; the propositional structure encountered in the quantum mechanics of spin  state measurements of a spin onehalf particle along two directions ( mod p) , that is, the modular, orthocomplemented lattice MO 2 drawn in Fig. 1 ( where p 2 = ( p + ) and q 2 = ( q + ) ) ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
this paper; the propositional structure encountered in the quantum mechanics of spin  state measurements of a spin onehalf particle along two directions ( mod p) , that is, the modular, orthocomplemented lattice MO 2 drawn in Fig. 1 ( where p 2 = ( p + ) and q 2 = ( q + ) )
Quantum logic. A brief outline
, 2005
"... A more complete introduction of the author can be found in the book ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
A more complete introduction of the author can be found in the book