Related papers: A Logical Proof of the Free Will Theorem
Amplitudes are the major logical object in Quantum Theory. Despite this fact they presents no physical reality and in consequence only observables can be experimetally checked. We discuss the possibility of a theory of Quantum Probabilities…
Quantum theory (QT) has been confirmed by numerous experiments, yet we still cannot fully grasp the meaning of the theory. As a consequence, the quantum world appears to us paradoxical. Here we shed new light on QT by being based on two…
We explore some implications of the hypothesis that quantum mechanics (QM) is universal, i.e., that QM does not merely describe information accessible to observers, but that it also describes the observers themselves. From that point of…
We show that quantum game theory offers solution to the famous Newcomb's paradox (free will problem). Divine foreknowledge is not necessary for successful completion of the game because quantum theory offers a way to discern human…
Historically, appearance of the quantum theory led to a prevailing view that Nature is indeterministic. The arguments for the indeterminism and proposals for indeterministic and deterministic approaches are reviewed. These include collapse…
Quantum mechanics is an extremely successful theory of nature and yet it lacks an intuitive axiomatization. In contrast, the special theory of relativity is well understood and is rooted into natural or experimentally justified postulates.…
Modal quantum theory (MQT) is a simplified cousin of ordinary Hilbert space quantum theory. We show that two important theorems of actual quantum theory, the Kochen-Specker theorem excluding non-contextual hidden variables and the…
We describe a formal proof of the independence of the continuum hypothesis ($\mathsf{CH}$) in the Lean theorem prover. We use Boolean-valued models to give forcing arguments for both directions, using Cohen forcing for the consistency of…
A new interpretation of quantum mechanics is proposed according to which precedence, freedom and novelty play central roles. This is based on a modification of the postulates for quantum theory given by Masanes and Muller. We argue that…
The logical inference approach to quantum theory, proposed earlier [Ann. Phys. 347 (2014) 45-73], is considered in a relativistic setting. It is shown that the Klein-Gordon equation for a massive, charged, and spinless particle derives from…
The impression of free will is the feeling according to which our choices are neither imposed from our inside nor from outside. It is the sense we are the ultimate cause of our acts. In direct opposition with the universal determinism, the…
The mathematical notion of incompleteness (eg of rational numbers, Turing-computable functions, and arithmetic proof) does not play a key role in conventional physics. Here, a reformulation of the kinematics of quantum theory is attempted,…
It is shown that the Einstein-Podolsky-Rosen conclusion concerning the `incompleteness' of Quantum Mechanics is invalidated by two logical errors in their argument. If it were possible to perform the proposed gedanken experiment it would,…
The claim of the freedom of the will (understood as an individual who is transcendent to Nature) in the name of XXth century scientific knowledge, against the perspective of XVIIIth-XIXth century scientific materialism, is analysed and…
We study a well-known technique of using absoluteness for giving choice-free proofs to some statements which are known to be provable with the axiom of choice. The idea is to reduce the problem to an inner model where the axiom of choice…
A recent proof, couched in the symbolic language of modal logic, shows that a well-defined formulation of the question posed in the title is answered affirmatively. In a paper with the same title Unruh has tried in various ways to translate…
It was argued [1] that there can be no extension of quantum mechanics with improved predictive power on a measurement freely chosen, independently of any event that is not in its future light cone. The assumption of measurement choice was…
This paper argues for the following three theses: (1) There is a clear reason to prefer physical theories with deterministic dynamical equations: such theories are maximally rich in information and usually also maximally simple. (2) There…
The physical motivation for the mathematical formalism of quantum mechanics is made clear and compelling by starting from an obvious fact - essentially, the stability of matter - and inquiring into its preconditions: what does it take to…
We explore a connection between quantum logic and quantum computing.