Talk:Elementary proof

From Conservapedia
This is an old revision of this page, as edited by Aschlafly (Talk | contribs) at 04:46, April 8, 2012. It may differ significantly from current revision.

Jump to: navigation, search

Who uses this concept?

I don't think that it is correct that anyone calls a proof "elementary" just because it does not use the square root of (-1). Nor is it true that an elementary proof is necessarily preferred.

It is not an assumption that (-1) can have a square root. It can be proved. Nor is the square root unique. (-1) has 2 square roots, if it has any.

I suggest killing this article. It just isn't useful. RSchlafly 00:11, 5 February 2007 (EST)

If the test were what is "useful", then most math articles should be deleted!

I'd love to see a proof that the following exists and is unique (plus and minus roots):

--Aschlafly 20:12, 6 February 2007 (EST)

Existence depends on what system you are operating in. Uniqueness is fairly easy if you are operating in a field. Proposition: in any field F, with c and element of F, the equation has at most 2 solutions. Proof: Consider . this implies that . We may assume that c has at least one square root (call it ). So we have . Now, since fields have no zero divisors (easy excercise), we must have or which gives us only two choices. Q.E.D. JoshuaZ 20:44, 6 February 2007 (EST)
I have never heard an "elementary proof" used to refer to a proof that "cannot be broken down into smaller proofs", whatever that is supposed to mean, and moreover, this doesn't clearly have anything to do with the other definition about avoiding complex analysis. Moreover, Selberg's Fields was primarily for his other work on the Riemann zeta function (complex analysis! the horror!) and Selberg formula, which indicated the direction of this proof. The proof itself was not the grounds for the medal, as this article indicates. Some editor here seems to have a bizarre fascination with "elementary proofs", but would surely be hard-pressed to find a serious mathematician who rejected residue calculus on the grounds that it is not an elementary method, as that article claims.

Re: "I'd love to see a proof that the following exists and is unique (plus and minus roots)", the questioner might try to learn a bit about fields and algebraic extensions thereof. By "sqrt(-1)" we mean some symbol which is "adjoined" to a field and which satisfies x^2+1=0. Such a thing exists in a field extension (and one can prove this quite rigorously), and is obviously unique there. Any basic algebra text (Artin, Dummit/Foote, etc) will cover the requisite material better than I could hope to do here.

- jlezzy

The "some editor" you refer to is either the owner or myself and neither of us have a bizarre fascination with this subject. Mockful sarcasm doesn't get you far on this site and neither does a woefully inappropriate choice of username. -Foxtrot 00:39, 4 January 2009 (EST)

This poster was indeed rude, but can we get citations for any of this? I can't find any evidence that there are mathematicians who reject the method of residues for being non-elementary.

Definition of Elementary proof

I would like to remove the statement about elementary proofs being those that cannot be broken down into smaller proofs. This statement doesn't make much sense to me. What so we mean by a 'smaller' proof? What do we mean by breaking a proof down into other proofs? Typically the proof of a long theorem is broken down by proving many of the steps as a lemma. This is done to make the proof of the main theorem easier to comprehend. This can be done with any theorem whose proof has more than one step. Any non-trivial theorem is bound to have many steps so I don't think that this is what the author intends. AndyJM 12:05, 9 January 2009 (EST)

AndyJM, I really don't understand what your are finding so baffling about the concept of elementary proofs. The line you removed was an important statement, and as you can see, Andy (the owner) reinstated it with some clearer wording. If you do not have experience with elementary proofs, then please do not remove content from the articles -- you've been banned for such actions before. -Foxtrot 22:00, 18 January 2009 (EST)
Hi Foxtrot. I thought that I had clearly laid out what I find so baffling about one particular statement in this article. Did you read my comment? While I am not delighted with the addition that Schlafly made it is a definite improvement over what had been there. The vast majority (perhaps all) all the proofs that I have published could be classified as elementary according to the first definition, i.e. not using complex analysis. However I have no idea whether or not they would elementary according to the second definition. This suggests to me that the second definition could be a bit suspect or 'loose', so to speak. I am not out to cause trouble here, and despite your beliefs to the contrary I have not made any edits for ideological reasons. In fact to my mind mathematics is refreshingly free of ideology. Dia dhuit (to which the polite response is 'Dia is muire dhuit'). AndyJM 07:22, 19 January 2009 (EST)

