Constructor theory

Constructor theory seeks to express all fundamental scientific theories in terms of a dichotomy between possible and impossible physical transformations–those that can be caused to happen and those that cannot. This is a departure from the prevailing conception of fundamental physics which is to predict what will happen from initial conditions and laws of motion. Several converging motivations for expecting constructor theory to be a fundamental branch of physics are discussed. Some principles of the theory are suggested and its potential for solving various problems and achieving various unifications is explored. These include providing a theory of information underlying classical and quantum information; generalising the theory of computation to include all physical transformations; unifying formal statements of conservation laws with the stronger operational ones (such as the ruling-out of perpetual motion machines); expressing the principles of testability and of the computability of nature (currently deemed methodological and metaphysical respectively) as laws of physics; allowing exact statements of emergent laws (such as the second law of thermodynamics); and expressing certain apparently anthropocentric attributes such as knowledge in physical terms.

[1]  A. Whitaker The Fabric of Reality , 2001 .

[2]  David Deutsch,et al.  Vindication of quantum locality , 2011, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[3]  J. Neumann The General and Logical Theory of Au-tomata , 1963 .

[4]  Gary James Jason,et al.  The Logic of Scientific Discovery , 1988 .

[5]  David Deutsch,et al.  The structure of the multiverse , 2001, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[6]  J. Farris CONJECTURES AND REFUTATIONS , 1995, Cladistics : the international journal of the Willi Hennig Society.

[7]  Norman Swartz The Neo-Humean Perspective: Laws as Regularities , 1995 .

[8]  K. E. Drexler,et al.  Molecular manufacturing: perspectives on the ultimate limits of fabrication , 1995, Philosophical Transactions of the Royal Society of London. Series A: Physical and Engineering Sciences.

[9]  R. Landauer Is quantum mechanics useful , 1995 .

[10]  William K. Wootters,et al.  Evolution without evolution: Dynamics described by stationary observables , 1983 .

[11]  David Deutsch The Beginning of Infinity , 2011 .

[12]  B. Russell I.—On the Notion of Cause , 1913 .

[13]  D. Deutsch Quantum theory, the Church–Turing principle and the universal quantum computer , 1985, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[14]  David Deutsch,et al.  Information flow in entangled quantum systems , 2000, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

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