This seems like a trivial idea, interesting mostly insofar as it dispels unnecessary mysteriousness of physical world, but not particularly meaningful or helpful otherwise. I'll try to summarize the context in which the idea of mathematical universe looks to me this way.
When abstract objects or ideas are thought about with mathematical precision, it turns out that they are best described by their "structure", which is a collection of properties that these things have (like commutativity of multiplication on a complex plane or connectedness of a sphere), rather than some kind of "reductionistic" recipe for assembling them. These properties imply other properties, and in many interesting cases, even based on a fixed initial definition it's possible to explore them in many possible ways, there is no restriction to a single direction in finding more properties (like new laws of number theory or geometry, as opposed to running a computer program to completion). At the same time, it's not possible, either in principle or in practice, to infer all interesting properties following from given defining properties that specify a sufficiently complicated structure, so there is perpetual logical uncertainty.
When two structures (or two "things" having these respective structures, described by them to some extent) share some of their properties in some sense, it's possible to infer new facts about one of the structures by observing the other. This way, for example, a computer program can reason about an infinite structure: if we know that a certain property stands or falls for the program and for the structure together, we can conclude that the property holds for the structure if its counterpart does for the program and so on. Also, setting up a structure that reflects properties of another one doesn't require knowing all defining properties of that structure, knowing only sufficiently accurate approximations to some of them may be sufficient to make useful inferences.
Physical world then can be seen as just another thing that, to the extent it can be rigorously thought about, is described by certain properties or principles, of which we know only some and not precisely. Thinking about the world involves setting up certain things (brains, computers, experimental apparatus, abstract structures, physical theories, etc.) that capture some of its structure (these act as "maps" of the world), and then inferring more properties (making "predictions") based on what they've managed to capture.
It doesn't seem like there is much more to say on this big picture level, and treating physical world the same way we treat other complicated things, such as sufficiently complicated mathematical structures, seems like a natural thing to do. Of course, the physical world is very special, it is this particular thing with these particular properties, and we happen to have evolved and live in it, but that doesn't seem fundamentally different from how the complex plane is another particular thing with its own properties. Also, like "physical" is not a meaningful distinction in the sense that it doesn't say anything specific about properties of the world, also "mathematical structure" is not a meaningful distinction in the same sense, and so insisting that the physical world "is a mathematical structure" doesn't seem meaningful. The physical world has structure, just as arithmetic has structure, but it doesn't seem like much more can be said on this level of description.
...Of course, the physical world is very special, it is this particular thing with these particular properties, and we happen to have evolved and live in it, but that doesn't seem fundamentally different from how the complex plane is another particular thing with its own properties. Also, like "physical" is not a meaningful distinction in the sense that it doesn't say anything specific about properties of the world, also "mathematical structure" is not a meaningful distinction in the same sense, and so insisting that the physical world &q
Laws as Rules
We speak casually of the laws of nature determining the distribution of matter and energy, or governing the behavior of physical objects. Implicit in this rhetoric is a metaphysical picture: the laws are rules that constrain the temporal evolution of stuff in the universe. In some important sense, the laws are prior to the distribution of stuff. The physicist Paul Davies expresses this idea with a bit more flair: "[W]e have this image of really existing laws of physics ensconced in a transcendent aerie, lording it over lowly matter." The origins of this conception can be traced back to the beginnings of the scientific revolution, when Descartes and Newton established the discovery of laws as the central aim of physical inquiry. In a scientific culture immersed in theism, it was unproblematic, even natural, to think of physical laws as rules. They are rules laid down by God that drive the development of the universe in accord with His divine plan.
Does this prescriptive conception of law make sense in a secular context? Perhaps if we replace the divine creator of traditional religion with a more naturalist-friendly lawgiver, such as an ur-simulator. But what if there is no intentional agent at the root of it all? Ordinarily, when I think of a physical system as constrained by some rule, it is not the rule itself doing the constraining. The rule is just a piece of language; it is an expression of a constraint that is actually enforced by interaction with some other physical system -- a programmer, say, or a physical barrier, or a police force. In the sort of picture Davies presents, however, it is the rules themselves that enforce the constraint. The laws lord it over lowly matter. So on this view, the fact that all electrons repel one another is explained by the existence of some external entity, not an ordinary physical entity but a law of nature, that somehow forces electrons to repel one another, and this isn't just short-hand for God or the simulator forcing the behavior.
I put it to you that this account of natural law is utterly mysterious and borders on the nonsensical. How exactly are abstract, non-physical objects -- laws of nature, living in their "transcendent aerie" -- supposed to interact with physical stuff? What is the mechanism by which the constraint is applied? Could the laws of nature have been different, so that they forced electrons to attract one another? The view should also be anathema to any self-respecting empiricist, since the laws appear to be idle danglers in the metaphysical theory. What is the difference between a universe where all electrons, as a matter of contingent fact, attract one another, and a universe where they attract one another because they are compelled to do so by the really existing laws of physics? Is there any test that could distinguish between these states of affairs?
Laws as Descriptions
There are those who take the incoherence of the secular prescriptive conception of laws as reason to reject the whole concept of laws of nature as an anachronistic holdover from a benighted theistic age. I don't think the situation is that dire. Discovering laws of nature is a hugely important activity in physics. It turns out that the behavior of large classes of objects can be given a unified compact mathematical description, and this is crucial to our ability to exercise predictive control over our environment. The significant word in the last sentence is "description". A much more congenial alternative to the prescriptive view is available. Instead of thinking of laws as rules that have an existence above and beyond the objects they govern, think of them as particularly concise and powerful descriptions of regular behavior.
On this descriptive conception of laws, the laws do not exist independently in some transcendent realm. They are not prior to the distribution of matter and energy. The laws are just descriptions of salient patterns in that distribution. Of course, if this is correct, then our talk of the laws governing matter must be understood as metaphorical, but this is a small price to pay for a view that actually makes sense. There may be a concern that we are losing some important explanatory ground here. After all, on the prescriptive view the laws of nature explain why all electrons attract one another, whereas on the descriptive view the laws just restate the fact that all electrons attract one another. But consider the following dialogue:
A: Why are these two metal blocks repelling each other?
B: Because they're both negatively charged, which means they have an excess of electrons, and electrons repel one another.
A: But why do electrons repel one another?
B: Because like charges always repel.
A: But why is that?
B: Because if you do the path integral for the electromagnetic field (using Maxwell's Lagrangian) with source terms corresponding to two spatially separated lumps of identical charge density, you will find that the potential energy of the field is greater the smaller the spatial separation between the lumps, and we know the force points in the opposite direction to the gradient of the potential energy.
A: But why are the dynamics of the electromagnetic field derived from Maxwell's Lagrangian rather than some other equation? And why does the path integral method work at all?
B: BECAUSE IT IS THE LAW.
Is the last link in this chain doing any explanatory work at all? Does it give us any further traction on the problem? B might as well have ended that conversation by saying "Well, that's just the way things are." Now, laws of nature do have a privileged role in physical explanation, but that privilege is due to their simplicity and generality, not to some mysterious quasi-causal power they exert over matter. The fact that a certain generalization is a law of nature does not account for the truth and explanatory power of the generalization, any more than the fact that a soldier has won the Medal of Honor accounts for his or her courage in combat. Lawhood is a recognition of the generalization's truth and explanatory power. It is an honorific; it doesn't confer any further explanatory oomph.
The Best System Account of Laws
David Lewis offers us a somewhat worked out version of the descriptive conception of law. Consider the set of all truths about the world expressible in a particular language. We can construct deductive systems out of this set of propositions by picking out some of the propositions as axioms. The logical consequences of these axioms are the theorems of the deductive system. These deductive systems compete with one another along (at least) two dimensions: the simplicity of the axioms, and the strength or information content of the system as a whole. We prefer systems that give us more information about the world, but this greater strength often comes at the cost of simplicity. For instance, a system whose axioms comprised the entire set of truths about the world would be maximally strong, but not simple at all. Conversely, a system whose only axiom is something like "Stuff happens" would be pretty simple, but very uninformative. What we are looking for is the appropriate balance of simplicity and strength [1].
According to Lewis, the laws of nature correspond to the axioms of the deductive system that best balances simplicity and strength. He does not provide a precise algorithm for evaluating this balance, and I don't think his proposal should be read as an attempt at a technically precise decision procedure for lawhood anyway. It is more like a heuristic picture of what we are doing when we look for laws. We are looking for simple generalizations that can be used to deduce a large amount of information about the world. Laws are highly compressed descriptions of broad classes of phenomena. This view evidently differs quite substantially from the Davies picture I presented at the beginning of this post. On Lewis's view, the collection of particular facts about the world determines the laws of nature, since the laws are merely compact descriptions of those facts. On Davies's view, the determination runs the other way. The laws are independent entities that determine the particular facts about the world. Stuff in the world is arranged the way it is because the laws compelled that arrangement.
One last point about Lewis's account. Lewis acknowledges that there is an important language dependence in his view of laws. If we ignore this, we get absurd results. For instance, consider a system whose only axiom is "For all x, x is F" where "F" is defined to be a predicate that applies to all and only events that occur in this world. This axiom is maximally informative, since it rules out all other possible worlds, and it seems exceedingly simple. Yet we wouldn't want to declare it a law of nature. The problem, obviously, is that all the complexity of the axiom is hidden by our choice of language, with this weird specially rigged predicate. To rule out this possibility, Lewis specifies that all candidate deductive systems must employ the vocabulary of fundamental physics.
But we could also regard lawhood as a 2-place function which maps a proposition and vocabulary pair to "True" if the proposition is an axiom of the best system in that vocabulary and "False" otherwise. Lewis has chosen to curry this function by fixing the vocabulary variable. Leaving the function uncurried, however, highlights that we could have different laws for different vocabularies and, consequently, for different levels of description. If I were an economist, I wouldn't be interested (at least not qua economist) in deductive systems that talked about quarks and leptons. I would be interested in deductive systems that talked about prices and demand. The best system for this coarser-grained vocabulary will give us the laws of economics, distinct from the laws of physics.
Lawhood Is in the Map, not in the Territory
There is another significant difference between the descriptive and prescriptive accounts that I have not yet discussed. On the Davies-style conception of laws as rules, lawhood is an element of reality. A law is a distinctive beast, an abstract entity perched in a transcendent aerie. On the descriptive account, by comparison, lawhood is part of our map, not the territory. Note that I am not saying that the laws themselves are a feature of the map and not the territory. Laws are just particularly salient redundancies, ones that permit us to construct useful compressed descriptions of reality. These redundancies are, of course, out there in the territory. However, the fact that certain regularities are especially useful for the organization of knowledge is at least partially dependent on facts about us, since we are the ones doing the organizing in pursuit of our particular practical projects. Nature does not flag these regularities as laws, we do.
This realization has consequences for how we evaluate certain forms of reductionism. I should begin by noting that there is a type of reductionism I tentatively endorse and that I think is untouched by these speculations. I call this mereological reductionism [2]; it is the claim that all the stuff in the universe is entirely built out of the kinds of things described by fundamental physics. The vague statement is intentional, since fundamental physicists aren't yet sure what kinds of things they are describing, but the motivating idea behind the view is to rule out the existence of immaterial souls and the like. However, reductionists typically embrace a stronger form of reductionism that one might label nomic reductionism [3]. The view is that the fundamental laws of physics are the only really existant laws, and that laws in the non-fundamental disciplines are merely convenient short-cuts that we must employ due to our computational limitations.
One appealing argument for this form of reductionism is the apparent superfluity of non-fundamental laws. Macroscopic systems are entirely built out of parts whose behavior is determined by the laws of physics. It follows that the behavior of these systems is also fixed by those fundamental laws. Additional non-fundamental laws are otiose; there is nothing left for them to do. Barry Loewer puts it like this: "Why would God make [non-fundamental laws] the day after he made physics when the world would go on exactly as if they were there without them?" If these laws play no explanatory role, Ockham's razor demands that we strike them from our ontological catalog, leaving only the fundamental laws.
I trust it is apparent that this argument relies on the prescriptive conception of laws. It assumes that real laws of nature do stuff; they push and pull matter and energy around. It is this implicit assumption that raises the overdetermination concern. On this assumption, if the fundamental laws of physics are already lording it over all matter, then there is no room for another locus of authority. However, the argument (and much of the appeal of the associated reductionist viewpoint) fizzles, if we regard laws as descriptive. Employing a Lewisian account, all we have are different best systems, geared towards vocabularies at different resolutions, that highlight different regularities as the basis for a compressed description of a system. There is nothing problematic with having different ways to compress information about a system. Specifically, we are not compelled by worries about overdetermination to declare one of these methods of compression to be more real than another. In response to Loewer's theological question, the proponent of the descriptive conception could say that God does not get to separately specify the non-fundamental and fundamental laws. By creating the pattern of events in space-time she implicitly fixes them all.
Nomic reductionism would have us believe that the lawhood of the laws of physics is part of the territory, while the lawhood of the laws of psychology is just part of our map. Once we embrace the descriptive conception of laws, however, there is no longer this sharp ontological divide between the fundamental and non-fundamental laws. One reason for privileging the laws of physics is revealed to be the product of a confused metaphysical picture. However, one might think there are still other good reasons for privileging these laws that entail a reductionism more robust than the mereological variety. For instance, even if we accept that laws of physics don't possess a different ontological status, we can still believe that they have a prized position in the explanatory hierarchy. This leads to explanatory reductionism, the view that explanations couched in the vocabulary of fundamental physics are always better because fundamental physics provides us with more accurate models than the non-fundamental sciences. Also, even if one denies that the laws of physics themselves are pushing matter around, one can still believe that all the actual pushing and pulling there is, all the causal action, is described by the laws of physics, and that the non-fundamental laws do not describe genuine causal relations. We could call this kind of view causal reductionism.
Unfortunately for the reductionist, explanatory and causal reductionism don't fare much better than nomic reductionism. Stay tuned for the reasons why!
[1] Lewis actually adds a third desideratum, fit, that allows for the evaluation of systems with probabilistic axioms, but I leave this out for simplicity of exposition. I have tweaked Lewis's presentation in a couple of other ways as well. For his own initial presentation of the view, see Counterfactuals, pp. 72-77. For a more up-to-date presentation, dealing especially with issues involving probabilistic laws, see this paper (PDF).
[2] From the Greek meros, meaning "part".
[3] From the Greek nomos, meaning "law".