Related papers: A Logical Proof of the Free Will Theorem
A recent proof, formulated in the symbolic language of modal logic, shows that a well-defined formulation of the possibility mentioned in the title is answered affirmatively. In the paper being commented upon several proposals were made…
This article presents a formal model demonstrating that genuine autonomy, the ability of a system to self-regulate and pursue objectives, fundamentally implies computational unpredictability from an external perspective. we establish…
We present the foundations of a new emerging interpretation of quantum theory bearing wide-range implications. Physical basis of the interpretation is non-questionable yet relatively new--it relies on the different structures…
The predictions that quantum theory makes about the outcomes of measurements are generally probabilistic. This has raised the question whether quantum theory can be considered complete, or whether there could exist alternative theories that…
It is argued that it is possible to give operational meaning to free will and the process of making a choice without employing metaphysics.
We show that the principles of a ''complete physical theory'' and the conclusions of the standard quantum mechanics do not irreconcilably contradict each other as is commonly believed. In the algebraic approach, we formulate axioms that…
Quantum theory is formulated as the only consistent way to manipulate probability amplitudes. The crucial ingredient is a consistency constraint: if there are two different ways to compute an amplitude the two answers must agree. This…
Modal logics are widely used in computer science. The complexity of their satisfiability problems has been an active field of research since the 1970s. We prove that even very "simple" modal logics can be undecidable: We show that there is…
It is argued that the concept of free will, like the concept of truth in formal languages, requires a separation between an object level and a meta-level for being consistently defined. The Jamesian two-stage model, which deconstructs free…
Besides their use for efficient computation, quantum computers are a base for studying quantum systems that create valid physical theories using mathematics and physics. An essential part of the validation process for quantum mechanics is…
We propose a semantic representation of the standard quantum logic QL within a classical, normal modal logic, and this via a lattice-embedding of orthomodular lattices into Boolean algebras with one modal operator. Thus our classical logic…
Logical inference leads to one of the major interpretations of probability theory called logical interpretation, in which the probability is seen as a measure of the plausibility of a logical statement under incomplete information. In this…
See quant-ph/0101012
To solve the probability problem of the Many Worlds Interpretation of Quantum Mechanics, D.Wallace has presented a formal proof of the Born rule via decision theory, as proposed by D.Deutsch. The idea is to get subjective probabilities from…
There are reasons to doubt that making sense of the wave function (other than as a probability algorithm) will help with the project of making sense of quantum mechanics. The consistency of the quantum-mechanical correlation laws with the…
It is shown that the independence of the continuum hypothesis points to the unique definite status of the set of intermediate cardinality: the intermediate set exists only as a subset of continuum. This latent status is a consequence of…
Quantum mechanics marks a radical departure from the classical understanding of Nature, fostering an inherent randomness which forbids a deterministic description; yet the most fundamental departure arises from something different. As shown…
It is shown that the basic equations of quantum theory can be obtained from a straightforward application of logical inference to experiments for which there is uncertainty about individual events and for which the frequencies of the…
I consider in this book a formulation of Quantum Mechanics. Usually QM is formulated based on the notion of time and space, both of which are thought a priori given quantities or notions. However, when we try to define the notion of…
An analysis using classical stochastic processes is used to construct a consistent system of quantum counterfactual reasoning. When applied to a counterfactual version of Hardy's paradox, it shows that the probabilistic character of quantum…