The Question : is mathematics discovered or invented?


by oldman
Tags: discovered, invented, mathematics
oldman
oldman is offline
#1
Feb13-08, 07:09 AM
P: 622
About a year and a half ago, after reading Penrose's book "The Road to Reality" I started a thread The Platonic World. Real or a human construct? in which I tapped into a rich vein of opinion concerning the nature of mathematics. At the time I hadn't appreciated how strongly some mathematicians feel about this, so I trod on some toes, and also got diverted into posting about string theory. I've recently been enlightened by a new article that may be of interest in this forum. It's perhaps better to start a new thread about it than to revive the old one.

The new article is Mathematical Platonism and its Opposites , by Barry Mazur. He holds a name chair at Harvard and the article is in my opinion worth reading, perhaps by philosophers especially. He discusses both Platonic and Anti-Platonic views about this question, which he says concern most dedicated mathematicians. Do folk in this forum have any further comments on what Mazur calls "The Question" that they might wish to express ?
Phys.Org News Partner Science news on Phys.org
SensaBubble: It's a bubble, but not as we know it (w/ video)
The hemihelix: Scientists discover a new shape using rubber bands (w/ video)
Microbes provide insights into evolution of human language
Drachir
Drachir is offline
#2
Feb13-08, 08:00 AM
P: 40
To invent means to originate as a product of one's own ingenuity, experimentaion, or contrivance. Mathematics and its subjects are abstract ideas. Abstractions must be ingeniously created using mental processes includiing negation. analogizing, and word creation.

To discover means to gain sight or knowledge of (something previously unseen or unknown). When an abstraction is created, its creator gains knowledge of something previously unknown.

Therefore, mathematics is both invented and discovered.
Q_Goest
Q_Goest is offline
#3
Feb13-08, 08:06 AM
Sci Advisor
HW Helper
PF Gold
Q_Goest's Avatar
P: 2,878
Hi oldman. I read the part in Penrose's book you're refering to and agree it's a "rich vein of opinion concerning the nature of mathematics". I enjoy Penrose.

Your link to the paper doesn't work. The link somehow doubled up on the http:// part... here's the link:
http://www.math.harvard.edu/~mazur/papers/plato4.pdf

I read it through and have a few thoughts. I'll have to come back to this. Just wanted to fix the link. You might want to edit the OP and fix the link. Try "Preview Post" and verify it works prior to "Submit Reply".

Moridin
Moridin is offline
#4
Feb13-08, 08:16 AM
P: 858

The Question : is mathematics discovered or invented?


Mathematics is essentially a language, and as language, it is both discovered and invented.
HallsofIvy
HallsofIvy is offline
#5
Feb13-08, 09:49 AM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 38,900
I hate to sound repetitive but- mathematics is both invented and discovered. It is invented when we create the axioms for a new mathematical system, discovered when we determine what theorems are true in that system.

It's hard to get a good argument going when everyone agrees!
oldman
oldman is offline
#6
Feb13-08, 10:04 PM
P: 622
Quote Quote by Q_Goest View Post
Just wanted to fix the link. You might want to edit the OP and fix the link.......
Thanks for this help. I've replaced the link, and it seems to work now. Let me know if there's still a problem.
oldman
oldman is offline
#7
Feb13-08, 10:27 PM
P: 622
Quote Quote by HallsofIvy View Post
I hate to sound repetitive but- mathematics is both invented and discovered. It is invented when we create the axioms for a new mathematical system, discovered when we determine what theorems are true in that system.

It's hard to get a good argument going when everyone agrees!
Well, not quite everyone. This statement ("mathematics is both invented and discovered") is sophistry, and poor sophistry at that. When axioms are created, the rest of the mathematical system doesn't spring into existence magically fully formed, like Eve from Adam's rib; it has to be deduced as an abstract logical structure, which is an invented extension of the invented axioms. You can't have your cake and eat it, as it were!

