Related papers: A Logical Proof of the Free Will Theorem
Recently, a delicately designed Gedankenexperiment was proposed to check the self-consistence of quantum theory in the description of the agents who are using this theory. It was demonstrated that the quantum theory is inconsistent. Here a…
It is discussed, why classical simulators of quantum computers escape from some no-go claims like Kochen-Specker, Bell, or recent Conway-Kochen "Free Will" theorems.
Bell's theorem is purported to demonstrate the impossibility of a local "hidden variable" theory underpinning quantum mechanics. It relies on the well-known assumption of `locality', and also on a little-examined assumption called…
It is shown that Feynman's formulation of quantum mechanics can be reproduced as a description of the set of intermediate cardinality. Properties of the set follow directly from the independence of the continuum hypothesis. Six referee…
It is shown that the Einstein-Podolsky-Rosen conclusion concerning the `incompleteness' of Quantum Mechanics does not follow from the results of their proposed gedanken experiment, but is rather stated as a premise. If it were possible to…
We correct our proof of a theorem stating that satisfiability of frequency linear-time temporal logic is undecidable [TASE 2012].
Quantum field theory has successfully generated a number of general conclusions. It seems meaningful to disclose the logical forms of these conclusions. The present paper reports two results. The first result shows the logic of local gauge…
The assertion by Yu and Nikolic that the delayed choice quantum eraser experiment of Kim et al. empirically falsifies the consciousness-causes-collapse hypothesis of quantum mechanics is based on the unfounded and false assumption that the…
Free will discourse is primarily centred around the thesis of determinism. Much of the literature takes determinism as its starting premise, assuming it true for the sake of discussion, and then proceeds to present arguments for why, if…
A qualification is suggested for the counterfactual reasoning involved in some aspects of time-symmetric quantum theory (which involves ensembles selected by both the initial and final states). The qualification is that the counterfactual…
In this PhD thesis the ancient question of determinism ('Does every event have a cause ?') will be re-examined. In the philosophy of science and physics communities the orthodox position states that the physical world is indeterministic:…
In this paper we investigate the potential for persuasion linked to the quantum indeterminacy of beliefs. We first formulate the persuasion problem in the context of quantum-like beliefs. We provide an economic example of belief…
An extended analysis is given of the program, originally suggested by Deutsch, of solving the probability problem in the Everett interpretation by means of decision theory. Deutsch's own proof is discussed, and alternatives are presented…
A quantum-like description of human decision process is developed, and a heuristic argument supporting the theory as sound phenomenology is given. It is shown to be capable of quantitatively explaining the conjunction fallacy in the same…
We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound…
This is the logical foundation for for Relativity Theory, Probability Theory, and for Quantum Theory. Contents is the following: 1 Introduction. 2 Classical logic. 3 Time and space. 3.1 Recorders. 3.2 Time. 3.3 Space. 3.4 Relativity. 4.…
In the area of the foundations of quantum mechanics a true industry appears to have developed in the last decades, with the aim of proving as many results as possible concerning what there cannot be in the quantum realm. In principle, the…
A logical approach to Bell's Inequalities of quantum mechanics has been introduced by Abramsky and Hardy [2]. We point out that the logical Bell's Inequalities of [2] are provable in the probability logic of Fagin, Halpern and Megiddo [4].…
A 1964 paper by John Bell gave the first demonstration that quantum mechanics is incompatible with local hidden variables. There is an ongoing and vigorous debate on whether he relied on an assumption of determinism, or instead, as he later…
Some notes about quantum physics, an interpretation if one wishes, are put forward, insisting on `closely following the mathematics/formalism, the `nuts and bolts of what quantum physics says'. These, basically well-known, issues seem to…