Foundations of Physics

, Volume 38, Issue 2, pp 101–150 | Cite as

The Mathematical Universe

Article

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.

Unable to display preview. Download preview PDF.

References

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

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  1. 1.Department of PhysicsMassachusetts Institute of TechnologyCambridgeUSA

Personalised recommendations