Results 1  10
of
93
Betting on the outcomes of measurements: A Bayesian theory of quantum probability,
 Studies in History and Philosophy of Modern Physics,
, 2003
"... Abstract We develop a systematic approach to quantum probability as a theory of rational betting in quantum gambles. In these games of chance the agent is betting in advance on the outcomes of several (finitely many) incompatible measurements. One of the measurements is subsequently chosen and perf ..."
Abstract

Cited by 24 (4 self)
 Add to MetaCart
Abstract We develop a systematic approach to quantum probability as a theory of rational betting in quantum gambles. In these games of chance the agent is betting in advance on the outcomes of several (finitely many) incompatible measurements. One of the measurements is subsequently chosen and performed and the money placed on the others is returned to the agent. If the rules of rationality are followed one obtains the peculiarities of quantum probability, the uncertainty relations and the EPR paradox among others. The consequences of this approach for hidden variables and quantum logic are analyzed. Preface This paper was written originally for physicists and philosophers of science who are familiar with quantum mechanics and its foundational problems. To make it more accessible to readers from other disciplines I have added two appendices. The first covers the basic concepts state and observable and the rules for calculating quantum probabilities. The second gives a simple derivation of two basic results: the Kochen and Specker theorem, and Bell's theorem. (These results are also covered, from a Bayesian perspective, in the main text). The background knowledge required is of linear algebra of finite dimensional complex vector spaces. The single major subject not covered in the appendix is Bohm's theory (section 3.2). Covering it in any detail will take too much space.
Quantum randomness and value indefiniteness
 Advanced Science Letters
"... As computability implies value definiteness, certain sequences of quantum outcomes cannot be computable. 1. CONCEPTUALISATION It certainly would be fascinating to pinpoint the time of the emergence of the notion that certain quantum processes, such as the decay of an excited quantum state, occurs pr ..."
Abstract

Cited by 22 (9 self)
 Add to MetaCart
As computability implies value definiteness, certain sequences of quantum outcomes cannot be computable. 1. CONCEPTUALISATION It certainly would be fascinating to pinpoint the time of the emergence of the notion that certain quantum processes, such as the decay of an excited quantum state, occurs principally and irreducibly at random; and howlong it took to become the dominant way of thinking about them after almost two centuries of quasirationalistic dominance. Bohr’s and Heisenberg’s influence has been highly recognised and has prevailed, even against the strong rationalistic and philosophic objections raised by, for instance, by Einstein and Schrödinger. 1 � 2 Of course, one of the strongest reasons for this growing acceptance of quantum randomness has been the factual inability to go “beyond ” the quantum in any manner which would encourage new phenomenology and might result in any hope for a progressive quasiclassical research program. 3
Physical versus Computational Complementarity I
, 1996
"... The dichotomy between endophysical/intrinsic and exophysical/extrinsic perception concerns the question of how a model  mathematical, logical, computational  universe is perceived from inside or from outside, [71, 65, 66, 59, 60, 68, 67]. This distinction goes back in time at least to Archimedes, ..."
Abstract

Cited by 22 (20 self)
 Add to MetaCart
The dichotomy between endophysical/intrinsic and exophysical/extrinsic perception concerns the question of how a model  mathematical, logical, computational  universe is perceived from inside or from outside, [71, 65, 66, 59, 60, 68, 67]. This distinction goes back in time at least to Archimedes, reported to have asked for a point outside the world from which one could move the earth. An exophysical perception is realized when the system is laid out and the experimenter peeps at the relevant features without changing the system. The information flows on a oneway road: from the system to the experimenter. An endophysical perception can be realized when the experimenter is part of the system under observation. In such a case one has a twoway informational flow; measurements and entities measured are interchangeable and any attempt to distinguish between them ends up as a convention. The general conception dominating the sciences is that the physical universe is perceivable ...
Partition logics, orthoalgebras and automata
 Helvetica Physica Acta
, 1995
"... We investigate the orthoalgebras of certain nonBoolean models which have a classical realization. Our particular concern will be the partition logics arising from the investigation of the empirical propositional structure of Moore and Mealy type automata. 1 ..."
Abstract

Cited by 16 (10 self)
 Add to MetaCart
(Show Context)
We investigate the orthoalgebras of certain nonBoolean models which have a classical realization. Our particular concern will be the partition logics arising from the investigation of the empirical propositional structure of Moore and Mealy type automata. 1
Dynamic quantum logic for quantum programs
 International Journal of Quantum Information