I don't think that anyone uses the term "elementary proof" as it is defined here. Here is more typical usage:

Keep in mind that the word ‘elementary’ is being used in many dif-ferent ways in this discussion. In informal mathematical usage, ‘elemen-tary’ is often used to mean ‘simple’ or ‘easy to understand’. In the Sel-berg/Nathanson sense it is used to mean ‘avoiding the use of infinitary (or analytic) methods’. The fact that Selberg’s proof of Dirichlet’s theorem is harder to understand than the standard analytic one shows that these two senses can be at odds! I have already noted that the use of the word ‘elementary’ in the phrase ‘elementary arithmetic’ is due to the fact that the axiom system is closely related to the class of ‘elementary functions’ in the sense of Kalmar. To complicate matters even further, among logicians the word ‘elementary’ is often used to mean ‘first-order’. [1]

As you can see, none of this matches what is in the article. I suggest that the article be deleted. RSchlafly 15:07, 30 January 2009 (EST)

It certainly seems reasonable that not using AoC would be desirable for calling a proof elementary. However, in my experience, the notion of an elementary proof is closer to "not using mathematics from unrelated areas" than it is in avoiding specific techniques or axioms. In number theory, this usually entails avoiding the methods of complex analysis. But to me, it is perfectly natural to say "To avoid this, we next give an elementary proof, which uses Zorn's lemma in a typical way" in a paper on algebra, where the application is indeed typical. That excerpt is from "Some ring theoretic equivalents to the Axiom of Choice", easily googleable, and I find several other examples of authors citing AoC in "elementary" proofs. It's easy to ignore this as the work of sloppy authors and/or liberals, but clearly the usage defined in this CP is at the very least not universal, and indeed I have never encountered it. Might I modify the page to indicate that some authors use a different characterization of elementary proofs, and can we find a source that actually uses a definition resembling that here? --MarkGall 01:23, 25 August 2009 (EDT)

