Math is an amazingly useful tool in physics (although even there it is not the whole story: you cannot infer physical knowledge just from mathematics). It is a lot less useful (I am not saying it is no use at all) when we are trying to understand other aspects of reality, for instance, history. Yet history happens in the universe too. Math maybe fairly plausibly be called the language of physics, but it is not teh language of history. Other aspects of reality, such as biology, fall somewhere in between: math has considerable utility in biology, but it is very far from being its “language”.
(I am aware that some people may think that biology and history, and everything else, ought to be reducible, in principle, to physics, to the motions of particles or the evolution of waveforms, or whatever. However, this is an unproven, and almost certainly unprovable metaphysical hypothesis, not a fact. Even if it is true, we can’t even begin to make the reduction)
Aren’t your issues really just human inability to do the math?
I mean, in theory, if we knew the starting conditions with perfect precision (ignoring Heisenberg for the moment) isn’t every future event predictable?
Heisenberg certainly throws a spanner in those works but hypothetically, if you had the calculational power, you could do that.
Lots of things can be reasoned about. Anything which follows rules can have its rules analyzed. For example, chess. If I had the calculational power, given the option to choose whether to be black or white, I could ensure that I never lost a game of chess.
Does that mean math is the language of chess? (Genuine question here; I have no idea what it means to say that “X is the language of Y”). If that’s the sort of thing you’re talking about, then math is the language of everything. [Anything you can reason about you can, uh, reason about. Anything with rules can have its rules analyzed. Anything you can talk about, you can talk about abstractly. That’s all math is…]
What does unpredictability have to do with whether math is “the language of the universe”?
If one analyzes situations such as “There is a die which unpredictably produces a value from 1 to 6; based on the value of the die, [something something]” and all their consequences, is that not just as much math as the analysis of deterministic situations? A non-deterministic function is just as much a mathematical concept as a deterministic function.
I think the question resolves itself if one asks why people wonder about the unreasonable effectiveness of mathematics, but not about the unreasonable effectiveness of computers – since with computers, it is well known that any one (universal) computer can emulate any other (see Turing completeness), so if reality is not ‘more complex’ than any computer, it’s trivial that computers can be used to simulate every aspect of the physical world.
But actually, I think it’s not different with mathematics. Certainly, math has similar capacities to ‘emulate’ other systems as computers do – it must, since computers are mathematically describable. A famous example of this is Gödel numbering: you can mirror every statement you can make in a formal mathematical system within number theory, as simple (well, actually kind of complicated) arithmetical statements. This establishes the universality of mathematics.
So, the reason mathematics can be used to model the physical universe is the same reason that computers can be used thus – universal systems are able to emulate, i.e. mirror the behaviour of, all other universal systems, or systems not more complex than that.
Of course, reality might turn out to be ‘more complex’, i.e. non-computable, though I personally doubt it; but similarly, it might turn out that there are aspects of reality that can’t be modelled with mathematics, that we just haven’t discovered yet (though if we ever could discover such aspects, our deliberate thinking and modes of communication appearing quite computational in make-up, is an interesting question in itself).
There is a school of thought that the universe is just a big computer, solving the equations of mathematical physics. It’s a fringe view and not one I share.
Modulo is incredibly useful in Computer Science, where you deal with constraining large amounts of input to finite spaces. To use a VERY simple example, if you have a table with 8 slots, and want to store the number “27”, you do 27 mod 8, getting 3 (the remainder of 27/8), of course there are countless problems with this simple example, but that’s a simple example of how its useful – for enforcing bounds constraint.
That said, as far as “the universe” goes, I hear modular arithmetic is very important in chemistry, but I don’t know anything as to HOW.
Mathematics is the language that humans use to describe the universe. It’s a human construct that allows us to describe how we think the universe works and to make predictions about the universe.
Of course it does. It just describes different aspects of that universe… [Just like “1 + x is guaranteed to be >= 1” is true on some useful interpretations of what addition is (“If you add one item to a pile of items, you’ll definitely have at least one item overall”), while “1 + x is sometimes equal to 0” is true on some other useful interpretations of the language of addition (“If you go one mile to the right, and then follow up with a random movement, you might well end up 0 miles from where you started”]
For example, suppose you’re keeping track of your car’s orientation by counting the number of left turns you make. 2 + 2 left turns is just as good as 0 left turns. In this context, 2 + 2 = 0 is an accurate and useful description of the universe. You wouldn’t want a driver who refused to accept 2 + 2 = 0 in this context.
It’s nothing like that 2 + 2 = 4 is “discovered” and 2 + 2 = 0 is “invented”, if that’s what you’re proposing. That would be a ridiculous distinction… They’re both equally rules in some abstract games we’ve chosen to make up and spend time playing. Our interest in these particular games, of course, is often motivated by the desire to model patterns we’ve noticed in the universe or in other abstract games.
I don’t think it’s fair to say math is the language of the universe any more than you can any other language is. Any given language is a more or less powerful way to describe the universe. Just because I’m not quite as PRECISE when I say “The moon orbits around the Earth” doesn’t mean I’m not describing the universe the same way math does. I can describe pretty much any physical property I want, it just may not be as succinct as math at describing the particulars. I can probably describe the exact meaning of a given input to a complicated function, even though depending on the language it may take three or four pages to do so.
Math was invented, it just so happens to be a more powerful tool for writing down observations and predicting future outcomes than many other human languages in many cases.
While this may be true, this is more of a sign that we happened to study the same things. I’m sure they have plain Glorkinese for “running” too, which almost all languages share a word for. It’s just the chances of them writing a document describing running similar enough to ours to decode are much smaller than the chances of them computing the area of a circle in a similar way to how we do it.
It’s funny that π = 3.14… is ubiquitously held up as an example of the one universal mathematical constant that every sophisticated alien culture can be expected to have canonized as profoundly important, since any alien mathematical culture is more likely to have hit upon τ = 6.28… as the more natural, fundamentally significant “circle constant”. Our primary veneration of π (the number of radians in a half revolution) is a bizarre historical anomaly, rather like making a big hullabaloo over sqrt(e) or 1 + the Euler-Mascheroni constant or some such thing. Sending it out into space is begging to be mocked (though if we do it in binary, we can hope the aliens don’t quite notice the factor of 2…).
Intuition says “Invention”. But how do we account for fractals such as the Mandelbrot set? The set continues on into infinity, so no human can hold it in his head at once.
An alien civilization would come up with the same Mandelbrot set that we do, yet they probably wouldn’t create the plays of Shakespeare. [1] So the latter was created and the former discovered.
Unfortunately, I find the idea of a discovered mathematics to be imponderable as well. If math is discovered, then it has an existence independent of the human mind. Math has no mass: is it measurable? I find this topic rather confusing. Penrose tentatively posits a Platonic world of mathematics, which is a reasonable model though it’s metaphysically unsettling. Reverend Berkeley would have probably said that the Mandelbrot set is situated in the mind of God.
[1] Idea lifted from here: The Reality of Fractals | Syntopia
Nah, the universe will be filled with quirks, specifically built around the circle constant, just to confound everyone. One alien with have found pi-squared, yet another will have 2*tau, another still will SOMEHOW have their base circle constant be the pi[sup]tau[/sup]. One day we’ll eventually figure it all out and have a good laugh… which the aliens will misinterpret for a battle cry and throw us in the salt mines for threatening their peaceful existence.
Edit:
Even if we can’t hold the entirety of the Mandlebrot set in our minds at once, that doesn’t really matter, we can still hold the rules for constructing it. In language terms, we basically just invented a really witty turn of phrase for the math world that happens to be a good comeback to damn near everything.
How about, say, tic-tac-toe? The rules are so simple and semi-natural that I can well imagine large numbers of alien civilizations independently coming up with it… Yet, in each case (including our own), I am also perfectly happy to say it was “invented” or “made up”* by whoever, well, came up with it. I don’t feel that we should deny that person X invented Y for reasons Z just because some other person also independently invented essentially the same thing for similar reasons.
(*: While also, at the same time, I would not be surprised to discovered the existence of phenomena in the universe (even apart from the phenomenon of people playing tic-tac-toe) which were usefully modelled in some fashion or another by the abstract system of tic-tac-toe. Such that someone studying such phenomena might be motivated to codify and analyze tic-tac-toe even if it wasn’t a game which previously existed among their culture)
I’m also happy to describe ideas as both discovered and invented, I suppose. To invent the telephone is to discover a way of transmitting sound over long distances. To invent the wheel is to discover that a rolling, round object experiences mitigated friction. One can use either piece of language to describe the same accomplishment.
Good point. Etymologically, the first means to “remove what was hiding something”, while the second means “to come upon something”. Neither, etymologically speaking, implies pure creative genius on the part of the finder.