Epistemic Horizons and the Foundations of Quantum Mechanics

In-principle restrictions on the amount of information that can be gathered about a system have been proposed as a foundational principle in several recent reconstructions of the formalism of quantum mechanics. However, it seems unclear precisely why one should be thus restricted. We investigate the notion of paradoxical self-reference as a possible origin of such epistemic horizons by means of a fixed-point theorem in Cartesian closed categories due to Lawvere that illuminates and unifies the different perspectives on self-reference.

[1]  Christopher A. Fuchs,et al.  On Participatory Realism , 2016, 1601.04360.

[2]  R. Spekkens.  Evidence for the epistemic view of quantum states: A toy theory , 2004, quant-ph/0401052.

[3]  Charles H. Bennett,et al.  Logical reversibility of computation , 1973 .

[4]  Undecidable Classical Properties of Observers , 2005, quant-ph/0507001.

[5]  Gregory J. Chaitin,et al.  A recent technical report , 1974, SIGA.

[6]  J. Bell.  On the Problem of Hidden Variables in Quantum Mechanics , 1966 .

[7]  Maria Luisa Dalla Chiara,et al.  Logical self reference, set theoretical paradoxes and the measurement problem in quantum mechanics , 1977, J. Philos. Log..

[8]  Thomas Breuer,et al.  The Impossibility of Accurate State Self-Measurements , 1995, Philosophy of Science.

[9]  Karl Svozil,et al.  Randomness and undecidability in physics , 1993 .

[10]  Jean Francois Richard.  Les Principes des mathématiques et le problème des ensembles , 1905 .

[11]  D. Bohm.  A SUGGESTED INTERPRETATION OF THE QUANTUM THEORY IN TERMS OF "HIDDEN" VARIABLES. II , 1952 .

[12]  J Eisert,et al.  Quantum measurement occurrence is undecidable. , 2011, Physical review letters.

[13]  R. Feynman.  Simulating physics with computers , 1999 .

[14]  Caslav Brukner,et al.  Quantum complementarity and logical indeterminacy , 2009, Natural Computing.

[15]  David Pérez-García,et al.  Existence of an information unit as a postulate of quantum theory , 2012, Proceedings of the National Academy of Sciences.

[16]  J. Baez.  Quantum Quandaries: a Category-Theoretic Perspective , 2004, quant-ph/0404040.

[17]  Alexei Grinbaum.  ELEMENTS OF INFORMATION-THEORETIC DERIVATION OF THE FORMALISM OF QUANTUM THEORY , 2003 .

[18]  Cristian S. Calude,et al.  Recursively Enumerable Reals and Chaitin Omega Numbers , 1998, STACS.

[19]  K. Gödel.  Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .

[20]  Taner Edis,et al.  How Gödel's Theorem Supports the Possibility of Machine Intelligence , 1998, Minds and Machines.

[21]  Tien D. Kieu,et al.  The Diagonal Method and Hypercomputation , 2003, The British Journal for the Philosophy of Science.

[22]  Gregory J. Chaitin,et al.  Information-Theoretic Incompleteness , 1992, World Scientific Series in Computer Science.

[23]  Information-Theoretic Princple Entails Orthomodularity of a Lattice , 2005, quant-ph/0509106.

[24]  Antony Valentini.  Signal-locality in hidden-variables theories , 2002 .

[25]  Noson S. Yanofsky,et al.  A universal approach to self-referential paradoxes, incompleteness and fixed points , 2003, Bull. Symb. Log..

[26]  Santiago Figueira,et al.  Nonsignaling Deterministic Models for Nonlocal Correlations have to be Uncomputable. , 2017, Physical review letters.

[27]  Charles L. Harper,et al.  Science and ultimate reality : quantum theory, cosmology, and complexity , 2004 .

[28]  Louis de Broglie,et al.  La mécanique ondulatoire et la structure atomique de la matière et du rayonnement , 1927 .

[29]  C. Fuchs.  Quantum Mechanics as Quantum Information (and only a little more) , 2002, quant-ph/0205039.

[30]  Niels Bohr,et al.  The Causality Problem in Atomic Physics , 1958 .

[31]  Bakhadyr Khoussainov,et al.  Recursively enumerable reals and Chaitin Ω numbers , 1998 .