Your approach is the same as Wikipedia's, and unfortunately it does not withstand scrutiny. The objection to non-elementary proofs is not that they use math "from unrelated areas." There is no coherent objection to that.
The real objection is that non-elementary proofs rely on additional assumptions. For complex analysis, that additional assumption is that there is a unique square root of negative 1, which can be manipulated algebraically. Maybe true, maybe false, and an elementary proof is desirable because it does not rely on that assumption. The Axiom of Choice also includes a questionable assumption.--Andy Schlafly 09:50, 25 August 2009 (EDT)
I am not questioning that there is a valid objection to using proofs that require additional assumptions, for example choice. This is a very reasonable view. I do question whether such proofs are actually called "elementary" by mathematicians. The case of applying complex analysis to number theory is non-elementary by either proposed definition. I have given one example in the literature which clearly contradicts the characterization of choice as necessarily non-elementary, and can easily find more. Can you please cite someone who uses your definition of an elementary proof? I'm willing to believe that this usage is in circulation, but this is the first I've run into it. --11:00, 25 August 2009 (EDT)
A Fields Medal was given for an elementary proof a few decades ago. Enough said? Isolated sloppiness or denial since then is no reason to reject the underlying logic behind the value of elementary proofs.
Most academic scientists today claim that man-made global warming is settled science, and that government can stop it. Such consensus does not make that claim true or logical.
Your definition of an elementary proof does not withstand scrutiny for the reasons I stated, which you did not address.--Andy Schlafly 11:46, 25 August 2009 (EDT)
I don't wish to argue about what would be the best definition of an elementary proof, or the importance elementary methods, which I appreciate. I just want to point out that the definition of "elementary proof" given here is not actually how the term is used in the mathematical literature, and I have supported this with a citation. As such I think this page needs some adjustment -- it gives a definition of "elementary proof" which is used, as far as I can tell until you provide a citation, by no one except you. It's quite possible that this would be a superior usage of the term, and I have no problem with the ideas on the page as it stands. I would only ask to add a disclaimer that when mathematicians use the term "elementary proof", this is not always what they mean (as indicated by the AoC example above). --MarkGall 11:58, 25 August 2009 (EDT)
Mark, the entry does describe the traditional and only meaningful definition of "elementary proof." Your definition, which is also used by Wikipedia, is non-substantive and cannot explain why the prestigious Fields Medal was given for it. Nor does your definition explain why Paul Erdos, perhaps the most prolific mathematician of the 20th century, was such a stickler in preferring elementary proofs.
Perhaps there are some new mathematicians who are in denial about the importance of elementary proofs. There are also new physicists who deny the importance of falsifiability. But self-described experts do not get to be the only watchdogs for their fields. Some accountability can and should come from outside the fields of expertise.--Andy Schlafly 12:23, 25 August 2009 (EDT)
If that is indeed the traditional definition (i.e., if the traditional definition would necessarily exclude proofs using AoC), you should have no difficulty providing a relevant citation, and I won't argue any more! It is true that proofs involving choice are generally dispreferred, but as far as I know they have never been called "non-elementary". I have given a citation which contradicts your characterization, and can produce more -- please provide just one in favor of it! If your definition were indeed in use at all, I would expect that searching for "Tychonoff theorem non-elementary" would find some page describing this result as "non-elementary" since it is one of the most famous proofs involving choice. However, it does not, but it does find an "elementary" proof of the theorem (employing choice, of course).
Of course some accountability from non-mathematicians is important, but this discussion isn't about whether proofs using AoC should be recognized as such and pointed out (such oversight is of course welcome). The question is whether the term "elementary proof" excludes all proofs using choice, and it seems to me that it does not.
Historically this term originated to describe proofs in number theory which did not use complex analysis, a usage which now falls under either umbrella. Selberg's Fields Medal was for a variety of contributions (like the Nobel prize, it is given not for a single result, but for overall contributions to mathematics), the primary of which (according to the official citation) was his extension of Brun's work on the zeta function (showing that a positive proportion of zeroes lie on the critical line), decidedly non-elementary work! --MarkGall 12:55, 25 August 2009 (EDT)
Mark, Conservapedia does not simply cut and paste quotes from others, many of whom has obvious self-serving biases. The logic underlying the concept of an "elementary proof" is clear and cannot seriously be disputed. You're not addressing the substance of the significance of an "elementary proof." Once you address that, it will become clear that proofs relying on the Axiom of Choice are not elementary proofs. It doesn't matter whether any math professors admit that or not. No math professor will publicly admit that the best mathematicians are men rather than women, but that denial does not alter the obvious truth.--Andy Schlafly 13:23, 25 August 2009 (EDT)
This article defines a common mathematical term in a way in which it is not used by anyone and seems never to have been used. I infer that your last post cedes that mathematicians don't use it, though I still welcome a citation on the historical point, which should be easy to come by if the usage is indeed "traditional" as you have claimed. I'm not disputing the logic of what you call an "elementary proof", which is clear. I agree with you about the significance of proofs such as you describe, and am not addressing "the substance of the significance of an elementary proof'" only because it's not relevant to the point at hand: what I'm disputing the use of that term, which has a well-established meaning distinct from what you intend and is therefore inappropriate. What use is an encyclopedia article that simply makes up new definitions for well-known terms, even if these new definitions have a clear and important philosophy? This serves no purpose but to confuse readers trying to understand how the term is used and hurt the credibility of CP math generally. Why not invent a new phrase to describe proofs such as those you discuss, whose philosophy I agree is valuable? --MarkGall 13:51, 25 August 2009 (EDT)
Mark, you're no longer being substantive in responding to my comments. This entry defines "elementary proof" in the only meaningful way, and then applies it in a straightforward manner that cannot be logically disputed.
Academic mathematicians, as in other academic fields, are in denial about many things: gender differences, religious truth, the value of self-criticism, and the bankruptcy of liberal politics. Wikipedia denied the concept of "elementary proof" entirely until I listed it as an example of its Bias in Wikipedia, and now Wikipedians deny the significance of the concept. Feel free to continue to your discussion there, but I'm going to stick with logic and truth here. Thanks.--Andy Schlafly 14:20, 25 August 2009 (EDT)

