Slashdot Mirror
Is Mathematics Discovered Or Invented?
An anonymous reader points out an article up at Science News on a question that, remarkably, is still being debated after a few thousand years: is mathematics discovered, or is it invented? Those who answer "discovered" are the intellectual descendants of Plato; their number includes Roger Penrose. The article notes that one difficulty with the Platonic view: if mathematical ideas exist in some way independent of humans or minds, then human minds engaged in doing mathematics must somehow be able to connect with this non-physical state. The European Mathematical Society recently devoted space to the debate. One of the papers, Let Platonism die, can be found on page 24 of this PDF. The author believes that Platonism "has more in common with mystical religions than with modern science."
When faced with an awkward question, logical positivism asks: what would the answer tell me about the future?
Suppose you had a definitive, 100% guaranteed answer to the "discovered vs invented" question. What would it allow you to do that you couldn't do before? What could you predict? What would you gain?
Nothing, nothing and nothing.
It's meaningless; merely a matter of perception, wordplay and people having too much time on their hands.
Oh, and the correct answer is "discovered".
I much prefer the Kantian approach, which, simplified, is that space and time are the forms of human intuition, and it is these forms of intuition that lead to us understanding things the way we do (spacially and temporally, whose relationships are mathematical). "Things in themselves" are unknowable, and can only be approached through some set of references, whether it be through the space and time we perceive, other possible ways time and space could work (non-Euclidian geometries?), or ways we can't even imagine. Unlike Plato's idea, which is that mathematics involves universal truths we discover, Kant's "Copernican turn" puts the subject as the one who projects mathematics onto everything it experiences. Arguably, this is the idea that has lead to the "modern era".
This makes mathematics the study of these forms of intuition, so unlike Plato's approach, we're not "discovering" universal ideas, but rather coming to understand the way we interpret the world (and by "we", I mean me, the beings who do science that makes sense to me, and probably most beings on earth whose methods of sensation resemble that of humans).
To answer the question of discovery or invention from this perspective, we can invent ways to do mathematics, but the relationships themselves are a discovery of the way we intuit anything we can sense.
It's intelligently designed.
"A Lisp programmer knows the value of everything, but the cost of nothing." - Alan Perlis
Of course the answer could lead to further locking up knowledge... You can't read my theorem until you pay the license type deal.
Shh.
The concept was invented.
What can be done with it is then discovered.
Paying taxes to buy civilization is like paying a hooker to buy love.
Is Mathematics Discovered Or Invented?
Neither. It is defined.
Integers were discovered. Beyond that, it's human invention.
I used to do work on mechanical theorem proving, and spent quite a bit of time using the Boyer-Moore theorem prover. When you try to mechanize the process, it's clearer what is discovered (and can be found by search algorithms) and what is made up. Boyer-Moore theory builds up mathematics from something close to the Peano axioms. But it's a purely constructive system. There are no quantifiers, only recursive functions. It's possible to start with a minimal set of definitions and build up number theory and set theory. The system is initialized with a few definitions, and, one at a time, theorems are fed in. Each theorem, once proved, can be used in other theorems. After a few hundred theorems, most of number theory is defined.
But you never get real numbers that way. Integer, yes. Fractions, yes. Floating point numbers, representation limits and all, yes. But no reals. Reals require additional axioms.
I'd say that one "invents" a set of axioms and "discovers" the inevitable logical consequences of those axioms. For example, one might invent a negation of Euclid's 5th postulate and discover non-Euclidean geometry. In the process, one might "invent" a proof which is a path that leads from axioms to theorems.
The point is that the axioms don't exist until we create them. But once we create a set of axioms, then the results are an inevitable (if arduous) journey of discovery which might require clever inventions to reach the destination of mathematical knowledge.
Two wrongs don't make a right, but three lefts do.
Geometry and number theory can be derived from a few axioms. These axioms are chosen to give geometries and/or numbers which are useful for describing nature, but you could also generate other geometries by using a different starting point. Since the starting axioms are ultimately arbitrary, everything constructed from them is just an invention. However, at some level, the proofs fall back on pure logic and set theory. Is logic invented? I don't know. There are forms of logic with different rules, but there's seems to be something fundamental about the basic logic of sets. So some of math might be called discovered?
Are songs discovered or written?
Isn't it very close to being the same thing. It seems to me that you could argue that anything invented is really just being discovered. Someone can invent carbon steel, but aren't they just discovering the formula that nature says will work? Even complex systems that are invented (machines, computers, etc) are really just taking simple discoveries and weaving them together to discover something new and more complicated.
I will shred my adversaries. Pull their eyes out just enough to turn them towards their mewing, mutilated faces. Illyria
Believe it or not, it has recently been discovered that dogs can count. I wouldn't be surprised if apes (other than us) or parrots could do this too.
So, regardless of the whole platonic debate, basic mathematics definitely exist independently of humans.
If mathematics is invented, then let's invent some right now. First, let's set the scene: Mathematicians ran into this annoying problem that you can't take the square root of a negative number, so they invented this number, i, that is defined as the square root of -1. Then, by using this i in your answer, any root can be expressed. Ok, now that the scene is set, I find it incredibly annoying that you cannot divide by zero. Therefore, I am hereby inventing a number, j, that is defined as one divided by zero. Henceforth, you can express any number divided by zero by using this j in your answer. Who knows, such a thing might actually be useful.
McCain/Palin '08. Now THAT's hope and change!
What's purple and commutes? An Abelian grape.
The late mathematician Paul Erds used to say, perhaps metaphorically, that the most elegant proof of every mathematical theorem was written in a great book in God's library. When he came up with a beautiful proof, he would say it was one from the book.
Feynman also felt like coming up with a proof was more discovery than invention. He said that the proof felt like it was already there all along, raising the question of where "there" is.
> If it's discovered, we can patent it. If it's invented we can copyright it.
No. If it is invented it can be patented. If it is created it can be copyrighted. If it is discovered it can be neither patented nor copyrighted.
Warning: this article may contain humor, sarcasm, parody, and perhaps even irony. Read at your own risk.
It all starts with 1+1=2, and that's neither a discovery nor an invention, it's an assumption. The rest is just semantics.
Congratulations, you've just invented the Projectively Extended Reals! Yes, it is certainly possible to get a consistent system with 'a point at infinity'. Trouble is, it isn't very useful. Why not? A lot of things that make the Reals useful come from the fact that they're a field. The projectively extended reals aren't a field, so you lose a lot of useful theorems. And there really isn't very much you can do with them that you can't do with the normal reals or that wouldn't be better done in a Riemann sphere anyway. The complex numbers as an extension to the reals, by contrast, are enormously useful, not only in Mathematics (complex numbers are a field) but also in Physics and Engineering.
What's purple and commutes? An Abelian grape.
The question itself, as you pointed out but in a different way, is a false dichotomy (is it this or that??). There are a number of explanations that might be found in a mix of the two camps, or somewhere else altogether. As such, the question is pretty much meaningless, really.
"Yes".
To be more specific, Mathematical rules are discovered, Mathematical techniques are invented; "Mathematics" consists of both.
It is coincidental that I was just reading about this in Paul Davies' book "The Mind of God". My opinion on the matter is fairly simple. Mathematics are invented. Period. The reason is simple... all of mathematics is an abstraction. There is no "real" thing called 1 or 2 or 3. In fact, the "integers" we use for counting things is only allowed because of the way we abstract the thing which we count. If we really defined whatever we were counting (say, coins for instance), then we could not count more than one of them.
Here's a thought problem for you.
You have the following in your hand:
A one-cent piece from 1978
A one-cent piece from 1986
A one-cent piece from 2004
I could have said you have 3 cents. But there is no such thing as 3 cents. 3 cents is an idea, an abstraction. It is not a concrete thing in the real world.
So, despite all that we appear to discover about the world through mathematics, we cannot really say that math is "out there" somewhere waiting for our discovery. Rather, mathematics is our projection onto the universe. It it because of the shortcomings of our abstractions and models that our science must be continuously revised.
For example, Newton did not discover anything about the universe. He made observations and rationalized (projected?) an abstract model which works very similarly to the observations. It's repeatable and consistent, so we call it a theory.
But then along comes Einstein. He makes some new observations, some new hypothesis, and voila, a new theory. Even if you argue that Einstein, or anyone else for that matter, has made such discoveries through mathematical observation, that doesn't discount the fact that the observation in that case is made upon the abstraction of the universe, not the universe itself.
In summary, mathematics is a simulation of the universe. It's an abstraction. One we humans invent. The fact that our model is observable, predictable, and so on in no way justifies the position that we are discovering some thing which pre-existed. Here's a final analogy - a computer model can be created to simulate the design of a car. We can study, observe, made predictions, corrections, and so on with the model. Yet, despite how relevant those observations, predictions, corrections, and so on are to the real car, they are still NOT the real car. The model is our interpretation, our abstraction of the car. We invent it. We make it. We project our ideas about the car into it. We do not "discover" it. The model does not exist without us.
mathematics is an abstract concept similar to language. In fact, mathematics should be considered just another language because of the symbols (numerals) used. We use various languages (English, Spanish, etc.) to describe our world in words. We use mathematics to describe the world around us but in a numerical manner. Obviously our world exists without mathematics but we can use various components of mathematics to describe the world and the universe. We have differing numbering systems as well. They all can be used to describe the world around us. An interesting question is if an alien race (which I don't believe in but this is hypothetical) created something similar to mathematics, would it be proper to say that they also invented something and if they did should it be considered mathematics? Or would it be more proper to say they discovered the same thing we did if their mathematics turned out to describe the universe the same way our mathematics does?
this nation, under God, shall have a new birth of freedom. -- Lincoln, Gettysburg Address
Everyone knows you have to discover mathematics before you can build catapults
those who see it as being invented are nihilists who cannot see that there is great order to the universe.
I may be the nihilist, but you're the egotist - the one who believes that the order he sees in the universe is really there, not simply the result of his choice to define "order" in such a way that some parts of the universe seem to fit.
To suggest that we invent math is pompous at best.
To suggest that we discover it - that our brains, somehow, are able to tune in to an entire dimension of mystical mathematical truths - is arrogant.
And I have to ask you the question that completely dispels mathematical platonism - where do the wrong ideas come from? If they come from a special universe for wrong ideas, then discerning the difference is the same thing as inventing them. If they come from human imagination, if humans can invent wrong ideas, then surely they can invent right ideas too, and again, it's all invention.
I never have frustrations, the reason is, to wit:
If at first I don't succeed, I quit!