Yes, mathematics is indeed nothing more than a (very complex) language, Morodin, but languages evolve as invented constructs. They aren't discovered.
oldman
oldman is offline
#8
Feb14-08, 12:19 AM
P: 622
Quote Quote by Drachir View Post
To invent means to originate as a product of one's own ingenuity, experimentaion, or contrivance. Mathematics and its subjects are abstract ideas. Abstractions must be ingeniously created using mental processes includiing negation. analogizing, and word creation.

To discover means to gain sight or knowledge of (something previously unseen or unknown). When an abstraction is created, its creator gains knowledge of something previously unknown.

Therefore, mathematics is both invented and discovered.
Thanks for the reply, Drachir. Yes, but was mathematics "previously unknown" and "previously unseen", and therefore previously existing, waiting to be discovered. Or was it invented? I don't quite see how you drew your conclusion.

It may be helpful to start at the beginning, which for mathematics was simple arithmetic,
perhaps that of ancient folk like the Sumerians. Algebra came later from the same part of the world.

I, for one, tend to be smitten with too much awe by modern mathematical architecture, embellished with differentiable manifolds and fiber bundles, to think coherently about its structure and the axioms in its foundations. A question I find simpler but relevant is: Was arithmetic invented or discovered? Were the counting numbers discovered or invented? Or were these abstractions dormant entities in an abstract world waiting to be discovered once we had evolved from worms and worse?
octelcogopod
octelcogopod is offline
#9
Feb14-08, 12:31 AM
octelcogopod's Avatar
P: 506
Quote Quote by oldman View Post
A question I find simpler but relevant is: Was arithmetic invented or discovered? Were the counting numbers discovered or invented? Or were these abstractions dormant entities in an abstract world waiting to be discovered once we had evolved from worms and worse?
If there are two trees growing in solitude on a hill top, is there any way to conclude without consciousness that there are two trees there?
It is based upon perception, and then a brain processes the information into what makes sense to it. You could in some ways say that there are two trees independently of any mind, brain or perception, but that's treading on a fine line between objectivity and subjectivity.

I would rather just say that "the world is what it is" and then leave my brain to do the categorizing. Same with math then, as ivy said, we create something, and then see if it fits, of which is dependent on the actual reality of the situation, the math itself is an abstracted view on reality, it is just one of probably many ways of perceiving the world through a language.
JoeDawg
JoeDawg is offline
#10
Feb14-08, 01:08 PM
P: 1,330
Math is an invented symbol system... or language.

What is discovered, is whether mathematical representations agree with 'reality'.

When we find they do or do not agree, we build on that. We invent new ways to use the symbols and then... once again... compare it to reality..
Q_Goest
Q_Goest is offline
#11
Feb14-08, 09:41 PM
Sci Advisor
HW Helper
PF Gold
Q_Goest's Avatar
P: 2,878
oldman. Do you think Penrose would say "invented" or "discovered" and why?
oldman
oldman is offline
#12
Feb15-08, 12:06 AM
P: 622
Quote Quote by octelcogopod View Post
If there are two trees growing in solitude on a hill top, is there any way to conclude without consciousness that there are two trees there? .... Of course I agree that there can be no conclusion of any sort without conciousness, but I don't quite see what bearing this has on whether the counting numbers, say, were invented or discovered? ........ the math itself is an abstracted view on reality, it is just one of probably many ways of perceiving the world through a language. Agreed
Quote Quote by JoeDawg
(1) Math is an invented symbol system... or language
(2) What is discovered, is whether mathematical representations agree with 'reality'.
Yes, I agree with (1). I'm not so sure about (2). Does one "discover" that your fingers are five in number, having first invented the concept "five", or do you simply discover that this invented description helps you to talk about your fingers and be understood?