I don't understand these significant advantages. No proof ever assumes that there is a unique, algebraically manipulable square root of negative one. There are two such roots, and there is no need to assume anything because the proofs are given in field theory textbooks. Elementary proofs are not necessarily any harder to simplify. A sophicated non-elementary proof might be only 2 lines long, and thus impossible to simplify except by removing reliance on other work. The axiom of choice is not any less rigorous than any other axiom. The whole article is nonsensical. You seem to want to suggest that some proofs are more rigorous than other proofs, but that is just not true at all. RSchlafly 22:27, 26 August 2009 (EDT)

You're denying the significance of elementary proofs, for which a Fields Medal has been awarded and to which Paul Erdos and many number theorists have been dedicated. But your denial does not address the substance. An elementary proof does rely on fewer assumptions than a non-elementary proof. There's no way around that fact, and it is significant.
The view that "all proofs are equivalent no matter what theories they use" may be appealing to some, but it does not withstand scrutiny. Proofs relying on fewer assumptions are obviously preferable.--Andy Schlafly 22:44, 26 August 2009 (EDT)
Selberg did get a Fields Medal for an elementary proof of the prime number theorem, but I am not sure that anyone says that Selberg's proof is any better than any other. All of those proofs rest on the same set of assumptions. Can you give an example of an elementary proof that is better than a non-elementary proof because it relies on fewer assumptions? I agree that a proof not using the axiom of choice might be preferable, but can you give another example? RSchlafly 02:43, 27 August 2009 (EDT)

The notion that complex analysis depends on a purported uniqueness of the square root of -1 needs to be put to rest. There is no assumption that the square root of -1 has to be unique. And a good thing, too, because it isn't unique. No one denies that -1, like all nonzero numbers, has two square roots, that are negatives of each other. All nonzero numbers also have three cube roots, related by de Moivre's formula, and so on. Complex analysis does not rely on any such uniqueness. The complex numbers (or complex plane, or Argand diagram) is constructed from a special formal element "i", which simply serves as the second basis element of the vector space being constructed. The "square root of -1" and "i" are not the same thing. There are two square roots of -1, but only one "i". The square root of -1 doesn't even exist until the complex plane has been constructed, so it couldn't have been used in the construction.

The complex numbers, so constructed, are every bit as rigorous as the rational numbers, the real numbers, Hilbert spaces, Frechet spaces, Lie groups, symplectic groups, etc.

If there were any ambiguity in the interpretation of the "imaginary part" of a complex number, many fields of mathematics, physics, and engineering would fall apart. To pick just a few examples, the field of linear circuits in electrical engineering depends on the Laplace transform, which would not be well-defined if the imaginary unit "i" were not well-defined. Also, there could be no agreement on what the Schordinger equation of quantum mechanics means, or how the various quantum mechanical operators work. The Fourier transform would not be well-defined.

There may well be reasons why one would prefer a theorem of number theory that does not involve complex analysis, but such a proof's lack of rigor is not one of them.

We need to work out a careful survey of the things that make some proofs more complicated than other proofs of the same theorem, and how the word "elementary" is used to describe this, and what the various ramifications of this usage are. I'm willing to work on this. PatrickD 23:06, 26 August 2009 (EDT)