"... We present a way to apply quantum logic to the study of quantum programs. This is made possible by using an extension of the usual propositional language in order to make transformations performed on the system appear explicitly. This way, the evolution of the system becomes part of the logical stud ..."
Abstract

Cited by 14 (2 self)
 Add to MetaCart
(Show Context)
We present a way to apply quantum logic to the study of quantum programs. This is made possible by using an extension of the usual propositional language in order to make transformations performed on the system appear explicitly. This way, the evolution of the system becomes part of the logical study. We show how both unitary operations and twovalued measurements can be included in this formalism and can thus be handled logically. 1
Logical Equivalence between Generalized Urn Models and Finite Automata
 International Journal of Theoretical Physics
, 2002
"... To every generalized urn model there exists a finite (Mealy) automaton with identical propositional calculus. The converse is true as well. ..."
Abstract

Cited by 14 (12 self)
 Add to MetaCart
(Show Context)
To every generalized urn model there exists a finite (Mealy) automaton with identical propositional calculus. The converse is true as well.
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 12 (5 self)
 Add to MetaCart
(Show Context)
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.
Noncontextuality in multipartite entanglement
 J. Phys. A: Math. Gen
, 2005
"... Abstract. We discuss several multiport interferometric preparation and measurement configurations and show that they are noncontextual. Generalizations to the n particle case are discussed. ..."
Abstract

Cited by 11 (11 self)
 Add to MetaCart
(Show Context)
Abstract. We discuss several multiport interferometric preparation and measurement configurations and show that they are noncontextual. Generalizations to the n particle case are discussed.
Deterministic Automata: Simulation, Universality and Minimality
, 1996
"... Finite automata have been recently used as alternative, discrete models in theoretical physics, especially in problems related to the dichotomy between endophysical/intrinsic and exophysical/extrinsic perception (see, for instance [15, 18, 16, 7, 17, 4]). These studies deal with Moore experiments; t ..."
Abstract

Cited by 9 (6 self)
 Add to MetaCart
Finite automata have been recently used as alternative, discrete models in theoretical physics, especially in problems related to the dichotomy between endophysical/intrinsic and exophysical/extrinsic perception (see, for instance [15, 18, 16, 7, 17, 4]). These studies deal with Moore experiments; the main result states that it is impossible to determine the initial state of an automaton, and, consequently, a discrete model of Heisenberg uncertainty has been suggested. For this aim the classical theory of finite automata  which considers automata with initial states  is not adequate, and a new approach is necessary. A study of finite deterministic automata without initial states is exactly the aim of this paper. We will define and investigate the complexity of various types of simulations between automata. Minimal automata will be constructed and proven to be unique up to an isomorphism. We will build our results on an extension of MyhillNerode technique; all constructions will make...
On Counterfactuals and Contextuality
 in AIP Conference Proceedings 750. Foundations of Probability and Physics3, edited by A. Khrennikov, American Institute of Physics
, 2005
"... Abstract. Counterfactual reasoning and contextuality is defined and critically evaluated with regard to its nonempirical content. To this end, a uniqueness property of states, explosion views and link observables are introduced. If only a single context associated with a particular maximum set of ob ..."
Abstract

Cited by 9 (4 self)
 Add to MetaCart
(Show Context)
Abstract. Counterfactual reasoning and contextuality is defined and critically evaluated with regard to its nonempirical content. To this end, a uniqueness property of states, explosion views and link observables are introduced. If only a single context associated with a particular maximum set of observables can be operationalized, then a context translation principle resolves measurements of different contexts. COUNTERFACTUALS With the rise of quantum mechanics [1, 2, 3, 4] physics proper entered an ancient and sometimes fierce debate in theology and philosophy: the controversy between realism versus idealism. Whereas realism has been subsumed by the proposition that [5] “some entities sometimes exist without being experienced by any finite mind, ” idealism put forward that “we have not the faintest reason for believing in the existence of unexperienced entities. [[Realism]] has been adopted... solely because it simplifies our view of the universe. ” And whereas these issues can be considered nonoperational and thus metaphysical or even ideological, it is also true that they have inspired a great number of minds, to the effect of stimulating new approaches to quantum mechanics, revealing many theoretical details, quantum phenomena and quantum technologies. The KochenSpecker theorem [6], for example, was motivated from the onset by scholasticism, as in an early programmatic article [7] Ernst Specker related the discussion on the foundations of quantum mechanics to scholastic