[32]  M. Wolf,et al.  Undecidability of the spectral gap , 2015, Nature.

[33]  B. Russell.  Mathematical Logic as Based on the Theory of Types , 1908 .

[34]  Philipp A. Hoehn,et al.  Quantum theory from questions , 2015, 1511.01130.

[35]  Cristian S. Calude,et al.  Quantum randomness and value indefiniteness , 2006, quant-ph/0611029.

[36]  K. Svozil.  Undecidability everywhere? , 1995, chao-dyn/9509023.

[37]  K. Svozil.  A Constructivist Manifesto for the Physical Sciences — Constructive Re-Interpretation of Physical Undecidability , 1995 .

[38]  Cristian S. Calude,et al.  From Heisenberg to Gödel via Chaitin , 2005 .

[39]  E. Specker,et al.  The Problem of Hidden Variables in Quantum Mechanics , 1967 .

[40]  R. Prevedel,et al.  Logical independence and quantum randomness , 2008, 0811.4542.

[41]  Karl R. Popper,et al.  INDETERMINISM IN QUANTUM PHYSICS AND IN CLASSICAL PHYSICS: PART II* , 1950, The British Journal for the Philosophy of Science.

[42]  A. Karrass,et al.  Some remarks on the infinite symmetric groups , 1956 .

[43]  H. Dishkant,et al.  Logic of Quantum Mechanics , 1976 .

[44]  J. Neumann.  Mathematical Foundations of Quantum Mechanics , 1955 .

[45]  Andrei N. Kolmogorov,et al.  On Tables of Random Numbers (Reprinted from "Sankhya: The Indian Journal of Statistics", Series A, Vol. 25 Part 4, 1963) , 1998, Theor. Comput. Sci..

[46]  Caslav Brukner,et al.  Information and Fundamental Elements of the Structure of Quantum Theory , 2002, quant-ph/0212084.

[47]  Quantum-mechanical computers and uncomputability. , 1993, Physical review letters.

[48]  Alfred Tarski,et al.  Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .

[49]  Robert L. Berger.  The undecidability of the domino problem , 1966 .

[50]  Burton Randol.  The ellipsoid method in linear programming , 1980 .

[51]  William A. Howard,et al.  The formulae-as-types notion of construction , 1969 .

[52]  Claus-Peter Schnorr,et al.  The process complexity and effective random tests. , 1972, STOC.

[53]  John C. Baez,et al.  Physics, Topology, Logic and Computation: A Rosetta Stone , 2009, 0903.0340.

[54]  K. Popper.  INDETERMINISM IN QUANTUM PHYSICS AND IN CLASSICAL PHYSICS1 , 1950, British Journal for the Philosophy of Science.

[55]  Holger Lyre,et al.  The Structure Of Physics , 2006 .

[56]  W. Wootters,et al.  A single quantum cannot be cloned , 1982, Nature.

[57]  Cristian S. Calude,et al.  Is complexity a source of incompleteness? , 2004, Adv. Appl. Math..

[58]  G. Chaitin.  Gödel's theorem and information , 1982 .

[59]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[60]  J. Heijenoort.  From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 , 1967 .

[61]  Ulvi Yurtsever,et al.  Quantum mechanics and algorithmic randomness , 2000 .

[62]  Measurement-Based Quantum Computation and Undecidable Logic , 2006, quant-ph/0610040.

[63]  C. Rovelli,et al.  Relational Quantum Mechanics , 2006 .

[64]  A. Nassimi.  Quantum Mechanics in Phase Space , 2007, 0706.0237.

[65]  Asher Peres,et al.  IS QUANTUM THEORY UNIVERSALLY VALID , 1982 .

[66]  F. W. Lawvere,et al.  Diagonal arguments and cartesian closed categories , 1969 .

[67]  Jerome Rothstein,et al.  Thermodynamics and Some Undecidable Physical Questions , 1964, Philosophy of Science.

[68]  Karl Svozil,et al.  Physical (A)Causality: Determinism, Randomness and Uncaused Events , 2018 .

[69]  A. Shimony.  Metaphysical Problems in the Foundations of Quantum Mechanics , 1978 .

[70]  S. Lloyd.  Necessary and Sufficient Conditions for Quantum Computation , 1994 .