A naturalist account of the reasonable effectiveness of mathematics in physics [pdf](arxiv.org)
arxiv.org
A naturalist account of the reasonable effectiveness of mathematics in physics [pdf]
http://arxiv.org/pdf/1506.03733.pdf
6 comments
The simple fact is that mathematics is derived from nature first by observation of countable entities and then a process of abstraction from those observations. The natural numbers don't merely correspond to countable things - countable things are the original source of the much more abstract idea of "natural numbers". Whether or not any further baste actions are a useful tool for measuring and describing the physical world is an entirely separate question from the nature and source of mathematics as a field of study.
It would probably be best to do away with the term "mathematical truth" altogether. It's confusing and sloppy. Mathematics has no separate truth from the physical world - it's just a field of epistemological methods.
It would probably be best to do away with the term "mathematical truth" altogether. It's confusing and sloppy. Mathematics has no separate truth from the physical world - it's just a field of epistemological methods.
> It would probably be best to do away with the term "mathematical truth" altogether. It's confusing and sloppy. Mathematics has no separate truth from the physical world - it's just a field of epistemological methods.
This sounds like a contradiction -- epistemology is, more-or-less concerned with what's true. If mathematics is simply a field of epistemology (with is own methods), then it's not a stretch to say that there is a mathematical truth -- a truth that satisfies the methods of the filed of mathematics.
> The simple fact is that mathematics is derived from nature first by observation of countable entities and then a process of abstraction from those observations.
I think it's more complex than that... I suspect that math (and many other fields) starts out this way, going from concrete to abstract, but once it gets to the abstraction phase then it takes on a life of it's own. People find the abstractions interesting in their own right, they seem to develop a sort of historical direction, and they have compelling properties on their own merit, so people felt compelled to develop them. People's intuitions, however, are strongly shaped by physical reality. And those mathematical abstractions are often useful for modeling physical reality, causing a strong interplay between reality and mathematical abstractions.
> The simple fact is that mathematics is derived from nature first by observation of countable entities and then a process of abstraction from those observations.
I think it's more complex than that... I suspect that math (and many other fields) starts out this way, going from concrete to abstract, but once it gets to the abstraction phase then it takes on a life of it's own. People find the abstractions interesting in their own right, they seem to develop a sort of historical direction, and they have compelling properties on their own merit, so people felt compelled to develop them. People's intuitions, however, are strongly shaped by physical reality. And those mathematical abstractions are often useful for modeling physical reality, causing a strong interplay between reality and mathematical abstractions.
> Mathematics has no separate truth from the physical world - it's just a field of epistemological methods.
I don't think that can be right. First of all, there are many mathematical things that don't correspond to anything in the physical world. Second, I'm not sure that "epistemological methods" correspond very well to the physical world, either. (I mean, yes, in one sense it's something humans do in their heads, so it's part of biology, so it's part of the physical world, but that seems like a bit more than what we usually mean by "the physical world".)
More that that, though, we don't think of everything as physics. Biology, and even chemistry, we think of as separate disciplines. Thinking of mathematics as also a separate discipline seems perfectly reasonable.
I don't think that can be right. First of all, there are many mathematical things that don't correspond to anything in the physical world. Second, I'm not sure that "epistemological methods" correspond very well to the physical world, either. (I mean, yes, in one sense it's something humans do in their heads, so it's part of biology, so it's part of the physical world, but that seems like a bit more than what we usually mean by "the physical world".)
More that that, though, we don't think of everything as physics. Biology, and even chemistry, we think of as separate disciplines. Thinking of mathematics as also a separate discipline seems perfectly reasonable.
> mathematics is derived from nature
And where does 'derivation' come from?
And where does 'derivation' come from?
It's taking place in the brain of the mathematician.
[deleted]
I just saw that this was a submission to the FQXi contest on "Trick or Truth: the Mysterious Connection Between Physics and Mathematics". I've only read 1st and 2nd place and this piece by Smolin yet, but I'm sure a lot of the other submissions are worthwhile to read as well:
http://fqxi.org/community/forum/category/31424
http://fqxi.org/community/forum/category/31424
The essay by David Hestenes is a worthwile read. Especially the comments where Geometric Algebra is discussed.
> everything that exists is part of the
natural world, which makes up a unitary whole.
That would cause problems for super-string theory, the big bang and many other models of the origin of the universe.
That would cause problems for super-string theory, the big bang and many other models of the origin of the universe.
I got a couple pages in before giving up. The question of existence/non-existence of theorems simply isn't as important as he makes it out to be, and I say this as somebody who's read a fair amount of relevant philosophy.
Oh, this is just excellent.
> The universe exists apart from being evoked by the human imagination, while mathematical objects do not exist before and apart from being evoked by human imagination.
Smolin says this in his conclusion. But when people talk about the unreasonable effectiveness of mathematics (at least when I've heard it), this is what they're talking about - not that mathematical objects exist in some nonphysical platonic space, but that they exist in our heads as a game we play - a formal axiomatic system. The question is, why does our formal game, which we think is mostly abstract, suddenly and surprisingly turn out to work so well to model the physical universe? (We don't find that chess works as a model, for example.)
Smolin answers that, sort of. He says that since the basics of mathematics are in nature, it's reasonable that as math progresses, it will continue to correspond to nature. But it seems to me quite a stretch to say that, because the natural numbers correspond to the existence of countable things in nature, and natural objects take up space, therefore pseudo-Riemannian manifolds will correspond to general relativity. To say that is reasonable, it seems to me, requires making a mysticism around nature.