The Non-unique Universe
- 115 Downloads
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.
KeywordsMultiverses Godel’s incompleteness theorem Theories of everything Mathematical structures Mathematical logic
Unable to display preview. Download preview PDF.
- 2.Earman, J.: Laws, Symmetry, and Symmetry Breaking; Invariance, Conservation Principles, and Objectivity, Presidential address PSA (2002) Google Scholar
- 8.McCabe, G.: The structure and interpretation of the standard model. In: Philosophy and Foundations of Physics, vol. 2. Elsevier, Amsterdam (2007) Google Scholar
- 9.Mosterin, J.: Anthropic explanations in cosmology. In: Hajek, Valdés, Westerstahl (eds.) Proceedings of the 12th International Congress of Logic, Methodology and Philosophy of Science. North-Holland, Amsterdam (2004) Google Scholar
- 10.Smolin, L.: The case for background independence (2005). arXiv:hep-th/0507235v1
- 11.Smolin, L.: The status of cosmological natural selection (2006). arXiv:hep-th/0612185
- 12.Smolin, L.: The unique universe. Phys. World June, 21–25 (2009) Google Scholar