Quote Quote by Q_Goest
Do you think Penrose would say "invented" or "discovered" and why?
The Question that Barry Mazur wrote about is not trivial, and my experience so far is that most people hedge about answering it, because they are not sure of being correct. This includes Penrose, another mathematician of considerable distinction. As you will know (having read his book) Penrose suggested that there are three worlds to consider --- Platonic Mathematical, Mental and Physical. He argued that the links between them are mysterious. But I don't think he provided any hard evidence for their separate existence. I think that Penrose would opt for "discovered". But he doesn't explicitly plump for this choice, as far as I can see. Although he elaborates very persuasively on this theme, I am still sceptical of his thesis. His discussions set me thinking and reading; for example Susan Haack's "Defending Science". Now there's a philosopher with her feet on the ground.

I like the way Mazur phrased The Question; it's simple and direct, and has evoked some straightforward opinions here. Most ordinary folk (especially myself) find the high peaks (and sometimes the foothills) of mathematics a steep climb, often too steep. Mathematical experts, on the other hand, are so engaged in the technicalities of scrambling around among these peaks that they find it difficult to consider without prejudice the simple nature of mathematical elements. Even in Mazur's case his prejudice -- which is a delight in mathematics - seeps through. That's why I've questioned the nature of simple stuff like arithmetic and counting numbers rather than the fabric of the wonderful tapestry of modern mathematics.
octelcogopod
octelcogopod is offline
#13
Feb15-08, 12:19 AM
octelcogopod's Avatar
P: 506
oldman,

My point about consciousness can be understood by your question;

Does one "discover" that your fingers are five in number, having first invented the concept "five", or do you simply discover that this invented description helps you to talk about your fingers and be understood?
All I meant was that it's impossible to come to a conclusion about this without first acknowledging that you're making a conscious effort to do so.
That's why I said 'the world is what it is' because there exists a hand, with fingers on it, and the hand and the fingers are abstractions, arguing whether they exist separately or what quantity they come in is something a brain has to do.

Objectively the world will never be anything more than just 'what it is.'
I would also say that there is no real answer to this question, because you're asking us to make an objective claim regarding quantity which is not possible from a subjective point of view.. It would all in the end be something the brain decides.
CaptainQuasar
CaptainQuasar is offline
#14
Feb15-08, 12:47 AM
P: 705
Well, I'm inclined to try staking out the position that it's entirely discovered. We've got a language for it and names and symbols for things, but the same is true of biology and we didn't invent the species and subjects of study there. (At least, not until the science of genetic engineering showed up and started working on my army of flying monkeys.)

I think it's easiest to see in geometry. There are many spherical bodies in the universe. A plane cut through any of them exposes a circle and the ratio of the diameter of that circle to its circumference approaches π, whether or not there are humans there to see it.

I think that all of mathematics must be like this: “real” congruities in the universe itself that the faculty of reason allows us to perceive. We may only be perceiving a small, warped part of it: for example, numbers may not actually be as important as they appear to us to be, perhaps it is all better expressed and comprehended as geometric ratios rather than the abstract symbols that are easiest for our minds to handle. But mathematics is external to humans in its entirety, written out in the Book of the Cosmos, in no way a human creation.
JoeDawg
JoeDawg is offline
#15
Feb15-08, 01:19 AM
P: 1,330
Quote Quote by oldman View Post
Yes, I agree with (1). I'm not so sure about (2). Does one "discover" that your fingers are five in number, having first invented the concept "five", or do you simply discover that this invented description helps you to talk about your fingers and be understood?
Ask a very young child how many fingers they have. They learn number systems that were invented. Its fairly meaningless to them, until they can apply it to their fingers. A number system that doesn't describe reality is discarded. Its wrong to say 1+1=3, because that doesn't describe reality.

As children we learn early the 'object' model of our universe, because it is useful at the 'level' we exist, as opposed to say, the quantum, or cosmic levels. We learn that things seem distinct from each other and that some of those things are similar. We group those things and ascribe value to them. We invent, or learn what others have invented, a way of abstracting objects and referring to them with numbers.

