The Mathematical Universe

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.

This is a preview of subscription content, log in to check access.

References

  1. 1.

    Dirac, P.A.M.: Proc. R. Soc. A 133, 60 (1931)

    MATH  ADS  Google 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.

    Zuse, K.: http://www.zib.de/zuse/English_Version/Inhalt/Texte/Chrono/60er/Pdf/76scan.pdf (1976)

  5. 5.

    Rucker, R.: Infinity and the Mind. Birkhäuser, Boston (1982)

    Google Scholar 

  6. 6.

    Barrow, J.D.: Theories of Everything. Ballantine, New York (1991)

    Google Scholar 

  7. 7.

    Barrow, J.D.: Pi in the Sky. Clarendon, Oxford (1992)

    Google Scholar 

  8. 8.

    Davies, P.: The Mind of God. Touchstone, New York (1993)

    Google Scholar 

  9. 9.

    Jackiw, R.: hep-th/9410151 (1994)

  10. 10.

    Lloyd, S.: Complexity 3, 32 (1997). quant-ph/9912088

    MathSciNet  Google Scholar 

  11. 11.

    Tegmark, M.: Ann. Phys. 270, 1 (1998). gr-qc/9704009

    MATH  ADS  MathSciNet  Google 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)

    Article  Google Scholar 

  15. 15.

    Tegmark, M.: astro-ph/0302131 (2003)

  16. 16.

    Schmidhuber, J.: quant-ph/0011122 (2000)

  17. 17.

    Wolfram, S.: A New Kind of Science. Wolfram Media, New York (2002)

    Google Scholar 

  18. 18.

    Cohen, M.: Master’s thesis. Dept. of Philosophy, Ben Gurion University of the Negev, Israel (2003)

  19. 19.

    Tipler, F.J.: Rep. Prog. Phys. 68, 897 (2005)

    ADS  MathSciNet  Google Scholar 

  20. 20.

    McCabe, G.: gr-qc/0610016 (2006)

  21. 21.

    McCabe, G.: gr-qc/0601073 (2006)

  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)

    ADS  Google 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)

    ADS  MathSciNet  Google 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)

    Google Scholar 

  31. 31.

    Weyl, H.: Space, Time, Matter. Methuen, London (1922)

    Google 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)

    MATH  Article  Google Scholar 

  35. 35.

    Dirac, P.A.M.: Proc. R. Soc. A 155, 447 (1936)

    MATH  ADS  Google Scholar 

  36. 36.

    Proca, A.: J. Phys. Rad. 7, 347 (1936)

    MATH  Google Scholar 

  37. 37.

    Wigner, E.P.: Ann. Math. 40, 149 (1939)

    MathSciNet  Google Scholar 

  38. 38.

    Houtappel, R.M., van Dam, H., Wigner, E.P.: Rev. Mod. Phys. 37, 595 (1965)

    ADS  Google Scholar 

  39. 39.

    Deutsch, D.: quant-ph/9906015 (1999)

  40. 40.

    Weinberg, S.: hep-th/9702027 (1997)

  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)

    ADS  Google 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)

    Google 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)

    Google 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)

    MathSciNet  Google 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)

    ADS  Google Scholar 

  51. 51.

    Carroll, S.M., Chen, J.: Gen. Relativ. Gravit. 37, 1671 (2005)

    MATH  ADS  MathSciNet  Google Scholar 

  52. 52.

    Wald, R.M.: gr-qc/0507094 (2005)

  53. 53.

    Page, D.N.: hep-th/0612137 (2006)

  54. 54.

    Vilenkin, A.: J. High Energy Phys. 701, 92 (2007)

    ADS  MathSciNet  Google Scholar 

  55. 55.

    Boltzmann, L.: Nature 51, 413 (1895)

    ADS  Google Scholar 

  56. 56.

    Guth, A.: Phys. Rev. D 23, 347 (1981)

    ADS  Google Scholar 

  57. 57.

    Vilenkin, A.: Phys. Rev. D 27, 2848 (1983)

    ADS  MathSciNet  Google 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)

  61. 61.

    Penrose, R.: N. Y. Acad. Sci. 571, 249 (1989)

    ADS  Google Scholar 

  62. 62.

    Hollands, S., Wald, R.M.: Gen. Relativ. Gravit. 34, 2043 (2002)

    MATH  ADS  MathSciNet  Google Scholar 

  63. 63.

    Kofman, L., Linde, A., Mukhanov, V.: J. High Energy Phys. 10, 57 (2002)

    ADS  MathSciNet  Google 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)

    Google Scholar 

  65. 65.

    Polarski, D., Starobinsky, A.A.: Class. Quantum Gravity 13, 377 (1996)

    MATH  ADS  MathSciNet  Google Scholar 

  66. 66.

    Kiefer, K., Polarski, D.: Ann. Phys. 7, 137 (1998)

    MATH  Google 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)

    ADS  MathSciNet  Google Scholar 

  69. 69.

    Bousso, R.: Phys. Rev. Lett. 97, 191302 (2006)

    ADS  Google Scholar 

  70. 70.

    Vilenkin, A.: hep-th/0609193 (2006)

  71. 71.

    Aguirre, A., Gratton, S., Johnson, M.C.: hep-th/0611221 (2006)

  72. 72.

    Garriga, J., Vilenkin, A.: Phys. Rev. D 64, 043511 (2001)

    ADS  Google 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)

  75. 75.

    Ellis, G.F.R., Kirchner, U., Stoeger, W.R.: Mon. Not. R. Astron. Soc. 347, 921 (2004)

    ADS  Google Scholar 

  76. 76.

    Stoeger, W.R., Ellis, G.F.R., Kirchner, U.: astro-ph/0407329 (2004)

  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)

  79. 79.

    Carroll, S.M.: Nature 440, 1132 (2006)

    ADS  Google Scholar 

  80. 80.

    Page, D.N.: hep-th/0610101 (2006)

  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)

    Google Scholar 

  84. 84.

    Bousso, R., Polchinski, J.: J. High Energy Phys. 6, 6 (2000)

    ADS  MathSciNet  Google Scholar 

  85. 85.

    Feng, J.L., March-Russell, J., Sethi, S., Wilczek, F.: Nucl. Phys. B 602, 307 (2001)

    MATH  ADS  MathSciNet  Google Scholar 

  86. 86.

    Kachru, S., Kallosh, R., Linde, A., Trivedi, S.P.: Phys. Rev. D 68, 046005 (2003)

    ADS  MathSciNet  Google Scholar 

  87. 87.

    Susskind, L.: hep-th/0302219 (2003)

  88. 88.

    Ashok, S., Douglas, M.R.: J. High Energy Phys. 401, 60 (2004)

    ADS  MathSciNet  Google Scholar 

  89. 89.

    Feferman, S.: In the Light of Logic. Oxford University Press, Oxford (1998), Chap. 14

    Google 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)

    ADS  Google Scholar 

  94. 94.

    Schmidhuber, C.: hep-th/0011065 (2000)

  95. 95.

    Hogan, C.J.: Rev. Mod. Phys. 72, 1149 (2000)

    ADS  Google Scholar 

  96. 96.

    Benioff, P.: Phys. Rev. A 63, 032305 (2001)

    ADS  MathSciNet  Google Scholar 

  97. 97.

    Ellis, G.F.R.: Int. J. Mod. Phys. A 17, 2667 (2002)

    ADS  Google 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)

    MathSciNet  Google Scholar 

  100. 100.

    Benioff, P.: quant-ph/0303086 (2003)

  101. 101.

    Circovic, M.M.: Found. Phys. 33, 467 (2003)

    ADS  MathSciNet  Google Scholar 

  102. 102.

    Vaas, R.: physics/0408111 (2004)

  103. 103.

    Aguirre, A., Tegmark, M.: hep-th/0409072 (2004)

  104. 104.

    Benioff, P.: Found. Phys. 35, 1825 (2004)

    MathSciNet  ADS  Google Scholar 

  105. 105.

    McCabe, G.: http://philsci-archive.pitt.edu/archive/00002218 (2005)

  106. 106.

    Hut, P., Alford, M., Tegmark, M.: Found. Phys. 36, 765 (2006) physics/0510188

    MathSciNet  ADS  Google 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)

  109. 109.

    Stoeger, W.R.: astro-ph/0602356 (2006)

  110. 110.

    Hedrich, R.: physics/0604171 (2006)

  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

    MathSciNet  Google 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)

    ADS  Google Scholar 

  121. 121.

    Gambini, R., Porto, R., Pullin, J.: New J. Phys. 6, 45 (2004)

    ADS  Google Scholar 

  122. 122.

    Egan, G.: Permutation City. Harper, New York (1995)

    Google Scholar 

  123. 123.

    Standish, R.K.: Phys. Found. Lett. 17 (2004)

  124. 124.

    Davis, M.: Computability and Unsolvability. Dover, New York (1982)

    Google 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)

    MATH  Google Scholar 

  127. 127.

    Simpson, S.G.: J. Symb. Log. 53, 349 (1988) http://www.math.psu.edu/simpson/papers/hilbert.pdf

    MATH  MathSciNet  Google Scholar 

  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)

    MATH  MathSciNet  Google Scholar 

  130. 130.

    Turing, A.: Proc. Lond. Math. Soc. 42, 230 (1936)

    MATH  Google Scholar 

  131. 131.

    Goodstein, R.L.: Constructive Formalism, Essays on the Foundations of Mathematics. Leister University College, Leicester (1951)

    Google Scholar 

  132. 132.

    Wen, X.: Prog. Theor. Phys. Suppl. 160, 351 (2006). cond-mat/0508020

    ADS  Google Scholar 

  133. 133.

    Levin, M., Wen, X.: hep-th/0507118 (2005)

  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)

    ADS  Google Scholar 

  137. 137.

    Linde, A.D.: Phys. Lett. B 201, 437 (1988)

    ADS  Google Scholar 

  138. 138.

    Tegmark, M., Vilenkin, A., Pogosian, L.: astro-ph/0304536 (2003)

  139. 139.

    Pogosian, L., Vilenkin, A., Tegmark, M.: J. Cosmol. Astropart. Phys. 407, 5 (2004)

    ADS  Google 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)

Download references

Author information

Affiliations

Authors

Corresponding author

Correspondence to Max Tegmark.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Tegmark, M. The Mathematical Universe. Found Phys 38, 101–150 (2008). https://doi.org/10.1007/s10701-007-9186-9

Download citation

Keywords

  • Boolean Function
  • Boolean Algebra
  • Formal System
  • Mathematical Structure
  • Find Phys