Quantum Darwinism and Computability Theory

This paper examines whether unitary evolution alone is sufficient to explain emergence of the classical world from the perspective of computability theory. Specifically, it looks at the problem of how the choice related to the measurement is made by the observer viewed as a quantum system. In interpretations where the system together with the observers is completely described by unitary transformations, the observer cannot make any choices and so measurement is impossible. From the perspective of computability theory, a quantum machine cannot halt and so it cannot observe the computed state, indicating that unitarity alone does not explain all matter processes. Further it is argued that the consideration of information and observation requires an overarching system of knowledge and expectations about outcomes.