This object model is really just a level of abstraction created by our limited senses.
oldman
oldman is offline
#16
Feb15-08, 02:19 AM
P: 622
Quote Quote by octelcogopod View Post
.... I said 'the world is what it is' .... the world will never be anything more than just 'what it is.' ......
there is no real answer to this question.....you're asking us to make an objective claim..... It would all in the end be something the brain decides.
Thanks, o'pod, I don't disagree with you: I agree that we have no option but to accept the world for "what it is". I would only add that I fear we do so with little prospect of fully understanding why we are presented with all this stuff, and what we ourselves are.

But I hope that in the meantime, as a practical matter, there is some prospect of categorising our everyday physical world as "real" and mathematics as "abstract" without worrying too much about subjectivity and objectivity, and then deciding whether the latter was discovered or invented by us. I'm asking only for a simply substantiated claim, not necessarily an objective one.
oldman
oldman is offline
#17
Feb15-08, 02:54 AM
P: 622
Quote Quote by CaptainQuasar View Post
Well, I'm inclined to try staking out the position that it's entirely discovered. We've got a language for it and names and symbols for things, but the same is true of biology and we didn't invent the species and subjects of study there. (At least, not until the science of genetic engineering showed up and started working on my army of flying monkeys.)
Belay this! Cap'n. Biology doesn't fit into the same box as mathematics.

In biology is described, with an invented language if need be, the details and workings of critters like your flying monkeys, which are part of the discovered physical world. Mathematics, on the other hand, is (I maintain) itself a language that is used to describe other discovered aspects of the physical world. Geometry treats spatial relationships between shapes and finds (as you describe) that pi is a number. By the way, its value depends on what kind of geometry you use. It ain't necessarily near 3.14159 unless the geometry of the discovered shape that humans (who must be there to invent the describing, measuring and arithmetic of division) decide is Euclidean.

....mathematics is external to humans in its entirety, written out in the Book of the Cosmos, in no way a human creation
This is a bold statement that you need to amplify; especially about the Book of the Cosmos. I'll buy it if you tell me where to do so!

P.S. Every morning I get gabbled at by my wild Vervets, who fortunately can't fly.
CaptainQuasar
CaptainQuasar is offline
#18
Feb15-08, 04:07 AM
P: 705
Quote Quote by oldman View Post
Geometry treats spatial relationships between shapes and finds (as you describe) that pi is a number. By the way, its value depends on what kind of geometry you use. It ain't necessarily near 3.14159 unless the geometry of the discovered shape that humans (who must be there to invent the describing, measuring and arithmetic of division) decide is Euclidean.
This actually kind of makes my point about geometric ratios being more fundamental than numbers.

The thing is that there's a consistent ratio between the equivalents of the diameter and circumference within the equivalent of a circle in any given geometry, circles which are represented in the world outside of humans. Whether that ratio is “really” π or not as represented in these symbols we call numbers. Whatever that ratio is, in whatever geometry system you might view it through, it's going to be equally related to the sine, cosine, and tangent function-equivalents of the equivalents of triangles, and thereby related to the equivalent of wave mechanics and the manifold phenomena we have seen to be governed by wave mechanics.

However anthropocentric mathematics is there's something “real” that is isomorphic to it and embedded in the universe.

(I'm familiar with spherical geometry and hyperbolic geometry and others but I didn't go and dig out my old textbooks and figure out whether what I've said above is true, so feel free to shred it to pieces if it isn't. )

Quote Quote by oldman View Post
This is a bold statement that you need to amplify; especially about the Book of the Cosmos. I'll buy it if you tell me where to do so!
Just a flowery metaphor for the underlying reality of the cosmos, borrowed from Omar Khayyám:
The Moving Finger writes; and, having writ,
Moves on: nor all your Piety nor Wit
Shall lure it back to cancel half a Line,
Nor all your Tears wash out a Word of it


Register to reply

Related Discussions
Who invented isopropyl alcohol? History & Humanities 16
Is mathematics discovered or created? General Discussion 7
Is Mathematics Discovered or invented? General Discussion 110
Have we discovered or invented maths? General Discussion 65
Mathematics - Invented or Discovered General Discussion 66