David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Foundations of Physics 40 (6):629-637 (2010)
The purpose of this paper is to elucidate, by means of concepts and theorems drawn from mathematical logic, the conditions under which the existence of a multiverse is a logical necessity in mathematical physics, and the implications of Gödel’s incompleteness theorem for theories of everything.Three conclusions are obtained in the final section: (i) the theory of the structure of our universe might be an undecidable theory, and this constitutes a potential epistemological limit for mathematical physics, but because such a theory must be complete, there is no ontological barrier to the existence of a final theory of everything; (ii) in terms of mathematical logic, there are two different types of multiverse: classes of non-isomorphic but elementarily equivalent models, and classes of model which are both non-isomorphic and elementarily inequivalent; (iii) for a hypothetical theory of everything to have only one possible model, and to thereby negate the possible existence of a multiverse, that theory must be such that it admits only a finite model
|Keywords||Multiverses Godel’s incompleteness theorem Theories of everything Mathematical structures Mathematical logic|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Herbert B. Enderton (1972). A Mathematical Introduction to Logic. New York: Academic Press.
Citations of this work BETA
No citations found.
Similar books and articles
Paul Davies, The Implications of a Cosmological Information Bound for Complexity, Quantum Information and the Nature of Physical Law.
Victor J. Stenger (2006). A Scenario for a Natural Origin of Our Universe Using a Mathematical Model Based on Established Physics and Cosmology. Philo 9 (2):93-102.
Carlo Cellucci (1993). From Closed to Open Systems. In J. Czermak (ed.), Philosophy of Mathematics, pp. 206-220. Hölder-Pichler-Tempsky.
Gordon McCabe (2005). Possible Physical Universes. Zagadnienia Filozoficzne W Nauce 37.
Added to index2009-07-03
Total downloads30 ( #160,212 of 1,924,716 )
Recent downloads (6 months)4 ( #211,819 of 1,924,716 )
How can I increase my downloads?