Is Mathematics Discovered or invented?

[AKG]

Viewing mathematics in this way it is easy to see that a mind devoid of experience could make up such a system and do mathematics with it.

Easy in what sense? Surely, only the most theoretical, hypothetical sense. The ability to picture things and get an intuitive sense of what's going on would be entirely lost on this person. Perhaps someone could theoretically come up with the same definitions that we have, but most of the mathematical things we investigate can be traced back to something having inspiration from the physical world. We are probably inspired to investigate quantity because we perceive objects as distinct, i.e. we can see a number of distinct objects sitting on a table, we don't just see one mass of visual data. We live in space, so we have natural ideas about length, area, volume, etc. All the things we study about Rⁿ, what reason would someone with no experience have to think of such a thing?

 

[VazScep]

In the case of number theory, no (decidable) set of axioms uniquely specifies or characterizes number theory. That is, if number theory is created by some set of axioms, it is no set of axioms that any person has created.

However, Cincinnatus only said that mathematical objects can be defined syntactically, not that number theoretic truth could be so defined. So the second-order Peano axioms, which are categorical (they have the natural numbers as their unique model up to isomorphism), could be said to syntactically define the natural numbers, even though they fail to prove all second-order arithmetic truths about the natural numbers.

I think one thing we can say is that when people prove entirely new results, they aren't inventing anything. Fermat did not invent his little theorem, he discovered that it is true.

And that it was a sufficiently interesting to be considered a genuine mathematical theorem. There is an infinity of mathematical theorems that Fermat could have come up with, but most of them would have been trivial and uninteresting (the sum of the first three primes being 10 is a theorem, for instance). How does the special appeal to mathematicians of Fermat's Little Theorem (and generally, most theorems we prove) factor into this?

 

[matt grime]

