The Mathematical Universe
- First Online:
- Received:
- Accepted:
- 54 Citations
- 1k Downloads
Abstract
I explore physics implications of the External Reality Hypothesis (ERH) that there exists an external physical reality completely independent of us humans. I argue that with a sufficiently broad definition of mathematics, it implies the Mathematical Universe Hypothesis (MUH) that our physical world is an abstract mathematical structure. I discuss various implications of the ERH and MUH, ranging from standard physics topics like symmetries, irreducible representations, units, free parameters, randomness and initial conditions to broader issues like consciousness, parallel universes and Gödel incompleteness. I hypothesize that only computable and decidable (in Gödel’s sense) structures exist, which alleviates the cosmological measure problem and may help explain why our physical laws appear so simple. I also comment on the intimate relation between mathematical structures, computations, simulations and physical systems.
Preview
Unable to display preview. Download preview PDF.
References
- 1.Dirac, P.A.M.: Proc. R. Soc. A 133, 60 (1931) MATHADSGoogle Scholar
- 2.Wigner, E.P.: Symmetries and Reflections. MIT Press, Cambridge (1967) Google Scholar
- 3.Suppes, P.: Studies in Methodology and Foundation of Science: Selected Papers from 1951 to 1969. Reidel, Dordrecht (1969) Google Scholar
- 4.
- 5.Rucker, R.: Infinity and the Mind. Birkhäuser, Boston (1982) MATHGoogle Scholar
- 6.Barrow, J.D.: Theories of Everything. Ballantine, New York (1991) MATHGoogle Scholar
- 7.Barrow, J.D.: Pi in the Sky. Clarendon, Oxford (1992) MATHGoogle Scholar
- 8.Davies, P.: The Mind of God. Touchstone, New York (1993) Google Scholar
- 9.Jackiw, R.: hep-th/9410151 (1994) Google Scholar
- 10.Lloyd, S.: Complexity 3, 32 (1997). quant-ph/9912088 MathSciNetGoogle Scholar
- 11.Tegmark, M.: Ann. Phys. 270, 1 (1998). gr-qc/9704009 MATHADSMathSciNetGoogle Scholar
- 12.Schmidhuber, J.: In: Freksa, C. (ed.) Lecture Notes in Computer Science, p. 201. Springer, Berlin (1997). quant-ph/9904050 Google Scholar
- 13.Ladyman, J.: Stud. Hist. Philos. Sci. 29, 409–424 (1998) Google Scholar
- 14.Tegmark, M.: Sci. Am. 270(5), 40 (2003) CrossRefGoogle Scholar
- 15.Tegmark, M.: astro-ph/0302131 (2003) Google Scholar
- 16.Schmidhuber, J.: quant-ph/0011122 (2000) Google Scholar
- 17.Wolfram, S.: A New Kind of Science. Wolfram Media, New York (2002) MATHGoogle Scholar
- 18.Cohen, M.: Master’s thesis. Dept. of Philosophy, Ben Gurion University of the Negev, Israel (2003) Google Scholar
- 19.Tipler, F.J.: Rep. Prog. Phys. 68, 897 (2005) ADSMathSciNetGoogle Scholar
- 20.McCabe, G.: gr-qc/0610016 (2006) Google Scholar
- 21.McCabe, G.: gr-qc/0601073 (2006) Google Scholar
- 22.Standish, R.K.: Theory of Nothing. Booksurge, Charleston (2006) Google Scholar
- 23.Wilczek, F.: Phys. Today 58(11), 8 (2006) Google Scholar
- 24.Wilczek, F.: Phys. Today 60(6), 8 (2007) ADSGoogle Scholar
- 25.Rössler, O.E.: In: Casti, J.L., Karlquist, A. (eds.) Artificial Minds. North-Holland, New York (1987) Google Scholar
- 26.Svozil, K.: In: Atmanspacher, H., Dalenoort, G.J. (eds.) Inside Versus Outside. Springer, Berlin (1994) Google Scholar
- 27.Svozil, K.: In: Trappl, R. (ed.) Cybernetics and Systems ’96. Austrian Society for Cybernetic Studies, Vienna (1996) Google Scholar
- 28.Everett, H.: Rev. Mod. Phys. 29, 454 (1957) ADSMathSciNetGoogle Scholar
- 29.Everett, N.: In: DeWitt, B.S., Graham, N. (eds.) The Many-Worlds Interpretation of Quantum Mechanics. Princeton University Press, Princeton (1973) Google Scholar
- 30.Hodges, W.: A Shorter Model Theory. Cambridge University Press, Cambridge (1997) MATHGoogle Scholar
- 31.Weyl, H.: Space, Time, Matter. Methuen, London (1922) MATHGoogle Scholar
- 32.Brown, H.R., Brading, K.A.: Dialogos 79, 59 (2002) Google Scholar
- 33.Brading, K.A., Castellani, E. (eds.): In: Symmetries in Physics: Philosophical Reflections. Cambridge University Press, Cambridge (2003). quant-ph/0301097 Google Scholar
- 34.Majorana, E.: Nuovo Cimento 9, 335 (1932) MATHCrossRefGoogle Scholar
- 35.Dirac, P.A.M.: Proc. R. Soc. A 155, 447 (1936) MATHADSGoogle Scholar
- 36.Proca, A.: J. Phys. Rad. 7, 347 (1936) MATHGoogle Scholar
- 37.Wigner, E.P.: Ann. Math. 40, 149 (1939) MathSciNetGoogle Scholar
- 38.Houtappel, R.M., van Dam, H., Wigner, E.P.: Rev. Mod. Phys. 37, 595 (1965) ADSGoogle Scholar
- 39.Deutsch, D.: quant-ph/9906015 (1999) Google Scholar
- 40.Weinberg, S.: hep-th/9702027 (1997) Google Scholar
- 41.Rees, M.J.: Our Cosmic Habitat. Princeton University Press, Princeton (2002) Google Scholar
- 42.Tegmark, M., Aguirre, A., Rees, M.J., Wilczek, F.: Phys. Rev. D 73, 023505 (2006) ADSGoogle Scholar
- 43.Chaitin, G.J.: Algorithmic Information Theory. Cambridge University Press, Cambridge (1987) Google Scholar
- 44.Li, M., Vitanyi, P.: An Introduction to Kolmogorov Complexity and Its Applications. Springer, Berlin (1997) MATHGoogle Scholar
- 45.Borel, E.: Rend. Circ. Mat. Palermo 26, 247 (1909) Google Scholar
- 46.Chung, K.L.: A Course in Probability Theory. Academic, New York (1974) MATHGoogle Scholar
- 47.Davies, P.C.W.: In: Zurek, W.H. (ed.) Complexity, Entropy, and Physical Information, p. 61. Addison-Wesley, Redwood City (1990) Google Scholar
- 48.Tegmark, M.: Found. Phys. Lett. 9, 25 (1996) MathSciNetGoogle Scholar
- 49.Zeh, H.D.: The Physical Basis of the Direction of Time, 4th edn. Springer, Berlin (2002) Google Scholar
- 50.Albrecht, A., Sorbo, L.: Phys. Rev. D 70, 063528 (2004) ADSGoogle Scholar
- 51.Carroll, S.M., Chen, J.: Gen. Relativ. Gravit. 37, 1671 (2005) MATHADSMathSciNetGoogle Scholar
- 52.Wald, R.M.: gr-qc/0507094 (2005) Google Scholar
- 53.Page, D.N.: hep-th/0612137 (2006) Google Scholar
- 54.Vilenkin, A.: J. High Energy Phys. 701, 92 (2007) ADSMathSciNetGoogle Scholar
- 55.Boltzmann, L.: Nature 51, 413 (1895) ADSGoogle Scholar
- 56.Guth, A.: Phys. Rev. D 23, 347 (1981) ADSGoogle Scholar
- 57.Vilenkin, A.: Phys. Rev. D 27, 2848 (1983) ADSMathSciNetGoogle Scholar
- 58.Starobinsky, A.A.: Fundamental Interactions, p. 55. MGPI Press, Moscow (1984) Google Scholar
- 59.Linde, A.D.: Particle Physics and Inflationary Cosmology. Harwood, Switzerland (1990) Google Scholar
- 60.Guth, A.H.: hep-th/0702178 (2007) Google Scholar
- 61.Penrose, R.: N. Y. Acad. Sci. 571, 249 (1989) ADSGoogle Scholar
- 62.Hollands, S., Wald, R.M.: Gen. Relativ. Gravit. 34, 2043 (2002) MATHADSMathSciNetGoogle Scholar
- 63.Kofman, L., Linde, A., Mukhanov, V.: J. High Energy Phys. 10, 57 (2002) ADSMathSciNetGoogle Scholar
- 64.Giulini, D., Joos, E., Kiefer, C., Kupsch, J., Stamatescu, I.O., Zeh, H.D.: Decoherence and the Appearance of a Classical World in Quantum Theory. Springer, Berlin (1996) MATHGoogle Scholar
- 65.Polarski, D., Starobinsky, A.A.: Class. Quantum Gravity 13, 377 (1996) MATHADSMathSciNetGoogle Scholar
- 66.Kiefer, K., Polarski, D.: Ann. Phys. 7, 137 (1998) MATHGoogle Scholar
- 67.Tegmark, M.: J. Cosmol. Astropart. Phys. 2005(4), 1 (2005) Google Scholar
- 68.Easther, R., Lim, E.A., Martin, M.R.: J. Cosmol. Astropart. Phys. 0603, 16 (2006) ADSMathSciNetGoogle Scholar
- 69.Bousso, R.: Phys. Rev. Lett. 97, 191302 (2006) ADSGoogle Scholar
- 70.Vilenkin, A.: hep-th/0609193 (2006) Google Scholar
- 71.Aguirre, A., Gratton, S., Johnson, M.C.: hep-th/0611221 (2006) Google Scholar
- 72.Garriga, J., Vilenkin, A.: Phys. Rev. D 64, 043511 (2001) ADSGoogle Scholar
- 73.Deutsch, D.: The fabric of reality. Allen Lane, New York (1997) Google Scholar
- 74.Linde, A.D.: hep-th/0211048 (2002) Google Scholar
- 75.Ellis, G.F.R., Kirchner, U., Stoeger, W.R.: Mon. Not. R. Astron. Soc. 347, 921 (2004) ADSGoogle Scholar
- 76.Stoeger, W.R., Ellis, G.F.R., Kirchner, U.: astro-ph/0407329 (2004) Google Scholar
- 77.Holder, R.D.: God, the Multiverse, and Everything: Modern Cosmology and the Argument from Design. Ashgate, Burlington (2004) Google Scholar
- 78.Weinberg, S.: hep-th/0511037 (2005) Google Scholar
- 79.Carroll, S.M.: Nature 440, 1132 (2006) ADSGoogle Scholar
- 80.Page, D.N.: hep-th/0610101 (2006) Google Scholar
- 81.Davies, P.: In: Carr, B. (ed.) Universe or Multiverse? Cambridge University Press, Cambridge (2007) Google Scholar
- 82.Kaku, M.: Parallel Worlds: A Journey Through Creation, Higher Dimensions, and the Future of the Cosmos. Anchor, New York (2006) Google Scholar
- 83.Vilenkin, A.: Many Worlds in One: The Search for Other Universes. Hill and Wang, New York (2006) MATHGoogle Scholar
- 84.Bousso, R., Polchinski, J.: J. High Energy Phys. 6, 6 (2000) ADSMathSciNetGoogle Scholar
- 85.Feng, J.L., March-Russell, J., Sethi, S., Wilczek, F.: Nucl. Phys. B 602, 307 (2001) MATHADSMathSciNetGoogle Scholar
- 86.Kachru, S., Kallosh, R., Linde, A., Trivedi, S.P.: Phys. Rev. D 68, 046005 (2003) ADSMathSciNetGoogle Scholar
- 87.Susskind, L.: hep-th/0302219 (2003) Google Scholar
- 88.Ashok, S., Douglas, M.R.: J. High Energy Phys. 401, 60 (2004) ADSMathSciNetGoogle Scholar
- 89.Feferman, S.: In the Light of Logic. Oxford University Press, Oxford (1998), Chap. 14 MATHGoogle Scholar
- 90.Hersh, R.: What Is Mathematics, Really? Oxford University Press, Oxford (1999) Google Scholar
- 91.Lewis, D.: On the Plurality of Worlds. Blackwell, Oxford (1986) Google Scholar
- 92.Hawking, S.: A Brief History of Time. Touchstone, New York (1993) Google Scholar
- 93.Ellis, G.F.R.: Class. Quantum Gravity A 16, 37 (1999) ADSGoogle Scholar
- 94.Schmidhuber, C.: hep-th/0011065 (2000) Google Scholar
- 95.Hogan, C.J.: Rev. Mod. Phys. 72, 1149 (2000) ADSGoogle Scholar
- 96.Benioff, P.: Phys. Rev. A 63, 032305 (2001) ADSMathSciNetGoogle Scholar
- 97.Ellis, G.F.R.: Int. J. Mod. Phys. A 17, 2667 (2002) ADSGoogle Scholar
- 98.Bostrom, N.: Anthropic Bias: Observation Selection Effects in Science and Philosophy. Routledge, New York (2002) Google Scholar
- 99.Benioff, P.: Found. Phys. 32, 989 (2002) MathSciNetGoogle Scholar
- 100.Benioff, P.: quant-ph/0303086 (2003) Google Scholar
- 101.Circovic, M.M.: Found. Phys. 33, 467 (2003) ADSMathSciNetGoogle Scholar
- 102.Vaas, R.: physics/0408111 (2004) Google Scholar
- 103.Aguirre, A., Tegmark, M.: hep-th/0409072 (2004) Google Scholar
- 104.Benioff, P.: Found. Phys. 35, 1825 (2004) MathSciNetADSGoogle Scholar
- 105.McCabe, G.: http://philsci-archive.pitt.edu/archive/00002218 (2005)
- 106.Hut, P., Alford, M., Tegmark, M.: Found. Phys. 36, 765 (2006) physics/0510188 MathSciNetADSGoogle Scholar
- 107.Vorhees, B., Luxford, C., Rhyan, A.: Int. J. Unconv. Comput. 1, 69 (2005) Google Scholar
- 108.Ellis, G.F.R.: astro-ph/0602280 (2006) Google Scholar
- 109.Stoeger, W.R.: astro-ph/0602356 (2006) Google Scholar
- 110.Hedrich, R.: physics/0604171 (2006) Google Scholar
- 111.Drexler, K.E.: Engines of Creation: The Coming Era of Nanotechnology. Forth Estate, London (1985) Google Scholar
- 112.Bostrom, N.: Int. J. Futur. Stud. 2, 1 (1998) Google Scholar
- 113.Kurzweil, R.: The Age of Spiritual Machines: When Computers Exceed Human Intelligence. Viking, New York (1999) Google Scholar
- 114.Moravec, H.: Robot: Mere Machine to Transcendent Mind. Oxford University Press, Oxford (1999) Google Scholar
- 115.Tipler, F.J.: The Physics of Immortality. Doubleday, New York (1994) Google Scholar
- 116.Bostrom, N.: Philos. Q. 53, 243 (2003) Google Scholar
- 117.McCabe, G.: Stud. Hist. Philos. Mod. Phys. 36, 591 (2005). physics/0511116 MathSciNetGoogle Scholar
- 118.Penrose, R.: The Emperor’s New Mind. Oxford University Press, Oxford (1989) Google Scholar
- 119.Penrose, R.: In: Longair, M. (ed.) The Large, the Small and the Human Mind. Cambridge University Press, Cambridge (1997) Google Scholar
- 120.Hafting, T.: Nature 436, 801 (2005) ADSGoogle Scholar
- 121.Gambini, R., Porto, R., Pullin, J.: New J. Phys. 6, 45 (2004) ADSGoogle Scholar
- 122.Egan, G.: Permutation City. Harper, New York (1995) Google Scholar
- 123.Standish, R.K.: Phys. Found. Lett. 17 (2004) Google Scholar
- 124.Davis, M.: Computability and Unsolvability. Dover, New York (1982) MATHGoogle Scholar
- 125.Hilbert, D., Bernays, P.: Grundlagen der Matematik. Springer, Berlin (1934) Google Scholar
- 126.Gödel, K.: Monatshefte Math. Phys. 38, 173 (1931) MATHGoogle Scholar
- 127.Simpson, S.G.: J. Symb. Log. 53, 349 (1988) http://www.math.psu.edu/simpson/papers/hilbert.pdf MATHMathSciNetGoogle Scholar
- 128.Dawson, J.W.: In: 21st Annual IEEE Symposium on Logic in Computer Science, p. 339. IEEE, New York (2006) Google Scholar
- 129.Church, A.: Am. J. Math. 58, 345 (1936) MATHMathSciNetGoogle Scholar
- 130.Turing, A.: Proc. Lond. Math. Soc. 42, 230 (1936) MATHGoogle Scholar
- 131.Goodstein, R.L.: Constructive Formalism, Essays on the Foundations of Mathematics. Leister University College, Leicester (1951) MATHGoogle Scholar
- 132.Wen, X.: Prog. Theor. Phys. Suppl. 160, 351 (2006). cond-mat/0508020 ADSGoogle Scholar
- 133.Levin, M., Wen, X.: hep-th/0507118 (2005) Google Scholar
- 134.Barrow, J.D., Tipler, F.J.: The Anthropic Cosmological Principle. Clarendon, Oxford (1986) Google Scholar
- 135.Linde, A.D.: In: Hawking, S., Israel, W. (eds.) 300 Years of Gravitation. Cambridge University Press, Cambridge (1987) Google Scholar
- 136.Weinberg, S.: Phys. Rev. Lett. 59, 2607 (1987) ADSGoogle Scholar
- 137.Linde, A.D.: Phys. Lett. B 201, 437 (1988) ADSGoogle Scholar
- 138.Tegmark, M., Vilenkin, A., Pogosian, L.: astro-ph/0304536 (2003) Google Scholar
- 139.Pogosian, L., Vilenkin, A., Tegmark, M.: J. Cosmol. Astropart. Phys. 407, 5 (2004) ADSGoogle Scholar
- 140.Jones, R.: Philos. Sci. 58, 185 (1991) Google Scholar
- 141.Pooley, O.: In: Rickles, D.P., French, S.R.D. (eds.) The Structural Foundations of Quantum Gravity. Oxford University Press, Oxford (2007) Google Scholar
- 142.Larsson, T.A.: math-ph/0103013v3 (2001) Google Scholar