Related papers: Incompleteness theorem for physics
G{\"o}del's second incompleteness theorem forbids to prove, in a given theory U, the consistency of many theories-in particular, of the theory U itself-as well as it forbids to prove the normalization property for these theories, since this…
We introduce a new notion of a sufficient subalgebra for quantum states: a subalgebra is 2- sufficient for a pair of states $\{\rho_0,\rho_1\}$ if it contains all Bayes optimal tests of $\rho_0$ against $\rho_1$. In classical statistics,…
Quantum coherence quantifies the amount of superposition in a quantum system, and is the reason and resource behind several phenomena and technologies. It depends on the natural basis in which the quantum state of the system is expressed,…
The aim of the paper is to derive essential elements of quantum mechanics from a parametric structure extending that of traditional mathematical statistics. The main extensions, which also can be motivated from an applied statistics point…
In the paper it is demonstrated that Bells theorem is an unprovable theorem.
Wigner's Friend-type paradoxes challenge the assumption that events are absolute -- that when we measure a system, we obtain a single result, which is not relative to anything or anyone else. These paradoxes highlight the tension between…
Frauchiger and Renner recently cast doubt on the universal applicability of Quantum Mechanics [1]. In the following, it is pointed out that their conclusion of one of three common-sense conditions, demanded for Quantum Mechanics, being…
This article discusses what can be proved about the foundations of mathematics using the notions of algorithm and information. The first part is retrospective, and presents a beautiful antique, Godel's proof, the first modern incompleteness…
The problem is posed of establishing a possible relationship between a new type of Multi-verse representation, G\"odel undecidability theorems and the logic of classical, quantum mechanics and quantum gravity. For this purpose example cases…
We present an analogue of G\"{o}del's second incompleteness theorem for systems of second-order arithmetic. Whereas G\"{o}del showed that sufficiently strong theories that are $\Pi^0_1$-sound and $\Sigma^0_1$-definable do not prove their…
Since its emergence, quantum mechanics has been a challenge for an understanding of reality which is based on our intuition in a classical world. Nevertheless, it has often been tried to impose this understanding of reality on quantum…
Since ancient times, mathematics has proven unreasonably effective in its description of physical phenomena. As humankind enters a period of advancement where the completion of the much coveted theory of quantum gravity is at hand, there is…
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].…
Consideration of the von Neumann measurement process underlying interference experiments shows that the uncertainty in the incoming wave, responsible for its interference, translates during measurement into an uncertainty at the measuring…
Deficiencies in Kauffman's proposal regarding a new way for building scientific theories are pointed out. A suggestion to overcome them, and in fact, independently construct mathematical theories which are beyond the reach of Goedel's…
Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the notion of a quantifier theory, which is a functor from the…
In the context of a physical theory, two devices, A and B, described by the theory are called incompatible if the theory does not allow the existence of a third device C that would have both A and B as its components. Incompatibility is a…
Are minds subject to laws of physics? Are the laws of physics computable? Are conscious thought processes computable? Currently there is little agreement as to what are the right answers to these questions. Penrose goes one step further and…
It is argued that quantum mechanics follows naturally from the assumptions that there are no fundamental causal laws but only probabilities for physical processes that are constrained by symmetries, and reality is relational in the sense…
Quantum theory brings into question the compatibility of the twin desiderata of exact knowability of the present state of the physical world and perfect predictability of its future states. Bohr's coordination-causality complementarity…