What is the most difficult text on mathematics?

[martinbn]

Here's an example of how mathematics seems to be physics. For example, if mathematics claims that 7+1 = 8, that is physics, because it is a prediction about a physical action: if I google 7+1, then I will get 8.

Can you do that with the proof of the Riemann hypothesis?

 

[atyy]

Can you do that with the proof of the Riemann hypothesis?

No. But I can argue it in full generality. Mathematics is ZFC. To define ZFC, we need the metalanguage. The metalanguage is essentially English. So all of mathematics is just English.

 

[micromass]

Can you do that with the proof of the Riemann hypothesis?

http://arxiv.org/abs/1101.3116

 

[martinbn]

No. But I can argue it in full generality. Mathematics is ZFC. To define ZFC, we need the metalanguage. The metalanguage is essentially English. So all of mathematics is just English.

You can make even simpler by starting with "mathematics is the multiplication table up to ten" instead of ZFC.

 

[atyy]

http://arxiv.org/abs/1101.3116

Ha, ha, yes most physicists secretly hope that the Riemann hypothesis is just QM (eigenvalues of an operator http://arxiv.org/abs/1105.2342).

 

[martinbn]

http://arxiv.org/abs/1101.3116

Ah, but it doesn't give the prove of the conjecture.

 

[atyy]

You can make even simpler by starting with "mathematics is the multiplication table up to ten" instead of ZFC.

Yes, and obviously I can google the multiplication table :)

Actually, I do need more than that, don't I? Don't I need to know how to use the multiplication table for numbers larger than 10?

 

[martinbn]

Yes, and obviously I can google the multiplication table :)

Deutch has a better take on this. Ah, and Arnold has repeatedly state that maths is that part of physics where experiments are cheap. As a bourbakist a must disagree.

 

[atyy]

Deutch has a better take on this. Ah, and Arnold has repeatedly state that maths is that part of physics where experiments are cheap. As a bourbakist a must disagree.

But wasn't Arnold rigourously right, given that to define ZFC we need the metalanguage (ie. physics)?

 

[martinbn]

In your statements you make so many implicit assumptions, as to what physics is and what maths is and so on, and you do it in a way as if that is the only possible and universally accepted view.

 

[fourier jr]

& taking things out of context

 

[aleazk]

The ones that I find hard to read are those written by physicists or physics minded mathematicians. Those that I find easier are the Bourbaki or Bourbaki style.

In moments like that, keep in mind this:

"Physics is not so mysterious as many mathematicians seem to consider it. It is rather that physicists have different values and a different viewpoint, and this leads them to explain things in a manner uncongenial to mathematicians. If one works at it, it is possible to translate practically all of physics into well-defined mathematics. Moreover, when one does so, one finds a beautifully coherent scheme, which can be rather briefly summarized" - George Mackey.

Is there a hope for me to become a pure mathematician?

You probably are and always have been at heart.

Indeed! because we all know in the deeps of our hearts that:

"Mathematical proofs really aren't there to convince you that something is true—they're there to show you why it is true" - Andrew Gleason.

-Gleason & Mackey.

 

[atyy]

Can mathematicians even define the so called "natural numbers"?

 

[ShayanJ]

I'm in deep love with abstract algebra so in this thread, I'm with mathematicians.

I don't think math is just english or physics. atyy seems to say that because the rigorous ways the mathematicians tend to use can't actually give everything from start, so there should be another thing at the beginning. But from the things I've understood, mathematicians have a sense of seeing that there should be a mathematical concept for something. I mean, they just encounter some calculation and say "oh man...this should have a name on its own! people should work on this...because this is great!". I had such a feeling in its elementary form. I think mathematics is on its own and its beauty is just its own! I just love it. The reason I'm pursuing physics more than mathematics, is that I'm self-studying things and its really hard to self-study rigorous mathematics.(But hey, I love physics too!)

 

[lavinia]

another one which I thought was hard is lang's algebra. there's a lot of stuff incorporating other subjects so it helps to know a bit about them, and a lot of the problems are good too

A former student of Lang told me that some students in his calculus class complained to him about his book - and Lang told them to throw the book out.

 

[lavinia]

Can mathematicians even define the so called "natural numbers"?

Can you clarify the question? How about an infinite cyclic group on one generator?

 

[atyy]

Can you clarify the question? How about an infinite cyclic group on one generator?

Well, doesn't the Goedel incompleteness theorem basically say that the natural numbers cannot be axiomatically defined?

 

[PAllen]

Well, doesn't the Goedel incompleteness theorem basically say that the natural numbers cannot be axiomatically defined?

No, it just says Natural numbers as defined by the Peano axioms cannot be proved consistent within this system itself. Several proofs of consistency for the Peano axioms have been achieved using elements outside them. Of course, then there are other statements whose truth cannot be decided within that system. However it seems a big stretch to me to call any this 'inability to axiomatically define the natural numbers'.

 

[atyy]

No, it just says Natural numbers as defined by the Peano axioms cannot be proved consistent within this system itself. Several proofs of consistency for the Peano axioms have been achieved using elements outside them. Of course, then there are other statements whose truth cannot be decided within that system. However it seems a big stretch to me to call any this 'inability to axiomatically define the natural numbers'.

There is the syntactic version and the semantic version. The semantic version does say that the natural numbers cannot be axiomatically defined, because it says that there is a statement that is true of the natural numbers but that every consistent extension of the Peano axioms neither proves nor disproves.