Beyond specific examples (and I haven't much to add to Patrick's exposition), Mr. Schlafly's general point that "Proofs relying on fewer assumptions are obviously preferable" is an important one, and I think that most mathematicians would agree with this. However, as Patrick explains, the use of complex analysis is not an additional assumption in any sense, and it is constructed and verified with complete rigor from nothing beyond ZF. So I'm mostly interested in AoC as it pertains to the notion of the elementary proof -- as RSchlafly had added, this seems to be by far the most important case where we find proofs with extra assumptions. More later on the issue of analytic number theory.
Proofs avoiding choice are to be preferred for their weaker assumptions, as noted: for example, the Schroeder-Bernstein theorem is a theorem for which there are two proofs: a quick trick relying on choice, and a slightly more nuanced proof without it. In my experience (both in studying and teaching), the latter is generally taught despite its relative difficulty. My only encounter with the former was as a homework problem introducing the application of AoC. My issue with this page is that the term "elementary proof" is not actually used to describe such proofs. There are other ways to characterize such proofs formally, but I'm not sure of any commonly-used term for them. I'd suggest that discussion of related issues ought to be incorporated into the article on AoC, and that this article be changed to reflect what the term actually means.
I'd also reiterate that Selberg's Fields was awarded largely on the grounds of his contributions to the study of the zeta function, so to imagine that it was awarded for minimizing the use of complex analysis is fantasy. His proof was important, however, for the new methods that it made available to number theorists. Erdos's dedication to "elementary proofs" arose not from doubts about the validity of complex analysis (in the case of PNT and other problems in number theory), but rather from the intrinsic aesthetic appeal of proofs which don't make use of unnecessarily powerful methods. A proof which does not crack a nut with a sledgehammer (as older proofs of PNT did) is more beautiful than one that does, and Erdos deeply valued "beautiful" proofs. It is these proofs, which expose the profound and elegant nature of the theorems they establish, that are to be found "in the book".
An unrelated issue is that there seem to be two notions of elementary proof used in this article, and I'm not sure how to reconcile them. Selberg's proof of PNT is magnificently complicated, though it avoids the methods of analytic number theory. It's not a proof that I would say "cannot be improved by expressing it in simpler form" -- indeed the analytic proofs are far simpler. It's true that at heart these have a different method, but it's my understanding that a touch of complex analysis can simplify the Selberg argument while leaving its fundamental insights intact. --MarkGall 00:24, 27 August 2009 (EDT)
The talk-to-substance ratio is very high in the above replies, and that's not a good sign. Complex analysis does rely on an assumption that there is a unique, algebraically manipulable square root of negative one. It's a unique pair, obviously, and it's a sign of desperation that some above looked for a way to deny this.
Proofs that rely on this assumption are obviously less favored than proofs that do not, and hence the important concept of an elementary proof. Deny its importance all you want, but the beauty of logic is that it doesn't matter who accepts or denies it. The logic remains as truthful regardless.--Andy Schlafly 11:26, 27 August 2009 (EDT)

Errors

This page is frankly bizarre. I can't imagine a working mathematician agreeing with much of it in its current state.

