(with Jack Copeland & Oron Shagrir)
forthcoming in Computational Perspectives on Physics, Physical Perspectives on Computation (edited by M. Cuffano & S. Fletcher), Cambridge University Press: Cambridge
Last updated 22 May 2017
Konrad Zuse said that the entire universe is a computer. Robin Gandy said that the whole universe, if not a computer, is computable. Roger Penrose said that the universe is in part uncomputable. We survey the territory. Zuse’s thesis we believe to be plain false: the universe might have consisted of nothing but a giant computer, but in fact does not. Gandy viewed his thesis as a relatively a priori one, provable on the basis of a set-theoretic argument making only very general physical assumptions about decomposability into parts and the nature of causation. We maintain that Gandy’s proof does not work, and that his thesis is best viewed, like Penrose’s, as an open empirical hypothesis. But what kind of evidence is relevant to discovering the truth of the matter? We investigate.
Web version of full text not available
PDF version available PDF