A question. If "all" mathematics is "invented" by the human mind, then it seems a reasonable hypothesis open to falsification that the relative number of blind mathematicians (e.g., #/1000 indivduals selected randomly) should be the same as those with sight.

That isn't a remotely reasonable assumption. Indeed it implies that being unsighted would be a positive bonus in doing mathematics.

Even assuming that sight or lack of were independent of mathematical ability then at best the proportion of unsighted should be exactly as it is in the rest of the world.

However, I wouldn't even bother going as far as pondering that as the hypothesis that 'mathematics is an invention of the mind hence blindness should be no bar in doing mathematics' should be examined carefully. It assumes that universities and education in general does not in anyway discriminate against the blind. Nice as that thought is and as much as I wish it were true I seriously doubt that that is the case.

Mathematics is principally a printed medium too and (I would suggest that) no books and certainly no papers have had print runs in Braille.

Blindness is certainly less of a bar to appreciating or composing poetry if it is any at all, and it might lead to greater appreciation of poetry as an audible object; do you suppose that there are as many blind as sighted poets, as your hypothesis would seem to imply there ought to be?

 

[sameandnot]

so, if one has the experience of existence, primary to any investigation into the existences of "things", how can anything be said to be a piori?

In fact, according to formalists, mathematical objects can be defined purely syntactically. That is, it doesn't matter to mathematics what a line IS but only how it relates to points, planes, other lines and whatnot.

Viewing mathematics in this way it is easy to see that a mind devoid of experience could make up such a system and do mathematics with it."

but, where does syntax derive its existence from? at the very least, it comes from the experience of exisiting; one must have the experience of existing, in order to even create syntax, or know syntax. how can one know anything, without first appealing to the experience of their being?

things are known, because one has the experience of being able to know. I have the ability to know, because i have the experience of existing. if there was no experience of being existent, how could there even be the question of knowing?... let alone the ability to know?

the concept of a priori knowledge, may be short-sighted. nothing can be known without appealng to the experience of being able to know, initially.

I think the question, "Mathematics, invented or discovered?" is just a bad question. All of mathematics? Including all mathematical methods, theorems, facts, objects, etc.? Can some parts not be both invented and discovered? Can some things not have parts invented and parts dicsovered?

yes. i said this in a post at 9:07 on thursday the 15th.

Originally Posted by Cincinnatus
Viewing mathematics in this way it is easy to see that a mind devoid of experience could make up such a system and do mathematics with it.

the idea of having a mind, and concurrently, that that mind is devoid of experience, is a contradictory statement. to be in a state of non-experiencing... there must be no being/existence.
at the very least, there is the experience of reasoning. but this example is lost, as well... it only serves to elucidate the idea of experience; to extend it beyond the perceptions of the sense-organs, and to show that experience is founded in the subject's very existing, and not in a perception of something "exterior". sense-perceptions merely combine with the basic experience of being existent, and thereby become interwoven in the essential experience of being, accentuating and coloring the basic experience... it appears. because we are, we can not claim to be able to know things without referring to any experience at all. this is self-contradictory.

Easy in what sense? Surely, only the most theoretical, hypothetical sense. The ability to picture things and get an intuitive sense of what's going on would be entirely lost on this person.

who would be such a devoid being? a nothing? a non-existing? are we asking an inert (dead) body, to tell us what's up? i don't know, but i know that we need to re-think the concept of "a priori" knowledge.

 

[AKG]

However, Cincinnatus only said that mathematical objects can be defined syntactically, not that number theoretic truth could be so defined. So the second-order Peano axioms, which are categorical (they have the natural numbers as their unique model up to isomorphism), could be said to syntactically define the natural numbers, even though they fail to prove all second-order arithmetic truths about the natural numbers.

Okay, I see.

And that it was a sufficiently interesting to be considered a genuine mathematical theorem. There is an infinity of mathematical theorems that Fermat could have come up with, but most of them would have been trivial and uninteresting (the sum of the first three primes being 10 is a theorem, for instance). How does the special appeal to mathematicians of Fermat's Little Theorem (and generally, most theorems we prove) factor into this?

I don't understand the relevance of this question. Fermat did not invent the fact that a^p\equiv a\ \left({{\rm mod\ } {p}}\right), it was discovered to be a consequence of other things.

 

[VazScep]

I don't understand the relevance of this question. Fermat did not invent the fact that a^p\equiv a\ \left({{\rm mod\ } {p}}\right), it was discovered to be a consequence of other things.

I'm not suggesting Fermat invented his theorem. But why is the theorem that the first three primes sum to ten not listed as one of his theorems, or as the theorem of any other mathematician? Very few of the infinity of possible theorems in number theory are ever mentioned. What makes us single out Fermat's Little Theorem as special? I believe this sort of question needs to be considered when determining how mathematics proceeds.

Did Shakespeare just discover a particular sequence of English sentences when he wrote Macbeth?

 

[matt grime]

I'm not suggesting Fermat invented his theorem. But why is the theorem that the first three primes sum to ten not listed as one of his theorems, or as the theorem of any other mathematician?

surely you jest?

Very few of the infinity of possible theorems in number theory are ever mentioned. What makes us single out Fermat's Little Theorem as special?

because we are not so stupid as to be unable to appreciate what is genuinely hard and original.

I believe this sort of question needs to be considered when determining how mathematics proceeds.

not really, or rather not unless you know nothing about mathematics.

 

[AKG]

I'm not suggesting Fermat invented his theorem. But why is the theorem that the first three primes sum to ten not listed as one of his theorems, or as the theorem of any other mathematician? Very few of the infinity of possible theorems in number theory are ever mentioned. What makes us single out Fermat's Little Theorem as special? I believe this sort of question needs to be considered when determining how mathematics proceeds.

Did Shakespeare just discover a particular sequence of English sentences when he wrote Macbeth?

Is your last sentence supposed to be an analogy? Fermat's Little Theorem can be expressed in a sentence, but it is also a proposition, and it's truth was discovered. Nothing analogous can be said of "When shall we three meet again/In thunder, lightning, or in rain?" Shakespeare made up a story. Fermat did not make up numbers, nor did he make up the fact that is his theorem. Fermat discovered a property of numbers that is a logical consequence of more basic mathematical definitions and axioms that he did not invent. Shakespeare made up properties and relations and situations for characters which he did invent.

Anyways, I don't believe the sort of question, "what makes Fermat's theorem special" needs to be considered when determining how mathematics proceeds. Could you tell me why? Also, is this supposed to have any relevance to this thread? Also, if you do believe that such a question is relevant, how would you answer it?

 

[Sir_Deenicus]

But the point was no one could find a geometry in which the parallel postulate failed and there was no natural model for hyperbolic geometry until after it was given some abstract ones, thus despite being the most naturally occurring geometry, it was purely invented before it was found in physical form. The invention of hyperbolic geometry was a purely theoretical exercise, founded from a desire to see if the parallel postulate was intrinsic to geometry.

I have been slow in keeping with this thread but Id like to point that the other view can be taken where one sees a physical basis to the hyperbolic geometry. Instead of seeing thinks as being straightforwadly derived and simply connected, it does to think instead of a set of links that lead into and out of one another. I feel.

What I mean for example is that although there was no directly physical reason to explore a hyperbolic geometry, there was a strong motivation to do so that can be traced to physical motivations. The greeks got much of their goemetry - a simple model of space- from the practical minded egyptians and made it more abstract, gave it an axiomatic basis and also *attempted* to place it on a consistent, rigorous basis.

Centuries later, after much uncomfortability with the 5th postulate and many attempts to derive it from the others, Boylai said whatever, what if it was different? What if the sum of angles in a triangle was different in other spaces, or if the lines were such that any 2 points on both were not necessarily equally distant from each other as any other randomly selected 2 points... There were only two logical possibilities and he had the concept of hyperbolas, whose study had begun from a physical basis to aid him.

So although Janos Boylai did not directly derive physically, he was motivated by problems with physically derived concepts and made use of other physically motivated concepts as well to make something that seemingly had no "physical basis". It was an exploration of a what if.

 

[Sir_Deenicus]

Very few of the infinity of possible theorems in number theory are ever mentioned. What makes us single out Fermat's Little Theorem as special?

surely you jest?

I think he means that perhaps if one realizes that the development of mathematics is subjective and *at least* motived for personal reasons as one tries to bring to logical fruition a set of ideas that will aid the basis, understanding and manipulation of some other mathematical object(s) and or curiousity, then the use of a concept of discovery becomes suspect.

Actually, a philisophical and psychological inquiry into the type of mathematics that has been done by *our* society and if the mathematics of another culture with a different set of mental schematas would differ and how much by would be useful. Such a thing would at least be profound to those who are interested in mathematics and the mind and maybe even, those who teach.

because we are not so stupid as to be unable to appreciate what is genuinely hard and original.

I am willing to wager that Fermat's little theorem was not raised so prominently into foreground as it is now until little words like RSA, encryption and digital security started cropping up.

 

[Sir_Deenicus]

I think what the problem is, is that the concepts of invention and discovery map Very Horribly to the mathematical domain. Careful reading of the posts shows that for some people their definition of the concept changes even mid post and it is difficult to see what is being said.

If you think that mathematics is discovered then it is necessary that you believe there exist some world, some space, some universe of mathematical objects which the mind can journey to and discover and unturn. Else, what is a discovery that is completely internalized to the self?

Such is not a discovery at all, it is an invention. But then an invention is something that is created using basic known concepts and experimenting, and these known concepts are discovered somehow since something does not come from nothing. If you think math concepts existing distinctly in some separate world too far fetched then they must necessarily lead back to a basic set of observations related to a processing of our physical experience.

 

[AKG]

I think he means that perhaps if one realizes that the development of mathematics is subjective and *at least* motived for personal reasons as one tries to bring to logical fruition a set of ideas that will aid the basis, understanding and manipulation of some other mathematical object(s) and or curiousity, then the use of a concept of discovery becomes suspect.

Huh? This doesn't seem to follow whatsoever. We don't talk about trivial results as being "discovered" because we normally don't think of them as being found since they were always obvious. If you really wanted, I suppose you could say that such trivial facts are discovered, if you also want to say that you discover blades of grass when you go to a park. We could talk about useless but non-trivial results as being discovered, indeed, they are just as "discovered" as useful and difficult results, but we simply don't talk about useless results, so we rarely have any reason to talk about them being discovered. I don't see how any of this makes the notion of discovery the slightest bit suspect.

 

[Sir_Deenicus]

Huh? This doesn't seem to follow whatsoever. We don't talk about trivial results as being "discovered" because we normally don't think of them as being found since they were always obvious. If you really wanted, I suppose you could say that such trivial facts are discovered, if you also want to say that you discover blades of grass when you go to a park. We could talk about useless but non-trivial results as being discovered, indeed, they are just as "discovered" as useful and difficult results, but we simply don't talk about useless results, so we rarely have any reason to talk about them being discovered. I don't see how any of this makes the notion of discovery the slightest bit suspect.

Please define for me the word discovery. And do so also for invent. Give examples for both. So much as it is possible, which of the two words has a set of examples that closest matches the actual doing of mathematics?

I am not being facetious here, I feel this is something that is necessary to clear up any communication barriers that might exist and facilitate easier communication.

 

[AKG]

If you think that mathematics is discovered then it is necessary that you believe there exist some world, some space, some universe of mathematical objects which the mind can journey to and discover and unturn. Else, what is a discovery that is completely internalized to the self?

Nonsense. One might invent a formal language with a deductive system and some set of axioms. A priori, this person will not know all the consequences of those axioms, nor does he invent the fact that some sentence is a consequence of these axioms. He discovers that certain sentences are consequences of those axioms. Just because he's created this logical system doesn't mean that he knows that the sentence "&&^^&&" will be a consequence of this system. He discovers that this thing he has created has "&&^^&&" as a consequence.

Such is not a discovery at all, it is an invention.

No, one may invent a system, where there are consequences of the system that are specifically discovered and not invented.

But then an invention is something that is created using basic known concepts and experimenting, and these known concepts are discovered somehow since something does not come from nothing.

What? Shakespeare didn't know that Hamlet was Danish. He invented Hamlet, and decided that he would be Danish. The nationality of Hamlet was not a known concept Shakespeare used to create the play. If you want to speak of mathematics as being invented, then you certainly will not speak of them being invented from known concepts, and certainly not from experimentation. Especially if you're a formalist, mathematics is just based on a logical language with certain rules for manipulating strings of symbols. The rules for manipulating these strings are not "known," that doesn't even make sense. The language is invented, made up, so how can the rules of the language be known? They would also be made up. Now, the syntax and rules of the language are likely to be inspired from mathematical intutions and concepts, which may in turn be partially inspired by things that happen in the real world, but you should not read into this too strong a relationship between real world facts and the rules for manipulating strings of "mathematical" symbols.

 

[Sir_Deenicus]

Nonsense. One might invent a formal language with a deductive system and some set of axioms. A priori, this person will not know all the consequences of those axioms, nor does he invent the fact that some sentence is a consequence of these axioms. He discovers that certain sentences are consequences of those axioms. Just because he's created this logical system doesn't mean that he knows that the sentence "&&^^&&" will be a consequence of this system. He discovers that this thing he has created has "&&^^&&" as a consequence.No, one may invent a system, where there are consequences of the system that are specifically discovered and not invented.

So one invents a machine and then discovers how it works? Why are we able to construct and not just find from axioms then? I will go further. In formal systems, everything is theoretically already known, it is only a matter of time till the computer generates all the theorems. The system is laid out (defined) and allows us to explore certain areas and landscapes that are not necessarily inherent (that is, sole province) to the system with our constructions from within.

What? Shakespeare didn't know that Hamlet was Danish. He invented Hamlet, and decided that he would be Danish. The nationality of Hamlet was not a known concept Shakespeare used to create the play.

You do not see what I mean. Hamlet was invented with basic properties of what Shakespeare felt a Danish should be.

If you want to speak of mathematics as being invented, then you certainly will not speak of them being invented from known concepts, and certainly not from experimentation. Especially if you're a formalist, mathematics is just based on a logical language with certain rules for manipulating strings of symbols. The rules for manipulating these strings are not "known," that doesn't even make sense. The language is invented, made up, so how can the rules of the language be known? They would also be made up. Now, the syntax and rules of the language are likely to be inspired from mathematical intutions and concepts, which may in turn be partially inspired by things that happen in the real world, but you should not read into this too strong a relationship between real world facts and the rules for manipulating strings of "mathematical" symbols.

I did not say mathematics was invented. I feel it is discvented. The formalist view is as extreme as the platonist.

Mathematics is not done perfectly the first time. Often times, a general conception of a mathematical idea is had and it is a process of trial and error (equations discarded and frameworks reassembled), hard work and tears to get the result that is wished. Not so different from expirmentation to invention.

 

[AKG]

So one invents a machine and then discovers how it works?

No, what's your point? A person who invents a machine knows how it works, that's how he's able to invent. A person who comes up with axioms and definitions doesn't know that Fermat's theorem will follow.

Why are we able to construct and not just find from axioms then?

What does this have to do with anything? Whether or not we construct or find axioms is irrelevant, the fact is that consequences of those axioms are discovered.

I will go further. In formal systems, everything is theoretically already known,

No, everything is, in a very real sense, not already known. There are consequences of the axioms that were unknown to everyone, and then people like Fermat went and discovered some. This doesn't mean that the axioms themselves were discovered, invented, in fact it doesn't matter how the axioms came about. It remains quite clear that the consequences were discovered.

it is only a matter of time till the computer generates all the theorems.

It may only be a matter of time til a given theorem is generated, but all theorems will probably never be generated in finite time. But this is all entirely irrelevant. Even if a computer could generate all the theorems in a finite time, would this change anything?

You do not see what I mean. Hamlet was invented with basic properties of what Shakespeare felt a Danish should be.

Each sentence seems to be less relevant than the one it follows. First of all, I don't think Shakespeare did any such thing. I don't think he decides what a Dane should be. Also, the point is that he decided that Hamlet would be Danish. It's not that Hamlet might be Indian, and Shakespeare just got it wrong. It was entirely up to Shakespeare to decide Hamlet's nationality as he pleased. The fact of Fermat's theorem isn't so because it pleased Fermat. Fermat wasn't free to decide that his theorem was to be the case, whereas Shakespeare was entirely free to decide that Hamlet would be a Dane. Fermat discovered his theorem to be the consequence of other axioms and definitions. Shakespeare did not discover the nationality of Hamlet by deriving it from other facts, he made it up entirely from his imagination.

 

[matt grime]

I am willing to wager that Fermat's little theorem was not raised so prominently into foreground as it is now until little words like RSA, encryption and digital security started cropping up.

And I'm willing to wager that every maths student in any decent course has been taught fermat's little theorem which is after all just a special case of lagrange's theorem for many years predating RSA, though I'm not sure what that has to do with anything. It hasn't suddenly become any more special because of RSA, merely more prominent in the minds of non-mathematicians, for mathematicians it always was a tool at their disposal and one they use a lot.

And in between the 200 years or so of Fermat and RSA, if it weren't an important result why wasn't it forgotten entirely?

Certainly there are mathematical discoveries (and that isn't an comment on invention v discovery, just common usage) who's import hasn't been appreciated until much later for a variety of reasons, but it was still accepted as good hard publishable mathematics at the time, just then ignored, or left alone. In fact that is one of the reasons why maths should be free to do what ever it wishes and examine seemingly useless things in the opinions of the lay person since we don't know what may happen later when someone cleverer looks at what you did.

However in your reply you remove the key part of the quote about why it is the result 2+3+5 =10 hasn't been ascribed. It is the comparison to that that I was highlighting was silly.

 

[VazScep]

Anyways, I don't believe the sort of question, "what makes Fermat's theorem special" needs to be considered when determining how mathematics proceeds. Could you tell me why?

Because the way we react to certain results and the decision as to which mathematical problems we wish to pursue is going to affect what mathematics gets done. If you program a computer to churn out the theorems of Peano Arithemetic one by one, it is certainly not behaving anything like a mathematician, and at any point, if you ask it for some interesting theorems, even if it determines `interesting' by proof length, it will still be unlikely to give you anything you would consider worthwhile. Human tastes surely feature somewhere in this.

Also, is this supposed to have any relevance to this thread?

There is a danger in saying that all the theorems of number theory are out there among the consequences of the Peano Axioms waiting to be discovered, because we could also that every possible play is out waiting to be discovered among the sequences of English sentences. We are only going to pick out certain consequences according to what appeals to us.

 

[VazScep]

However in your reply you remove the key part of the quote about why it is the result 2+3+5 =10 hasn't been ascribed. It is the comparison to that that I was highlighting was silly.

Both FLT and 2+3+5=10 are theorems of PA. Mathematicians do not simply discover the theorems of PA. They select interesting results from them. In this case, we would discard 2+3+5=10 because it is extremely trivial. In a society which associates spiritual connotations to these four numbers, maybe the result would actually be quite profound. What are the other criteria by which we value theorems? What is the criteria that makes me and so many others fascinated by Godel's First Incompleteness Theorem? How much do individual and societal tastes impact on this question? If at all, then surely they are going to influence the directions of mathematical study.

 

[Sir_Deenicus]

AKG, It is clear that you have already made your mind and are not willing to have a discussion. It is no longer clear where you stand but I will remphasize my stance in case it has been lost. Mathematics is neither a discovery nor an invention. Neither is it both. Both terms fail horribly to categorize it although both can be shown to loosely equate to some activities and undertaken within. This has been my statement entirely.

No, what's your point? A person who invents a machine knows how it works, that's how he's able to invent. A person who comes up with axioms and definitions doesn't know that Fermat's theorem will follow.

Exactly my point with invention. Inventing a system and laying axioms are not very equivalent.

What does this have to do with anything? Whether or not we construct or find axioms is irrelevant, the fact is that consequences of those axioms are discovered.

Again, my point, we do not construct axioms, however we can have constructs which lead from them. We do not say we Find the Real line but instead, we construct it.

No, everything is, in a very real sense, not already known. There are consequences of the axioms that were unknown to everyone, and then people like Fermat went and discovered some. This doesn't mean that the axioms themselves were discovered, invented, in fact it doesn't matter how the axioms came about.

I am unsure where this fits and not clear why it is mentioned. Fermat was doing personally motivated mathematics and most certainly not working from an infomal axiomatic system, to speak of a formal one. He did not go out and "discover" consequences from axioms but instead experimented with mathematical concepts to get what it is he wanted.

It remains quite clear that the consequences were discovered.It may only be a matter of time til a given theorem is generated, but all theorems will probably never be generated in finite time. But this is all entirely irrelevant. Even if a computer could generate all the theorems in a finite time, would this change anything?

Distinction of finite or infinite time is irrelevant. Time does nothing but confuse the matter. Once the axioms of a formal systems are known then all the consquences that follow are known as well. When I hit the print on my computer, I have printed my paper. Discovery figures little into it. Here again we see a clash of concepts that do not transfer well.Given a powerful enough computer it is not too far fetched that all that follows from a set of axioms can be generated in a very small time. Or even, at once.

Each sentence seems to be less relevant than the one it follows. First of all, I don't think Shakespeare did any such thing. I don't think he decides what a Dane should be. Also, the point is that he decided that Hamlet would be Danish. It's not that Hamlet might be Indian, and Shakespeare just got it wrong. It was entirely up to Shakespeare to decide Hamlet's nationality as he pleased.

Ofcourse not, he had a character in mind and drew from his experiences to assign it basic properties that he felt it should have based on his needs. I no longer see where the original point of contention lies although i suspect it has to do with our definitons of the word invent.

The fact of Fermat's theorem isn't so because it pleased Fermat. Fermat wasn't free to decide that his theorem was to be the case, whereas Shakespeare was entirely free to decide that Hamlet would be a Dane. Fermat discovered his theorem to be the consequence of other axioms and definitions.

Again, Fermat did not work from axioms. I do not see why you state your opions as fact. There are those who believe mathematics to have a creative aspect, and thus requiring imagination and creativity in one's creations. Certainly it can be done mechanically but that is but a small aspect of the whole endeavour. I believe it has already been concluded that no one computer can ever replace mathematicians.

If we had never seen an elephant before but wondered what a large animal with tusks and trunks looked like, it is true that we would not have invented the animal but it certainly cannot be said that we discovered it (that our picture must necessarily be grossly incomplete is but one of the problems). It would have been the creation of our mind, something that required skill, knowledge and imagination to bring about. And one which results in something real because it was based on real knowledge, allowing us to "seemingly discover" a new "physically baseless, purely theoretical" one. Again I do not like the two terms invent and discover for use in categorizing mathematical undertakings..

Shakespeare did not discover the nationality of Hamlet by deriving it from other facts, he made it up entirely from his imagination

Not entirely :) He had some stuff from which to draw from.

 

[matt grime]

Both FLT and 2+3+5=10 are theorems of PA. Mathematicians do not simply discover the theorems of PA. They select interesting results from them. In this case, we would discard 2+3+5=10 because it is extremely trivial. In a society which associates spiritual connotations to these four numbers, maybe the result would actually be quite profound.

But the profundity would have nothing to do with mathematics, would it?

What are the other criteria by which we value theorems?

usefulness/applicability to other results, the fact that the problem may have been around for a long time, novelty of the proof, ingenuity of the proof, the unlikeliness of the theorem, its counter intuitiveness, potential for generalization...

What is the criteria that makes me and so many others fascinated by Godel's First Incompleteness Theorem?

who knows, it doesn't really bother many mathematicians. oddly these esoteric aspects of logic and set theory have practically no direct impact on mathematics, something that seems to bother the interested lay person. certainly almost no number theorist ever actually does anything with peano's axioms or even cares about them. to hopefully not misquote too badly from tim gowers 'it might be useful to have something like peano to fall back on but I'm perfectly happy to talk about the natural numbers without needing recourse to them since everyone knows what they are'

How much do individual and societal tastes impact on this question?

Practically, not one jot since most of society hasn't got a clue about what mathematics is, does, or says, as many of the threads on this site can attest to.

 

[Sir_Deenicus]

And I'm willing to wager that every maths student in any decent course has been taught fermat's little theorem which is after all just a special case of lagrange's theorem for many years predating RSA, though I'm not sure what that has to do with anything. It hasn't suddenly become any more special because of RSA, merely more prominent in the minds of non-mathematicians, for mathematicians it always was a tool at their disposal and one they use a lot.

Yes I agree. But I still maintain that it has been brought even more into the limelight, even in the mathematical community, because of practical needs. The theorem would have been of most use to Number theorists, and I am not so sure that there were many of them or at least the subject was not the most pursued in the last century and half again or more. The whole rigourization and then formalization programs of mathematics rather than problems in number theory was the main focus back then. But yes, it has always been important.

 

[matt grime]

I believe it has already been concluded that no one computer can ever replace mathematicians.

reference please.

 

[matt grime]

The theorem would have been of most use to Number theorists, and I am not so sure that there were many of them or at least the subject was not the most pursued in the last century and half again or more.

I would suggest you go and look at the likes of Hardy, Ramunajan, Erdos, Davenport, LeVeque, Littlewood, Riemann...

Need we cite the Riemann Hypothesis? The Birch Swinnerton Dyer conjecture? There's a couple of million for you if you solve them.

I really don't think you know what you're talking about on this one, sorry.

 

[Sir_Deenicus]

But the profundity would have nothing to do with mathematics, would it?

But it would, because the mathematicians doing it will be influenced in what path they choose to explore, which may theoretically lead to a different picture of mathematics for them. I believe there is a society in Africa that does arithmetic with numbers whose manipulation is based on luck, evil and blessings that actually works for multiplication, division, subtraction etc!

usefulness/applicability to other results, the fact that the problem may have been around for a long time, novelty of the proof, ingenuity of the proof, the unlikeliness of the theorem, its counter intuitiveness, potential for generalization...

But these things are of no importance to a computer. They can only be assigned such artificially. Perhaps how we decide usefulenes, novelty etc. might be a function of our underlying psyche and societal influences?

who knows, it doesn't really bother many mathematicians. oddly these esoteric aspects of logic and set theory have practically no direct impact on mathematics, something that seems to bother the interested lay person. certainly almost no number theorist ever actually does anything with peano's axioms or even cares about them. to hopefully not misquote too badly from tim gowers 'it might be useful to have something like peano to fall back on but I'm perfectly happy to talk about the natural numbers without needing recourse to them since everyone knows what they are'

I agree and of this I am glad :D. But I will not be suprised if it figure importantly somewhere...A direction of exploration that has so far not been important to the mathematical society

Practically, not one jot since most of society hasn't got a clue about what mathematics is, does, or says, as many of the threads on this site can attest to.

But mathematicians are members of society and are necessarily influenced by its form. This arguably affects what and how they choose to do their work.

 

[Sir_Deenicus]

reference please.

With the keyword being any one, I believe this follows trivially from the incompleteness theorem.

I would suggest you go and look at the likes of Hardy, Ramunajan, Erdos, Davenport, LeVeque, Littlewood, Riemann...
Need we cite the Riemann Hypothesis? The Birch Swinnerton Dyer conjecture? There's a couple of million for you if you solve them.
I really don't think you know what you're talking about on this one, sorry.

You're right, I dont. So I will leave off on this. All those save Ramanujan were arguably not soley number thoerists. The main undertaking of mathematics was not number theory in the 19th and 20th century. And because there existed no practical need for much of it then, it would have figured less than it does now. It would have been more a sideline and less as uniformly known as it is now. Which is arguably still not very... It would have been more a sideline and curiously line of exploration. You overestimate mathematics education.

EDIT - I do not think there exists any longer a main undertaking in mathematics. It has diversified and developed too much. P.S. Number theory is a most amazing and interesting subject.

 

[matt grime]

But it would, because the mathematicians doing it will be influenced in what path they choose to explore, which may theoretically lead to a different picture of mathematics for them.

no it wouldn't since the profundity we give it is not intrinsic to the objects that are being discussed. 2+3+5=10 is equally true whether or not I think them to be special numbers.

But these things are of no importance to a computer.

some of them perhaps, and that is why a computer would be a good thing since it wouldn't leap to conclusions and not dismiss a conjecture as silly because it *feels* unlikely

They can only be assigned such artificially.

not at all, usefulness can be cross referenced: how does a mathematician know something is useful somewhere else? because he recognizes that it can used somewhere else, there is nothing to suppose a computer couldn't do that as well.

[/quote]Perhaps how we decide usefulenes, novelty etc. might be a function of our underlying psyche and societal influences?[/quote]

no it is a function of our knowledge of what is already known.

But mathematicians are members of society and are necessarily influenced by its form. This arguably affects what and how they choose to do their work.

as ever there is an answer of yes and no. mathematicians are paid by people to do things that the others feel are worthwhile, so there is the 'yes' part, but the decision as to what is worthwhile is usually left to the judgement of mathematicians (that is the point of peer reviewed research) and hence society in general has no influence on us, as it shouldn't since society is in general completely ignorant of mathematics.

 

[matt grime]

With the keyword being any one, I believe this follows trivially from the incompleteness theorem.

how on Earth does that follow?

You're right, I dont. So I will leave off on this. All those save Ramanujan were arguably not soley number thoerists. The main undertaking of mathematics was not number theory in the 19th and 20th century. And because there existed no practical need for much of it then, it would have figured less than it does now. It would have been more a sideline and less as universally known as it is now.

so your premise is that now there are suddenly 'thousands' of mathematicians doing number theory and nothing buit number theory and there weren't before? that is most unlikely, though unless you give an exact prescription of what number theory is, and is not, it is untestable. who for instance would you now cite as someone who solely deals in number theory?

and i am speaking soley of research and not education, having seen you edit. if you want to back up your theory then get the lecture schedules from say the maths tripos from 1920 and compare it to now. i would guess there was more number theory on the course then than there is now. and we must of course ignore say modular forms as the are nor strictly number theoretic objects alone, and elliptic curves i guess have to be excluded from number theory since they are algebraic varieties and therefore part of geometry too...

 

[VazScep]

But the profundity would have nothing to do with mathematics, would it?

It would make the people feel it is an important mathematical result. For a more concrete example, according to Eratosthenes, the problem of doubling the cube arose because an oracle had said that `to get rid of a plague they must construct an altar double of the existing one'.

usefulness/applicability to other results, the fact that the problem may have been around for a long time, novelty of the proof, ingenuity of the proof, the unlikeliness of the theorem, its counter intuitiveness, potential for generalization...

Right. There is a plethora of reasons, many of which are not strictly mathematical. Counter-intuitiveness in particular strikes me as a subjective assessment. If there are indeed many such subjective or inter-subjective criteria which provoke mathematical interest, then they need to be considered in determining how mathematics develops.

who knows, it doesn't really bother many mathematicians. oddly these esoteric aspects of logic and set theory have practically no direct impact on mathematics, something that seems to bother the interested lay person. certainly almost no number theorist ever actually does anything with peano's axioms or even cares about them. o hopefully not misquote too badly from tim gowers 'it might be useful to have something like peano to fall back on but I'm perfectly happy to talk about the natural numbers without needing recourse to them since everyone knows what they are'

I never suggested that number theorists actually care about the Peano Axioms. Frankly, I do not feel that the Incompleteness Theorems have any impact on number theory. They are interesting theorems of mathematical logic. But my feelings about the theorem are quite personal and not timeless. There doesn't seem to be any reason why, in a few centuries time, the Incompleteness Theorems are not considered fairly pointless results in a pointless and esoteric subject. Part of their importance, for instance, derives from the fact that they impacted the ambitions of logical positivism in the early 20th century. This certainly has nothing to do with mathematics.

Practically, not one jot since most of society hasn't got a clue about what mathematics is, does, or says, as many of the threads on this site can attest to.

I was really thinking of the subset of society that is the mathematicians.

 

[matt grime]

It would make the people feel it is an important mathematical result.

but not for any intrinsically mathematical reasons.

I was really thinking of the subset of society that is the mathematicians.

so the question was how much do the opinions ofmathematicians influence the opinions of mathematicians?