Related papers: A Logical Proof of the Free Will Theorem
Recently it has been claimed that no extension of quantum theory can have improved predictive power, the statement following, according to the authors, from the assumptions of free will and of the correctness of quantum predictions…
The basic question in the long-standing debate about free will (FW) is not whether FW can be demonstrated to exist nor even whether it exists, but instead how to define it scientifically. If FW is not dismissed as an illusion nor identified…
The decidability of a logical system refers to the existence of an algorithm that can determine whether any given formula in that system is a theorem. In this paper, Harrop's lemma is used to prove the decidability of quantum modal logic.
In quantum gravity there is no notion of absolute time. Like all other quantities in the theory, the notion of time has to be introduced "relationally", by studying the behavior of some physical quantities in terms of others chosen as a…
The aim of this paper is to argue that the (alleged) indeterminism of quantum mechanics, claimed by adherents of the Copenhagen interpretation since Born (1926), can be proved from Chaitin's follow-up to Goedel's (first) incompleteness…
Though the truths of logic and pure mathematics are objective and independent of any contingent facts or laws of nature, our knowledge of these truths depends entirely on our knowledge of the laws of physics. Recent progress in the quantum…
We revisit the vexed question of how unpredictability can arise in a deterministic universe, focusing on unitary quantum theory. We discuss why quantum unpredictability is irrelevant for the possibility of what some people call `free-will',…
Many have proposed that free will would use quantum indeterminism. Strict adherence to the Born rule, which follows from the no-signal condition, seems to block this possibility. I propose here that if state collapse really does occur then…
Recently Cator & Landsman made a comparison between Bell's Theorem and Conway & Kochen's Strong Free Will Theorem. Their overall conclusion was that the latter is stronger in that it uses fewer assumptions, but also that it has two…
The before-before experiment demonstrates that quantum randomness can be controlled by influences from outside spacetime, and therefore by immaterial free will. Rather than looking at quantum physics as the model for explaining free will,…
The problem of defining and locating free will (FW) in physics is studied. On basis of logical paradoxes, we argue that FW has a meta-theoretic character, like the concept of truth in Tarski's undefinability theorem. Free will exists…
The abstract concept of indeterministic free will is distinguished from the phenomenon of free will. Evidence for the abstract concept is examined and critically compared with various designs of automata. It is concluded that there is no…
We present a logical proof that computing machines, and by extension physical systems, can never be certain if they possess conscious awareness. This implies that human consciousness is associated with a violation of energy conservation. We…
Bell's Theorem from 1964 and the (Strong) Free Will Theorem of Conway and Kochen from 2009 both exclude deterministic hidden variable theories (or, in modern parlance, `ontological models') that are compatible with some small fragment of…
In a recent paper [quant-ph/0604079], Conway and Kochen claim to have established that theories of the GRW type, i.e., of spontaneous wave function collapse, cannot be made relativistic. On the other hand, relativistic GRW-type theories…
Recent philosophical discussions about metaphysical indeterminacy have been substantiated with the idea that quantum mechanics, one of the most successful physical theories in the history of science, provides explicit instances of worldly…
In Bell inequality tests, the evolution of the wavefunction is not covariant, i.e. not invariant under velocity boost that change the time ordering of events, but the laws that govern the probability distribution of possible results are. In…
In R.D. Sorkin's framework for logic in physics a clear separation is made between the collection of unasserted propositions about the physical world and the affirmation or denial of these propositions by the physical world. The unasserted…
We show that the authors in the title have erred in claiming that our axiom FIN is false by conflating it with Bell locality. We also argue that the predictions of quantum mechanics, and in particular EPR, are fully Lorentz invariant,…
Quantum mechanics is a theory that is as effective as it is counterintuitive. While quantum practices operate impeccably, they compel us to embrace enigmatic phenomena like the collapse of the state vector and non-locality, thereby pushing…