The standard theory of computation excludes computations whose completion requires an infinite number of steps. Malament-Hogarth spacetimes admit observers whose pasts contain entire future-directed, timelike half-curves of infinite proper length. We investigate the physical properties of these spacetimes and ask whether they and other spacetimes allow the observer to know the outcome of a computation with infinitely many steps.

What belongs to quantum theory is no more than what is needed for its derivation. Keeping to this maxim, we record a paradigmatic shift in the foundations of quantum mechanics, where the focus has recently moved from interpreting to reconstructing quantum theory. Several historic and contemporary reconstructions are analyzed, including the work of Hardy, Rovelli, and Clifton, Bub and Halvorson. We conclude by discussing the importance of a novel concept of intentionally incomplete reconstruction.

The two major options on which the current debate on the interpretation of quantum mechanics relies, namely realism and empiricism, are far from being exhaustive. There is at least one more position available, which is metaphysically as agnostic as empiricism, but which shares with realism a committment to considering the structure of theories as highly significant. The latter position has been named transcendentalism after Kant. In this paper, a generalized version of Kant's method is used. This yields a reasoning that (...) one is entitled to call a transcendental deduction of some major formal features of quantum mechanics. (shrink)

In a comparison of the principles of special relativity and of quantum mechanics, the former theory is marked by its relative economy and apparent explanatory simplicity. A number of theorists have thus been led to search for a small number of postulates - essentially information theoretic in nature - that would play the role in quantum mechanics that the relativity principle and the light postulate jointly play in Einstein's 1905 special relativity theory. The purpose of the present paper is to (...) resist this idea, at least in so far as it is supposed to reveal the fundamental form of the theory. It is argued that the methodology of Einstein's 1905 theory represents a victory of pragmatism over explanatory depth; and that its adoption only made sense in the context of the chaotic state state of physics at the start of the 20th century - as Einstein well knew. (shrink)

Some mathematical theories in physics justify their explanatory superiority over earlier formalisms by the clarity of their postulates. In particular, axiomatic reconstructions drive home the importance of the composition rule and the continuity assumption as two pillars of quantum theory. Our approach sits on these pillars and combines new mathematics with a testable prediction. If the observer is defined by a limit on string complexity, information dynamics leads to an emergent continuous model in the critical regime. Restricting it to a (...) family of binary codes describing ‘bipartite systems,’ we find strong evidence of an upper bound on bipartite correlations equal to 2.82537. This is measurably different from the Tsirelson bound. The Hilbert space formalism emerges from this mathematical investigation as an effective description of a fundamental discrete theory in the critical regime. (shrink)