{"id":1753,"date":"2014-03-22T18:57:45","date_gmt":"2014-03-22T23:57:45","guid":{"rendered":"https:\/\/scottaaronson.blog\/?p=1753"},"modified":"2016-12-10T04:23:28","modified_gmt":"2016-12-10T09:23:28","slug":"this-review-of-max-tegmarks-book-also-occurs-infinitely-often-in-the-decimal-expansion-of-%cf%80","status":"publish","type":"post","link":"https:\/\/scottaaronson.blog\/?p=1753","title":{"rendered":"This review of Max Tegmark&#8217;s book also occurs infinitely often in the decimal expansion of \u03c0"},"content":{"rendered":"<p>Two months ago, commenter rrtucci <a style=\"line-height: 1.5em;\" href=\"https:\/\/scottaaronson.blog\/?p=1653#comment-99363\">asked me<\/a> what I thought about Max Tegmark and his <a style=\"line-height: 1.5em;\" href=\"http:\/\/en.wikipedia.org\/wiki\/Mathematical_universe_hypothesis\">&#8220;Mathematical Universe Hypothesis&#8221;<\/a>: the idea, which Tegmark defends in his recent book <a href=\"http:\/\/www.amazon.com\/Our-Mathematical-Universe-Ultimate-Reality\/dp\/0307599809\/ref=sr_1_1?ie=UTF8&amp;qid=1395505738&amp;sr=8-1&amp;keywords=our+mathematical+universe\"><em style=\"line-height: 1.5em;\">Our Mathematical Universe<\/em><\/a>, that physical and mathematical existence are the same thing, and that what we call &#8220;the physical world&#8221; is simply one more mathematical structure, alongside the dodecahedron and so forth. \u00a0I <a href=\"https:\/\/scottaaronson.blog\/?p=1653#comment-99388\">replied<\/a> as follows:<\/p>\n<p style=\"padding-left: 30px;\">&#8230;I find Max a fascinating person, a wonderful conference organizer, someone who\u2019s always been extremely nice to me personally, and an absolute\u00a0<i>master<\/i>\u00a0at finding common ground with his intellectual opponents\u2014I\u2019m trying to learn from him, and hope someday to become 10<sup>-122<\/sup>\u00a0as good. \u00a0I can also say that, like various other commentators (e.g., Peter Woit), I personally find the \u201cMathematical Universe Hypothesis\u201d to be devoid of content.<\/p>\n<p>After Peter Woit found that comment and <a href=\"http:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=6551\">highlighted<\/a> it on his own blog, my comments section was graced by none other than Tegmark himself, who <a href=\"https:\/\/scottaaronson.blog\/?p=1653#comment-99462\">wrote<\/a>:<\/p>\n<p style=\"padding-left: 30px;\">Thanks Scott for your all to [sic] kind words! \u00a0I very much look forward to hearing what you think about what I actually say in the book once you&#8217;ve had a chance to read it! \u00a0I\u2019m happy to give you a hardcopy (which can double as door-stop) \u2013 just let me know.<\/p>\n<p>With this reply, Max illustrated perfectly why I&#8217;ve been trying to learn from him, and how far I fall short. \u00a0Where I would&#8217;ve said &#8220;yo dumbass, why don&#8217;t you <em>read my book<\/em> before spouting off?,&#8221; Tegmark <em>gracefully, diplomatically<\/em> shamed me into reading his book.<\/p>\n<p>So, now that I&#8217;ve done so, what do I think? \u00a0Briefly, <strong>I think it&#8217;s a <i>superb<\/i> piece of popular science writing&#8212;stuffed to the gills with thought-provoking arguments, entertaining anecdotes, and fascinating facts. \u00a0I think everyone interested in math, science, or philosophy should buy the book and read it. \u00a0And I <i>still<\/i> think the MUH is basically devoid of content, as it stands.<\/strong><\/p>\n<p>Let me start with what makes the book so good. \u00a0First and foremost, the personal touch. \u00a0Tegmark deftly conveys the excitement of being involved in the analysis of the cosmic microwave background fluctuations&#8212;of actually getting detailed numerical data about the origin of the universe. \u00a0(The book came out just a few months before last week&#8217;s bombshell announcement of <a href=\"http:\/\/www.preposterousuniverse.com\/blog\/2014\/03\/16\/gravitational-waves-in-the-cosmic-microwave-background\/\">B-modes in the CMB data<\/a>; presumably the next edition will have an update about that.) \u00a0And Tegmark doesn&#8217;t just give you arguments for the <a href=\"http:\/\/en.wikipedia.org\/wiki\/Many-worlds_interpretation\">Many-Worlds Interpretation<\/a> of quantum mechanics; he tells you <em>how he came to believe it<\/em>. \u00a0He writes of being a beginning PhD student at Berkeley, living at International House (and dating an Australian exchange student who he met his first day at IHouse), who became obsessed with solving the quantum measurement problem, and who therefore headed to the physics library, where he was awestruck by reading the original Many-Worlds articles of Hugh Everett and Bryce deWitt. \u00a0As it happens, <strong>every single part of the last sentence also describes me (!!!)<\/strong>&#8212;except that the Australian exchange student who <em>I<\/em> met my first day at IHouse lost interest in me when she decided that I was too nerdy. \u00a0And also, I eventually decided that the MWI left me pretty much as confused about the measurement problem as before, whereas Tegmark remains a wholehearted Many-Worlder.<\/p>\n<p>The other thing I loved about Tegmark&#8217;s book was its almost comical concreteness. \u00a0He doesn&#8217;t just metaphorically write about &#8220;knobs&#8221; for adjusting the constants of physics: he shows you a picture of a box with the knobs on it. \u00a0He also shows a &#8220;letter&#8221; that lists not only his street address, zip code, town, state, and country, but also his planet, Hubble volume, post-inflationary bubble, quantum branch, and mathematical structure. \u00a0Probably my favorite figure was the one labeled &#8220;What Dark Matter Looks Like \/ What Dark Energy Looks Like,&#8221; which showed two blank boxes.<\/p>\n<p>Sometimes Tegmark seems to subtly subvert the conventions of popular-science writing. \u00a0For example, in the first chapter, he includes a table that categorizes each of the book&#8217;s remaining chapters as &#8220;Mainstream,&#8221; &#8220;Controversial,&#8221; or &#8220;Extremely Controversial.&#8221; \u00a0And whenever you&#8217;re reading the text and cringing at a crucial factual point that was left out, chances are good you&#8217;ll find a footnote at the bottom of the page explaining that point. \u00a0I hope both of these conventions become <em>de rigueur<\/em> for all future pop-science books, but I&#8217;m not counting on it.<\/p>\n<p><span style=\"line-height: 1.5em;\">The book has what Tegmark himself describes as a &#8220;Dr. Jekyll \/ Mr. Hyde&#8221; structure, with the first (&#8220;Dr. Jekyll&#8221;) half of the book relaying more-or-less accepted discoveries in physics and cosmology, and the second (&#8220;Mr. Hyde&#8221;) half focusing on Tegmark&#8217;s own Mathematical Universe Hypothesis (MUH). \u00a0Let&#8217;s accept that both halves are enjoyable reads, and that the first half contains lots of wonderful science. \u00a0Is there anything worth saying about the truth or falsehood of the MUH?<\/span><\/p>\n<p>In my view, the MUH gestures toward two points that are both correct and important&#8212;neither of them new, but both well worth repeating in a pop-science book. \u00a0The first is that the laws of physics aren&#8217;t &#8220;suggestions,&#8221; which the particles can obey when they feel like it but ignore when Uri Geller picks up a spoon. \u00a0In that respect, they&#8217;re completely unlike human laws, and the fact that we use the same word for both is unfortunate. \u00a0Nor are the laws merely observed correlations, as in &#8220;scientists find link between yogurt and weight loss.&#8221; \u00a0The links of fundamental physics are ironclad: the world &#8220;obeys&#8221; them in much the same sense that a computer obeys its code, or the positive integers obey the rules of arithmetic. \u00a0Of course we don&#8217;t yet <em>know<\/em> the complete program describing the state evolution of the universe, but everything learned since Galileo leads one to expect that such a program exists. \u00a0(According to quantum mechanics, the program describing our observed reality is a probabilistic one, but for me, that fact by itself does nothing to change its lawlike character. \u00a0After all, if you know the initial state, Hamiltonian, and measurement basis, then quantum mechanics gives you a perfect algorithm to calculate\u00a0the probabilities.)<\/p>\n<p>The second true and important nugget in the MUH is that the laws are &#8220;mathematical.&#8221; \u00a0By itself, I&#8217;d say that&#8217;s a vacuous statement, since anything that can be described at all can be described mathematically. \u00a0(As a degenerate case, a &#8220;mathematical description of reality&#8221; could simply be a gargantuan string of bits, listing everything that will ever happen at every point in spacetime.) \u00a0The nontrivial part is that, at least if we ignore boundary conditions and the details of our local environment (which\u00a0<a href=\"http:\/\/www.scottaaronson.com\/papers\/giqtm3.pdf\">maybe we shouldn&#8217;t!<\/a>), the laws of nature are expressible as <i>simple, elegant <\/i>math&#8212;and moreover, the same structures (complex numbers, group representations, Riemannian manifolds&#8230;) that mathematicians find important for internal reasons, again and again turn out to play a crucial role in physics. \u00a0It didn&#8217;t have to be that way, but it is.<\/p>\n<p>Putting the two points together, it seems fair to say that the physical world is &#8220;isomorphic to&#8221; a mathematical structure&#8212;and moreover,\u00a0a structure whose time evolution obeys\u00a0simple, elegant laws. \u00a0 All of this I find unobjectionable: if you believe it, it doesn&#8217;t make you a Tegmarkian; it makes you ready for freshman science class.<\/p>\n<p>But Tegmark goes further. \u00a0He doesn&#8217;t say that the universe is &#8220;isomorphic&#8221; to a mathematical structure; he says that it <i>is<\/i> that structure, that its physical and mathematical existence are the same thing. \u00a0Furthermore, he says that <em>every<\/em> mathematical structure &#8220;exists&#8221; in the same sense that &#8220;ours&#8221; does; we simply find ourselves in one of the structures capable of intelligent life (which shouldn&#8217;t surprise us). \u00a0Thus, for Tegmark, the answer to Stephen Hawking&#8217;s famous question&#8212;&#8220;What is it that breathes fire into the equations and gives them a universe to describe?&#8221;&#8212;is that <em>every<\/em> consistent set of equations has fire breathed into it. \u00a0Or rather, every mathematical structure of at most countable cardinality whose relations are definable by some computer program. \u00a0(Tegmark allows that structures that <em>aren&#8217;t<\/em>\u00a0computably definable, like the set of real numbers, might not have fire breathed into them.)<\/p>\n<p>Anyway, the ensemble of all (computable?) mathematical structures, constituting the totality of existence, is what Tegmark calls the &#8220;Level IV multiverse.&#8221; \u00a0In his nomenclature, our universe consists of anything from which we can receive signals; anything that exists but that we <i>can&#8217;t<\/i> receive signals from is part of a &#8220;multiverse&#8221; rather than our universe. \u00a0The &#8220;Level I multiverse&#8221; is just the entirety of our spacetime, including faraway regions from which we can never receive a signal due to the dark energy. \u00a0The Level II multiverse consists of the infinitely many other &#8220;bubbles&#8221; (i.e., &#8220;local Big Bangs&#8221;), with different values of the constants of physics, that would, in eternal inflation cosmologies, have generically formed out of the same inflating substance that gave rise to our Big Bang. \u00a0The Level III multiverse is Everett&#8217;s many worlds. \u00a0Thus, for Tegmark, the Level IV multiverse is a sort of natural culmination of earlier multiverse theorizing. \u00a0(Some people might call it a <em>reductio ad absurdum<\/em>, but Tegmark is nothing if not a <a href=\"https:\/\/scottaaronson.blog\/?p=326\">bullet-swallower<\/a>.)<\/p>\n<p>Now, why should you believe in any of these multiverses? \u00a0Or better: what does it <em>buy<\/em> you to believe in them?<\/p>\n<p>As Tegmark correctly points out, none of the multiverses are &#8220;theories,&#8221; but they might be <em style=\"line-height: 1.5em;\">implications<\/em> of theories that we have other good reasons to accept. \u00a0In particular, it seems crazy to believe that the Big Bang created space only up to the furthest point from which light can reach the earth, and no further. \u00a0So, do you believe that space extends further than our cosmological horizon? \u00a0Then boom! you believe in the Level I multiverse, according to Tegmark&#8217;s definition of it.<\/p>\n<p>Likewise, do you believe there was a period of <a href=\"http:\/\/en.wikipedia.org\/wiki\/Inflation_(cosmology)\">inflation<\/a> in the first ~10<sup>-32<\/sup> seconds after the Big Bang? \u00a0Inflation has made several confirmed predictions (e.g., about the &#8220;fractal&#8221; nature of the CMB perturbations), and if last week&#8217;s announcement of B-modes in the CMB is independently verified, that will pretty much clinch the case for inflation. \u00a0But Alan Guth, Andrei Linde, and others have argued that, if you accept inflation, then it seems hard to <em>prevent<\/em> patches of the inflating substance from continuing to inflate forever, and thereby giving rise to infinitely many &#8220;other&#8221; Big Bangs. \u00a0Furthermore, if you accept string theory, then the six extra dimensions should generically curl up differently in each of those Big Bangs, giving rise to different apparent values of the constants of physics. \u00a0So then boom! with those assumptions, you&#8217;re sold on the Level II multiverse as well. \u00a0Finally, of course, there are people (like David Deutsch, Eliezer Yudkowsky, and Tegmark himself) who think that quantum mechanics forces you to accept the Level III multiverse of Everett. \u00a0Better yet, Tegmark claims that these multiverses are &#8220;falsifiable.&#8221; \u00a0For example, if inflation turns out to be wrong, then the Level II multiverse is dead, while if quantum mechanics is wrong, then the Level III one is dead.<\/p>\n<p>Admittedly, the Level IV multiverse is a tougher sell, even by the standards of the last two paragraphs. \u00a0If you believe physical existence to be the same thing as mathematical existence, what puzzles does that help to explain? \u00a0What novel predictions does it make? \u00a0Forging fearlessly ahead, Tegmark argues that the MUH helps to &#8220;explain&#8221; why our universe has so many mathematical regularities in the first place. \u00a0And it &#8220;predicts&#8221; that more mathematical regularities will be discovered, and that everything discovered by science <em>will<\/em> be mathematically describable. \u00a0But what about the existence of <em>other<\/em> mathematical universes? \u00a0If, Tegmark says (on page 354), our qualitative laws of physics turn out to allow a narrow range of numerical constants that permit life, whereas other possible qualitative laws have <em>no<\/em> range of numerical constants that permit life, then that would be evidence for the existence of a mathematical multiverse. \u00a0For if\u00a0<em>our<\/em> qualitative laws were the only ones into which fire had been breathed, then why would they just so happen to have a narrow but nonempty range of life-permitting constants?<\/p>\n<p>I suppose I&#8217;m not alone in finding this totally unpersuasive. \u00a0When most scientists say they want &#8220;predictions,&#8221; they have in mind something meatier than &#8220;predict the universe will continue to be describable by mathematics.&#8221; \u00a0(How would we know if we found something that <em>wasn&#8217;t<\/em> mathematically describable? \u00a0Could we even describe such a thing with English words, in order to write papers about it?) \u00a0They <em>also<\/em> have in mind something meatier than &#8220;predict that the laws of physics will be compatible with the existence of intelligent observers, but if you changed them a little, then they&#8217;d stop being compatible.&#8221; \u00a0(The first part of that prediction is solid enough, but the second part might depend entirely on what we mean by a &#8220;little change&#8221; or even an &#8220;intelligent observer.&#8221;)<\/p>\n<p>What&#8217;s worse is that Tegmark&#8217;s rules appear to let him have it both ways. \u00a0To whatever extent the laws of physics turn out to be &#8220;as simple and elegant as anyone could hope for,&#8221; Tegmark can say: &#8220;you see? \u00a0that&#8217;s evidence for the mathematical character of our universe, and hence for the MUH!&#8221; \u00a0But to whatever extent the laws turn out <em>not<\/em> to be so elegant, to be weird or arbitrary, he can say: &#8220;see? \u00a0that&#8217;s evidence that our laws were selected more-or-less randomly\u00a0among all possible laws compatible with the existence of intelligent life&#8212;just as the MUH predicted!&#8221;<\/p>\n<p>Still, maybe the MUH could be sharpened to the point where it <em>did<\/em> make definite predictions? \u00a0As Tegmark acknowledges, the central difficulty with doing so is that no one has any idea what <em>measure<\/em> to use over the space of mathematical objects (or even computably-describable objects). \u00a0This becomes clear if we ask a simple question like: <strong>what fraction of the mathematical multiverse consists of worlds that contain nothing but a single three-dimensional cube?<\/strong><\/p>\n<p>We could try to answer such a question using the <a href=\"http:\/\/en.wikipedia.org\/wiki\/Algorithmic_probability\">universal prior<\/a>: that is, we could make a list of all self-delimiting computer programs, then count the total weight of programs that generate a single cube and then halt, where each n-bit program gets assigned 1\/2<sup>n<\/sup> weight. \u00a0Sure, the resulting fraction would be uncomputable, but at least we&#8217;d have defined it. \u00a0Except wait &#8230; which programming language should we use? \u00a0(The constant factors could actually matter here!) \u00a0Worse yet, what exactly counts as a &#8220;cube&#8221;? \u00a0Does it have to have faces, or are vertices and edges enough? \u00a0How should we interpret the string of 1&#8217;s and 0&#8217;s output by the program, in order to know whether it describes a cube or not? \u00a0(Also, how do we decide whether two programs describe the &#8220;same&#8221; cube? \u00a0And if they do, does that mean they&#8217;re describing the same universe, or two different universes that happen to be identical?)<\/p>\n<p>These problems are simply more-dramatic versions of the &#8220;standard&#8221; <a href=\"http:\/\/arxiv.org\/abs\/hepth\/0609095\">measure problem<\/a> in inflationary cosmology, which asks how to make statistical predictions in a multiverse where everything that <em>can<\/em> happen <em>will<\/em> happen, and will happen an infinite number of times. \u00a0The measure problem is sometimes discussed as if it were a technical issue: something to acknowledge but then set to the side, in the hope that someone will eventually come along with some clever counting rule that solves it. \u00a0To my mind, however, the problem goes\u00a0deeper: it&#8217;s a sign that, although we might have started out in physics, we&#8217;ve now stumbled into metaphysics.<\/p>\n<p>Some cosmologists would strongly protest that view. \u00a0Most of them would agree with me that Tegmark&#8217;s Level IV multiverse is metaphysics, but they&#8217;d insist that the Level I, Level II, and perhaps Level III multiverses were perfectly within the scope of scientific inquiry: they either exist or don&#8217;t exist, and the fact that <em>we<\/em> get confused about the measure problem is our issue, not nature&#8217;s.<\/p>\n<p>My response can be summed up in a question: <em>why not ride this slippery slope all the way to the bottom?<\/em>\u00a0 Thinkers like <a href=\"http:\/\/www.simulation-argument.com\/\">Nick Bostrom<\/a> and <a href=\"http:\/\/hanson.gmu.edu\/lifeinsim.html\">Robin Hanson<\/a> have pointed out that, in the far future, we might expect that computer-simulated worlds (as in <em>The Matrix<\/em>) will vastly outnumber the &#8220;real&#8221; world. \u00a0So then, why shouldn&#8217;t we predict that we&#8217;re much more likely to live in a computer simulation than we are in one of the &#8220;original&#8221; worlds doing the simulating? \u00a0And as a logical next step, why shouldn&#8217;t we do physics by trying to calculate a probability measure over different <em>kinds<\/em> of simulated worlds: for example, those run by benevolent simulators versus evil ones? \u00a0(For our world, my own money&#8217;s on &#8220;evil.&#8221;)<\/p>\n<p>But why stop there? \u00a0As Tegmark points out, what does it matter if a computer simulation is actually <em>run<\/em> or not? \u00a0Indeed, why shouldn&#8217;t you say something like the following: assuming that\u00a0\u03c0\u00a0is a <a href=\"http:\/\/en.wikipedia.org\/wiki\/Normal_number\">normal number<\/a>, your entire life history must be encoded infinitely many times in \u03c0&#8217;s\u00a0decimal expansion. \u00a0Therefore, you&#8217;re <em>infinitely<\/em> more likely to be one of your infinitely many doppelg\u00e4ngers &#8220;living in the digits of\u00a0\u03c0&#8221; than you are to be the &#8220;real&#8221; you, of whom there&#8217;s only one! \u00a0(Of course, you might also\u00a0be living in the digits of e or \u221a2, possibilities that also merit reflection.)<\/p>\n<p>At this point, of course, you&#8217;re all the way at the bottom of the slope, in Mathematical Universe Land, where Tegmark is eagerly waiting for you. \u00a0But you still have no idea how to calculate a <em>measure<\/em>\u00a0over mathematical objects: for example, how to say whether you&#8217;re <em>more<\/em> likely to be living in the first 10<sup>10^120<\/sup> digits of \u03c0, or the first 10<sup>10^120<\/sup>\u00a0digits of e. \u00a0And as a consequence, you still don&#8217;t know how to use the MUH to constrain your expectations for what you&#8217;re going to see next.<\/p>\n<p>Now, notice that these different ways down the slippery slope all have a common structure:<\/p>\n<ol>\n<li>We borrow an idea from science that&#8217;s real and important and profound: for example, the possible infinite size and duration of our universe, or inflationary cosmology, or the linearity of quantum mechanics, or the likelihood of \u03c0\u00a0being a normal number, or the possibility of computer-simulated universes.<\/li>\n<li>We then run with that idea until we smack right into a measure problem, and lose the ability to make useful predictions.<\/li>\n<\/ol>\n<p>Many people want to frame the multiverse debates as &#8220;science versus pseudoscience,&#8221; or &#8220;science versus science fiction,&#8221; or (as I did before) &#8220;physics versus metaphysics.&#8221; \u00a0But actually, I don&#8217;t think any of those dichotomies get to the nub of the matter. \u00a0All of the multiverses I&#8217;ve mentioned&#8212;certainly the inflationary and Everett multiverses, but even the computer-simuverse and the \u03c0-verse&#8212;have their origins in legitimate scientific questions and in genuinely-great achievements of science. \u00a0However, they then extrapolate those achievements in a direction that hasn&#8217;t yet led to anything\u00a0<em>impressive<\/em>. \u00a0Or at least, not to anything that we couldn&#8217;t have gotten without the ontological commitments that led to the multiverse and its measure problem.<\/p>\n<p>What is it, in general, that makes a scientific theory impressive? \u00a0I&#8217;d say that the answer is simple: <em>connecting elegant math to actual facts of experience<\/em>.<\/p>\n<p>When Einstein said, the perihelion of Mercury precesses at 43 seconds of arc per century because gravity is the curvature of spacetime&#8212;that was impressive.<\/p>\n<p>When Dirac said, you should see a positron because this equation in quantum field theory is a quadratic with both positive and negative solutions (and then the positron was found)&#8212;that was impressive.<\/p>\n<p>When Darwin said, there must be equal numbers of males and females in all these different animal species\u00a0because any other ratio would fail to be an equilibrium&#8212;that was impressive.<\/p>\n<p>When people say that multiverse theorizing &#8220;isn&#8217;t science,&#8221; I think what they mean is that it&#8217;s failed, so far, to be <em>impressive<\/em> science in the above sense. \u00a0It hasn&#8217;t yet produced any satisfying clicks of understanding, much less dramatically-confirmed predictions. \u00a0Yes, Steven Weinberg kind-of, sort-of used &#8220;multiverse&#8221; reasoning to predict&#8212;correctly&#8212;that the cosmological constant should be nonzero. \u00a0But as far as I can tell, he could just as well have dispensed with the &#8220;multiverse&#8221; part, and said: &#8220;I see no physical reason why the cosmological constant should be zero, rather than having some small nonzero value still consistent with the formation of stars and galaxies.&#8221;<\/p>\n<p>At this, many multiverse proponents would protest: &#8220;look, Einstein, Dirac, and Darwin is setting a pretty high bar! \u00a0Those guys were smart but also <em>lucky<\/em>, and it&#8217;s unrealistic to expect that scientists will always be so lucky. \u00a0For many aspects of the world, there might not <em>be<\/em> an elegant theoretical explanation&#8212;or any explanation at all better than, &#8216;well, if it were much different, then we probably wouldn&#8217;t be here talking about it.&#8217; \u00a0So, are you saying we should ignore where the evidence leads us, just because of some <em>a-priori<\/em> prejudice in favor of mathematical elegance?&#8221;<\/p>\n<p>In a sense, yes, I am saying that. \u00a0Here&#8217;s an analogy: suppose an aspiring filmmaker said, &#8220;I want my films to capture the <em>reality<\/em> of human experience, not some Hollywood myth. \u00a0So, in most of my movies nothing much will happen at all. \u00a0If something <em>does<\/em> happen&#8212;say, a major character dies&#8212;it won&#8217;t be after some interesting, character-forming struggle, but meaninglessly, in a way totally unrelated to the rest of the film. \u00a0Like maybe they get hit by a bus. \u00a0Then some other random stuff will happen, and then the movie will end.&#8221;<\/p>\n<p>Such a filmmaker, I&#8217;d say, would have a perfect plan for creating boring, arthouse movies that nobody wants to watch. \u00a0Dramatic, character-forming struggles against the odds might not be the norm of human experience, but they <em>are<\/em> the central ingredient of entertaining cinema&#8212;so if you want to create an entertaining movie, then you have\u00a0to postselect on those parts of human experience that <em>do<\/em> involve dramatic struggles. \u00a0In the same way, I claim that elegant mathematical explanations for observed facts are the central ingredient of great science. \u00a0Not everything in the universe might <em>have<\/em> such an explanation, but if one wants to create great science, one has to postselect on the things that do.<\/p>\n<p>(Note that there&#8217;s an irony here: the same unsatisfyingness, the same lack of explanatory oomph, that make something a &#8220;lousy movie&#8221;\u00a0to those with a scientific mindset, can easily make it a <em>great<\/em> movie to those without such a mindset. \u00a0The hunger for nontrivial mathematical explanations is a hunger one has to acquire!)<\/p>\n<p>Some readers might argue: &#8220;but weren&#8217;t\u00a0quantum mechanics, chaos theory, and G\u00f6del&#8217;s theorem scientifically important precisely because they said that certain phenomena&#8212;the exact timing of a radioactive decay, next month&#8217;s weather, the bits of <a href=\"http:\/\/en.wikipedia.org\/wiki\/Chaitin's_constant\">Chaitin&#8217;s \u03a9<\/a>&#8212;were <em>un<\/em>predictable and <em>un<\/em>explainable in fundamental ways?&#8221; \u00a0To me, these are the exceptions that prove the rule. \u00a0Quantum mechanics, chaos, and G\u00f6del&#8217;s theorem were great science not because they declared certain facts unexplainable, but because they explained<i> why<\/i>\u00a0those facts (and not other facts) had no explanations of certain kinds. \u00a0Even more to the point, they gave definite rules to help figure out what would and wouldn&#8217;t be explainable in their respective domains: is this state an eigenstate of the operator you&#8217;re measuring? \u00a0is the Lyapunov exponent positive? \u00a0is there a proof of independence from PA or ZFC?<\/p>\n<p>So, what would be the analogue of the above for the multiverse? \u00a0Is there any Level II or IV multiverse hypothesis that says: sure, the mass of electron might be a cosmic accident, with at best an anthropic explanation, but the mass of the Higgs boson is almost certainly\u00a0<em>not<\/em> such an accident? \u00a0Or that the sum or difference of the two masses is not an accident? \u00a0(And no, it doesn&#8217;t count to affirm as &#8220;non-accidental&#8221; things that we already have non-anthropic explanations for.) \u00a0If such a hypothesis exists, tell me in the comments! \u00a0As far as I know, all Level II and IV multiverse hypotheses are still at the stage where basically anything that isn&#8217;t already explained <em>might<\/em> vary across universes and be anthropically selected. \u00a0And that, to my mind, makes them very different in character from quantum mechanics, chaos, or G\u00f6del&#8217;s theorem.<\/p>\n<p>In summary, here&#8217;s what I feel is a reasonable position to take right now, regarding <em>all four<\/em> of Tegmark&#8217;s multiverse levels (not to mention the computer-simuverse, which I humbly propose as Level 3.5):<\/p>\n<p><em>Yes, these multiverses are a perfectly fine thing to speculate about: sure they&#8217;re unobservable, but so are plenty of other entities that science has forced us to accept. \u00a0There are even natural reasons, within physics and cosmology, that could lead a person to speculate about each of these multiverse levels. \u00a0So if you want to speculate, knock yourself out! \u00a0If, however, you want me to accept the results as more than speculation&#8212;if you want me to put them on the bookshelf next to Darwin and Einstein&#8212;then you&#8217;ll need to do more than argue that other stuff I already believe logically entails a multiverse (which I&#8217;ve never been sure about), or point to facts that are currently unexplained as evidence that we need a multiverse to explain their unexplainability, or claim as triumphs for your hypothesis things that don&#8217;t really need the hypothesis at all, or describe implausible hypothetical scenarios that could confirm or falsify the hypothesis. \u00a0Rather, you&#8217;ll need to use your multiverse hypothesis&#8212;and your proposed solution to the resulting measure problem&#8212;to do something new that <strong>impresses<\/strong> me.<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Two months ago, commenter rrtucci asked me what I thought about Max Tegmark and his &#8220;Mathematical Universe Hypothesis&#8221;: the idea, which Tegmark defends in his recent book Our Mathematical Universe, that physical and mathematical existence are the same thing, and that what we call &#8220;the physical world&#8221; is simply one more mathematical structure, alongside the [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"advanced_seo_description":"","jetpack_seo_html_title":"","jetpack_seo_noindex":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"_wpas_customize_per_network":false},"categories":[11],"tags":[],"class_list":["post-1753","post","type-post","status-publish","format-standard","hentry","category-nerd-interest"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/1753","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1753"}],"version-history":[{"count":10,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/1753\/revisions"}],"predecessor-version":[{"id":1766,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/1753\/revisions\/1766"}],"wp:attachment":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1753"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1753"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1753"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}