1. The assertion that an elementary proof "uses only real numbers or real analysis rather than the use of complex analysis" agrees with the cited MathWorld stub, but that stub misrepresents its source, Hoffman's book on Erdos. The original source says, "In this context, elementary means that the proof of the formula relies on a restricted set of numbers, the so-called real numbers...", the context being Erdos avoiding the "heavy machinery" including complex analysis employed by Hardy and Ramanujan in an asymptotic estimate of the partition function. An elementary proof is not in general characterized by the avoidance of complex analysis but rather by the avoidance of any "heavy machinery" whatsoever (like, say, the Hahn-Banach theorem, which in its real formulation is very much a part of real analysis). A decent test for the elementary-ness of a proof is whether a bright high-schooler could follow it. The definition needs to be re-written and a better source found. It should also be noted that the definition is inherently vague and different people disagree on the finer points.
2. The assertion that non-elementary proofs rely "on less rigorous axioms, such as the Axiom of Choice" is misleading. The axiom of choice is not "less rigorous" than, say, the axiom of infinity--it simply asserts an assumption; rigor does not enter in. The axiom of choice is somewhat controversial, though; "less controversial axioms" in the above would be true.
3. "...but in 1949 and 1950 an elementary proof by Paul Erdos and Atle Selberg earned Selberg the highest prize in math" -- it's misleading to imply Selberg's elementary proof was the only thing that got him his Fields medal. "helped earn" would be correct and would avoid a digression into discussing Selberg's work.
4. "avoiding the assumption that there is a unique, algebraically manipulable square root of negative one" -- this highlights a fundamental misunderstanding which may underlie my second point. The existence of complex numbers is not an "assumption" in the sense mathematicians use. Typically, one assumes some basic facts about set theory (say the ZF axioms, which includes the axiom of infinity I mentioned before) and uses those to build up algebraic objects. The existence of complex numbers satisfying the usual properties is then a *consequence* of these background assumptions (which are also used in elementary proofs) rather than an assumption itself. The use of complex analysis does not entail the use of a new assumption [nitpick: the axiom of dependent choice is typically added to the usual ZF axioms to do complex analysis, though that's rather uncontroversial and is also used in real analysis, almost always implicitly because it's so intuitive]. Again, the point of an elementary proof is that it uses no "heavy machinery"; I've never actually seen an elementary proof that used fewer assumptions than a non-elementary counterpart even though this page mentions that phenomenon several times. An example (keeping in mind the proper mathematician's idea of an "assumption") would be helpful.
5. The article does not discuss this, but elementary proofs are not always preferred. Elementary proofs tend to be very long and rather messy--a famous solution to the Basel problem comes to mind as an example. If one uses non-elementary Fourier analysis, one can solve the problem in less than half a page by computing the Fourier coefficients of f(x) = x and applying Parseval's theorem. The elementary alternative I'm aware of fiddles around with trigonometric identities and polynomial arithmetic for quite a while, is tedious, and is actually much harder to follow. The formulation I'm aware of also uses complex numbers, though not complex analysis.

I'd also like to say that Aschlafly should probably avoid editing this page. The quote, "For complex analysis, that additional assumption is that there is a unique square root of negative 1, which can be manipulated algebraically. Maybe true, maybe false" shows a fundamental misunderstanding of the role of assumptions in mathematics and also shows his ignorance about the subject. The construction of complex numbers from real numbers is quite simple: mod the ring of one-variable real polynomials by the ideal generated by (x^2 + 1); this is the standard splitting field construction in this special case. There is no additional assumption necessary, just more machinery (rings, ideals, quotients, etc.).

I haven't edited the article since (from this talk page) doing so seems rather controversial.

Elproof 19:45, 7 April 2012 (EDT)

These are nitpicky points, and I don't see why any of them would require any changes to the entry. I address each point:
(1) Your comment complains about the definition, but does not offer a better one. Instead, your comment says the definition is "vague", but then uses even vaguer terminology like "heavy machinery" or whether "a bright high-schooler could follow it."
(2) Your comment that "less rigorous" should be replaced by "less controversial" would, again, be a step in the wrong direction. "Controversy" does not delineate limits on truth. Jesus Christ was no less truthful simply because he was (and is) controversial.
(3) This point is silly and does not merit a response.
(4) It's obviously not the number of assumptions that matter, but the lack of rigor in the assumptions made. Assuming that there is a unique square root of -1 is a highly non-rigorous, even implausible, assumption underlying complex analysis.
(5) "but elementary proofs are not always preferred ..." by whom? One doesn't allow a fox to guard a henhouse, and neither mathematicians nor politicians should be setting their own rules as they go, or else before long all sorts of nonsensical "proofs" might be asserted by some academics at liberal institutions.--Andy Schlafly 00:46, 8 April 2012 (EDT)