In physics and cosmology, the mathematical universe hypothesis (MUH), also known as the ultimate ensemble theory and struogony (from mathematical structure, Latin: struō), is a speculative "theory of everything" (TOE) proposed by cosmologist Max Tegmark.
Tegmark's MUH is: Our external physical reality is a mathematical structure. That is, the physical universe is not merely described by mathematics, but is mathematics (specifically, a mathematical structure). Mathematical existence equals physical existence, and all structures that exist mathematically exist physically as well. Observers, including humans, are "self-aware substructures (SASs)". In any mathematical structure complex enough to contain such substructures, they "will subjectively perceive themselves as existing in a physically 'real' world".
The theory can be considered a form of Pythagoreanism or Platonism in that it proposes the existence of mathematical entities; a form of mathematicism in that it denies that anything exists except mathematical objects; and a formal expression of ontic structural realism.
Tegmark claims that the hypothesis has no free parameters and is not observationally ruled out. Thus, he reasons, it is preferred over other theories-of-everything by Occam's Razor. Tegmark also considers augmenting the MUH with a second assumption, the computable universe hypothesis (CUH), which says that the mathematical structure that is our external physical reality is defined by computable functions.
The MUH is related to Tegmark's categorization of four levels of the multiverse. This categorization posits a nested hierarchy of increasing diversity, with worlds corresponding to different sets of initial conditions (level 1), physical constants (level 2), quantum branches (level 3), and altogether different equations or mathematical structures (level 4).
Criticisms and responsesEdit
Andreas Albrecht of Imperial College in London called it a "provocative" solution to one of the central problems facing physics. Although he "wouldn't dare" go so far as to say he believes it, he noted that "it's actually quite difficult to construct a theory where everything we see is all there is".
Definition of the ensembleEdit
Jürgen Schmidhuber argues that "Although Tegmark suggests that '... all mathematical structures are a priori given equal statistical weight,' there is no way of assigning equal non-vanishing probability to all (infinitely many) mathematical structures." Schmidhuber puts forward a more restricted ensemble which admits only universe representations describable by constructive mathematics, that is, computer programs; e.g., the Global Digital Mathematics Library and Digital Library of Mathematical Functions, linked open data representations of formalized fundamental theorems intended to serve as building blocks for additional mathematical results. He explicitly includes universe representations describable by non-halting programs whose output bits converge after finite time, although the convergence time itself may not be predictable by a halting program, due to the undecidability of the halting problem.
In response, Tegmark notes: sec. V.E that a constructive mathematics formalized measure of free parameter variations of physical dimensions, constants, and laws over all universes has not yet been constructed for the string theory landscape either, so this should not be regarded as a "show-stopper".
Consistency with Gödel's theoremEdit
It has also been suggested that the MUH is inconsistent with Gödel's incompleteness theorem. In a three-way debate between Tegmark and fellow physicists Piet Hut and Mark Alford. The "secularist" (Alford) states that "the methods allowed by formalists cannot prove all the theorems in a sufficiently powerful system... The idea that math is 'out there' is incompatible with the idea that it consists of formal systems."
Tegmark's response: sec VI.A.1 is to offer a new hypothesis "that only Gödel-complete (fully decidable) mathematical structures have physical existence. This drastically shrinks the Level IV multiverse, essentially placing an upper limit on complexity, and may have the attractive side effect of explaining the relative simplicity of our universe." Tegmark goes on to note that although conventional theories in physics are Gödel-undecidable, the actual mathematical structure describing our world could still be Gödel-complete, and "could in principle contain observers capable of thinking about Gödel-incomplete mathematics, just as finite-state digital computers can prove certain theorems about Gödel-incomplete formal systems like Peano arithmetic." In : sec. VII he gives a more detailed response, proposing as an alternative to MUH the more restricted "Computable Universe Hypothesis" (CUH) which only includes mathematical structures that are simple enough that Gödel's theorem does not require them to contain any undecidable or uncomputable theorems. Tegmark admits that this approach faces "serious challenges", including (a) it excludes much of the mathematical landscape; (b) the measure on the space of allowed theories may itself be uncomputable; and (c) "virtually all historically successful theories of physics violate the CUH".
Stoeger, Ellis, and Kircher: sec. 7 note that in a true multiverse theory, "the universes are then completely disjoint and nothing that happens in any one of them is causally linked to what happens in any other one. This lack of any causal connection in such multiverses really places them beyond any scientific support". Ellis: 29 specifically criticizes the MUH, stating that an infinite ensemble of completely disconnected universes is "completely untestable, despite hopeful remarks sometimes made, see, e.g., Tegmark (1998)." Tegmark maintains that MUH is testable, stating that it predicts (a) that "physics research will uncover mathematical regularities in nature", and (b) by assuming that we occupy a typical member of the multiverse of mathematical structures, one could "start testing multiverse predictions by assessing how typical our universe is".: sec. VIII.C
Plausibility of radical PlatonismEdit
The MUH is based on the radical Platonist view that math is an external reality.: sec V.C However, Jannes argues that "mathematics is at least in part a human construction", on the basis that if it is an external reality, then it should be found in some other animals as well: "Tegmark argues that, if we want to give a complete description of reality, then we will need a language independent of us humans, understandable for non-human sentient entities, such as aliens and future supercomputers". Brian Greene argues similarly:: 299 "The deepest description of the universe should not require concepts whose meaning relies on human experience or interpretation. Reality transcends our existence and so shouldn't, in any fundamental way, depend on ideas of our making."
However, there are many non-human entities, plenty of which are intelligent, and many of which can apprehend, memorise, compare and even approximately add numerical quantities. Several animals have also passed the mirror test of self-consciousness. But a few surprising examples of mathematical abstraction notwithstanding (for example, chimpanzees can be trained to carry out symbolic addition with digits, or the report of a parrot understanding a “zero-like concept”), all examples of animal intelligence with respect to mathematics are limited to basic counting abilities. He adds, "non-human intelligent beings should exist that understand the language of advanced mathematics. However, none of the non-human intelligent beings that we know of confirm the status of (advanced) mathematics as an objective language." In the paper "On Math, Matter and Mind" the secularist viewpoint examined argues: sec. VI.A that math is evolving over time, there is "no reason to think it is converging to a definite structure, with fixed questions and established ways to address them", and also that "The Radical Platonist position is just another metaphysical theory like solipsism... In the end the metaphysics just demands that we use a different language for saying what we already knew." Tegmark responds: sec VI.A.1 that "The notion of a mathematical structure is rigorously defined in any book on Model Theory", and that non-human mathematics would only differ from our own "because we are uncovering a different part of what is in fact a consistent and unified picture, so math is converging in this sense." In his 2014 book on the MUH, Tegmark argues that the resolution is not that we invent the language of mathematics, but that we discover the structure of mathematics.
Coexistence of all mathematical structuresEdit
Don Page has argued: sec 4 that "At the ultimate level, there can be only one world and, if mathematical structures are broad enough to include all possible worlds or at least our own, there must be one unique mathematical structure that describes ultimate reality. So I think it is logical nonsense to talk of Level 4 in the sense of the co-existence of all mathematical structures." This means there can only be one mathematical corpus. Tegmark responds: sec. V.E that "this is less inconsistent with Level IV than it may sound, since many mathematical structures decompose into unrelated substructures, and separate ones can be unified."
Consistency with our "simple universe"Edit
Alexander Vilenkin comments: Ch. 19, p. 203 that "the number of mathematical structures increases with increasing complexity, suggesting that 'typical' structures should be horrendously large and cumbersome. This seems to be in conflict with the beauty and simplicity of the theories describing our world". He goes on to note: footnote 8, p. 222 that Tegmark's solution to this problem, the assigning of lower "weights" to the more complex structures: sec. V.B seems arbitrary ("Who determines the weights?") and may not be logically consistent ("It seems to introduce an additional mathematical structure, but all of them are supposed to be already included in the set").
Tegmark has been criticized as misunderstanding the nature and application of Occam's razor; Massimo Pigliucci reminds that "Occam's razor is just a useful heuristic, it should never be used as the final arbiter to decide which theory is to be favored".
- Abstract object theory
- Anthropic principle
- Church–Turing thesis
- Digital physics
- Impossible world
- Modal realism
- Permutation City
- Russell K. Standish
- Structuralism (philosophy of science)
- "The Unreasonable Effectiveness of Mathematics in the Natural Sciences"
- Tegmark, Max (November 1998). "Is "the Theory of Everything" Merely the Ultimate Ensemble Theory?". Annals of Physics. 270 (1): 1–51. arXiv:gr-qc/9704009. Bibcode:1998AnPhy.270....1T. doi:10.1006/aphy.1998.5855. S2CID 41548734.
- M. Tegmark 2014, "Our Mathematical Universe", Knopf
- Tegmark, Max (February 2008). "The Mathematical Universe". Foundations of Physics. 38 (2): 101–150. arXiv:0704.0646. Bibcode:2008FoPh...38..101T. doi:10.1007/s10701-007-9186-9. S2CID 9890455.
- Tegmark (1998), p. 1.
- Tegmark, Max (2008). "The Mathematical Universe". Foundations of Physics. 38 (2): 101–150. arXiv:0704.0646. Bibcode:2008FoPh...38..101T. doi:10.1007/s10701-007-9186-9. S2CID 9890455.
- Tegmark, Max (2003). "Parallel Universes". Scientific American. 288 (5): 40–51. arXiv:astro-ph/0302131. Bibcode:2003SciAm.288e..40T. doi:10.1038/scientificamerican0503-40. PMID 12701329.
- Chown, Markus (June 1998). "Anything goes". New Scientist. 158 (2157).
- J. Schmidhuber (2000) "Algorithmic Theories of Everything."
- Schmidhuber, J. (2002). "Hierarchies of generalized Kolmogorov complexities and nonenumerable universal measures computable in the limit". International Journal of Foundations of Computer Science. 13 (4): 587–612. arXiv:quant-ph/0011122. Bibcode:2000quant.ph.11122S. doi:10.1142/S0129054102001291.
- Hut, P.; Alford, M.; Tegmark, M. (2006). "On Math, Matter and Mind". Foundations of Physics. 36 (6): 765–94. arXiv:physics/0510188. Bibcode:2006FoPh...36..765H. doi:10.1007/s10701-006-9048-x. S2CID 17559900.
- W. R. Stoeger, G. F. R. Ellis, U. Kirchner (2006) "Multiverses and Cosmology: Philosophical Issues."
- G.F.R. Ellis, "83 years of general relativity and cosmology: Progress and problems", Class. Quantum Grav. 16, A37-A75, 1999
- Gil Jannes, "Some comments on 'The Mathematical Universe'", Found. Phys. 39, 397-406, 2009 arXiv:0904.0867
- B. Greene 2011, "The Hidden Reality "
- D. Page, "Predictions and Tests of Multiverse Theories."
- A. Vilenkin (2006) Many Worlds in One: The Search for Other Universes. Hill and Wang, New York.
- "Mathematical Universe? I Ain't Convinced". Science 2.0. 27 August 2014.
- Schmidhuber, J. (1997) "A Computer Scientist's View of Life, the Universe, and Everything" in C. Freksa, ed., Foundations of Computer Science: Potential - Theory - Cognition. Lecture Notes in Computer Science, Springer: p. 201-08.
- Tegmark, Max (1998). "Is the 'theory of everything' merely the ultimate ensemble theory?". Annals of Physics. 270 (1): 1–51. arXiv:gr-qc/9704009. Bibcode:1998AnPhy.270....1T. doi:10.1006/aphy.1998.5855. S2CID 41548734.
- Tegmark, Max (2008). "The Mathematical Universe". Foundations of Physics. 38 (2): 101–50. arXiv:0704.0646. Bibcode:2008FoPh...38..101T. doi:10.1007/s10701-007-9186-9. S2CID 9890455.
- Tegmark, Max (2014), Our Mathematical Universe: My Quest for the Ultimate Nature of Reality, ISBN 978-0-307-59980-3
- Woit, P. (17 January 2014), "Book Review: 'Our Mathematical Universe' by Max Tegmark", The Wall Street Journal.
- Hamlin, Colin (2017). "Towards a Theory of Universes: Structure Theory and the Mathematical Universe Hypothesis". Synthese 194 (581–591). https://link.springer.com/article/10.1007/s11229-015-0959-y
- Jürgen Schmidhuber "The ensemble of universes describable by constructive mathematics."
- Page maintained by Max Tegmark with links to his technical and popular writings.
- "The 'Everything' mailing list" (and archives). Discusses the idea that all possible universes exist.
- "Is the universe actually made of math?" Interview with Max Tegmark in Discover Magazine.
- Richard Carrier Blogs: Our Mathematical Universe
- Interview with Sam Harris Tegmark and Harris discuss efficacy of mathematics, multiverses, artificial intelligence.