The version you are thinking about is the syntactic version, proven by Rosser, using key insights from Goedel's work. It is theorem 4.17 in these notes by Victoria Gitman: http://boolesrings.org/victoriagitman/files/2013/05/logicnotespartial.pdf.

The semantic version is theorem 4.13.

There is also the very interesting discussion on p14-16 of http://www.columbia.edu/~hg17/nonstandard-02-16-04-cls.pdf about what we mean by the "standard model" of arithemetic.

 

[PAllen]

[

There is the syntactic version and the semantic version. The semantic version does say that the natural numbers cannot be axiomatically defined, because it says that there is a statement that is true of the natural numbers but that every consistent extension of the Peano axioms neither proves nor disproves.

The version you are thinking about is the syntactic version, proven by Rosser, using key insights from Goedel's work. It is theorem 4.17 in these notes by Victoria Gitman: http://boolesrings.org/victoriagitman/files/2013/05/logicnotespartial.pdf.

The semantic version is theorem 4.13.

I still don't see this as saying you can't axiomatically define natural numbers. It just says for any such axiomatic definition, there will be statements whose truth or falsity cannot be determined. Incompleteness is in no way the same as absence of definition.

 

[atyy]

I still don't see this as saying you can't axiomatically define natural numbers. It just says for any such axiomatic definition, there will be statements whose truth or falsity cannot be determined. Incompleteness is in no way the same as absence of definition.

The important point is that the undecidable statements can be shown to be true, contrary to your assertion.

 

[PAllen]

The important point is that the undecidable statements can be shown to be true, contrary to your assertion.

They can be shown to be true outside of that axiomatic system. I meant inside the given system. I have never seen this, or any discussion of Godel's theorem as saying you can't axiomatically define Natural numbers. Just that the resulting system has limitations not previously recognized or expected.

 

[atyy]

They can be shown to be true outside of that axiomatic system. I meant inside the given system. I have never seen this, or any discussion of Godel's theorem as saying you can't axiomatically define Natural numbers. Just that the resulting system has limitations not previously recognized or expected.

You can take the undecidable sentence and add it or its negation to the axioms and obtain a consistent system. However, you are not free to add either one if you insist the system models the natural numbers. Therefore the natural numbers cannot be formalized.

 

[PAllen]

You can take the undecidable sentence and add it or its negation to the axioms and obtain a consistent system. However, you are not free to add either one if you insist the system models the natural numbers. Therefore the natural numbers cannot be formalized.

Nonsense. The statement that any formalization of the natural numbers does not encompass all true statements about them does not mean natural numbers are not formalized let alone not defined. Limitations or incompleteness of a formalization does not mean the formalization doesn't exist, or is useless, or doesn't serve to define anything. These are wild overstatements, IMO.

 

[atyy]

The statement that any formalization of the natural numbers does not encompass all true statements about them does not mean natural numbers are not formalized let alone not defined.

"The statement that any formalization of the natural numbers does not encompass all true statements about them"

Well, that means that you have an intuitive sense of the natural numbers that cannot be formalized.

Either that, or you formalize the natural numbers in ZFC. But that means that you do not acknowledge that Goedel's incompleteness theorem applies to ZFC, which is unorthodox but fine. But then that means the metalanguage used to define ZFC, when using notions like "finite" is really about steps that a human mathematician acting as a robot, or that a computer as a physical machine can take.

So if one has the intuitive natural nunbers, that is basically a lack of rigour. If one does not have the intuitive natural numbers, then ZFC is defined by physics.

 

[PAllen]

Incomplete does not mean non-rigorous. In fact, the finding of incompleteness is the result of using rigor. Thus, as I see, rigor requires acceptance that meaningful axiomatic systems are not complete - not that they don't exist, or don't act as definitions, etc.

 

[atyy]

Incomplete does not mean non-rigorous. In fact, the finding of incompleteness is the result of using rigor. Thus, as I see, rigor requires acceptance that meaningful axiomatic systems are not complete - not that they don't exist, or don't act as definitions, etc.

But incomplete does mean that one used the "intuitive natural numbers".

 

[PAllen]

But incomplete does mean that one used the "intuitive natural numbers".

I disagree. I have a formally defined axiomatic system. It's consistency can be shown by going outside itself. Rigorous methods show it is incomplete in a specific sense, as are all substantive formal systems. We will probably never agree, but I will say I have never seen your expansive interpretation of the consequences of Godel in literature I've read. In particular, I have never seen anyone besides you suggest it means there is no formal definition of natural numbers.

 

[atyy]

I disagree. I have a formally defined axiomatic system. It's consistency can be shown by going outside itself. Rigorous methods show it is incomplete in a specific sense, as are all substantive formal systems. We will probably never agree, but I will say I have never seen your expansive interpretation of the consequences of Godel in literature I've read. In particular, I have never seen anyone besides you suggest it means there is no formal definition of natural numbers.

In the (usual) proof of Goedel's theorem, the notion "natural number" is used without definition. It is assumed intuitively.

 

[PAllen]

In the (usual) proof of Goedel's theorem, the notion "natural number" is used without definition. It is assumed intuitively.

So what? I don't see that having any bearing at all on whether some axiomatization of natural numbers (that is incomplete) constitutes a rigorous definition.