Talk:List of misnamed theorems

From Wikipedia, the free encyclopedia

Contents

[edit] Important information for prospective editors of this list

This is the section in which the originator of this list tries to provide useful information/advice for prospective editors. See sections below for discussion of other topics. ---CH 22:01, 28 August 2006 (UTC)

[edit] What each item in this list should contain

Please try to follow the model of the entries I wrote. For each item on the list, if possible cite the original works, and be sure to cite one carefully chosen modern work discussing the historical flummox. The intention is certainly not to try to provide an exhaustive bibliography, only to provide verification for the claims and to help interested readers find more citations (a modern history of mathematics paper will almost certainly have many relevant citations, both period and modern). ---CH 21:10, 28 August 2006 (UTC)

[edit] What items are suitable for inclusion?

It would be a good idea to ask in the section below, since your information might be incomplete or wrong! (Particularly if you lack an up-to-date citation from the literature on the history of mathematics!). ---CH 21:55, 28 August 2006 (UTC)

[edit] Common syntax errors

The syntax is unforgiving, and even one error anywhere will typically destroy the entire page, so please be careful.

  1. Don't forget to add <ref name="lastname_year"> immediately before each citation template. Here, don't omit the quotation marks around the reference name, e.g. Poincaré_1885.
  2. Don't forget to add </ref> immediately after each citation template.
  3. Cite subsequent citations to the same paper by using <ref "lastname_year" />.
  4. The <references /> in the "References" section is not optional.

Please ask for help at Wikipedia talk:WikiProject Templates or Wikipedia:Village pump (technical) if you get into trouble. Good luck.---CH 21:48, 28 August 2006 (UTC)

[edit] Citation templates

Here are some models for using common citation templates:

  • Book:

*{{cite book | author=Misner, Charles; Thorne, Kip S.; and Wheeler, John Archibald | title=Gravitation | location=San Francisco | publisher= W. H. Freeman | year=1973 | id=ISBN 0-7167-0344-0}}

  • Article in a research journal:

*{{cite journal | author=Kerr, R. P. | title=Gravitational field of a spinning mass as an example of algebraically special metrics | journal=Phys. Rev. Lett. | year=1963 | volume=11 | pages=237}}

  • arXiv eprint (since published):

*{{cite journal | author=Bicak, Jiri | title=Selected exact solutions of Einstein's field equations: their role in general relativity and astrophysics | journal=Lect. Notes Phys. | year=2000 | volume=540 | pages=1-126}} [http://www.arxiv.org/abs/gr-qc/0004016 gr-qc/0004016]

  • arXiv eprint (unpublished):

*{{cite arXiv | author=Roberts, M. D. | title=Spacetime Exterior to a Star: Against Asymptotic Flatness | year = 1998 | version=May 16, 2002 | eprint=qr-qc/9811093}}

  • Article in a book:

*{{cite conference | author=Ehlers, Jürgen; & Kundt, Wolfgang | title=Exact solutions of the gravitational field equations | booktitle=Gravitation: an Introduction to Current Research | year=1962 | pages=49–101}} See ''section 2-5.''

  • Biography in the MacTutor archive:

{{MacTutor Biography |id=Friedmann|title=Aleksandr Aleksandrovich Friedmann}}

  • Article at the Living Reviews website:

*{{cite web | author=Gönner, Hubert F. M. | title=On the History of Unified Field Theories | work=Living Reviews in Relativity | url=http://relativity.livingreviews.org/open?pubNo=lrr-2004-2 | accessdate=2005-08-10 }}

These have the following effects:

Thank you for your cooperation! ---CH 21:54, 28 August 2006 (UTC)

[edit] Systematically add information contained in this list to linked articles

This is a bit of a long-term project. I intend to create a new article (complete with nifty illustrations) of the nifty Cramer's paradox, and I also need to cancel the redirect and create a new article for Pólya enumeration theorem, since the whole point of that theorem (and most of the work in proving it!) involves giving the sizes of the fixsets in terms of the cycle structure from the Pólya cycle index polynomial (which arises from an action by a group, not to the abstract group, of course). ---CH 05:18, 26 August 2006 (UTC)

[edit] What about physics?

I do not know if you want to include physics, but consider the Lorentz contraction (so called at Special relativity#Consequences) which was first discovered by FitzGerald. Lorentz acknowledged FitzGerald's priority, but who cares? JRSpriggs 09:22, 26 August 2006 (UTC)

I do not wish to include physics (create your own list for that!). But see Lorentz gauge for another example :-/ ---CH 21:07, 28 August 2006 (UTC)

[edit] Should these be added to the list?

Asking first might be a good idea, as discussion below suggests. ---CH 21:21, 28 August 2006 (UTC)

[edit] Abel's theorem

I don't have a reference, but the theorem that the general solution of a polynomial equation of degree 5 or higher is inexpressible with radicals is often cited as "Abel's theorem", and was anticipated by Paolo Ruffini; see Abel-Ruffini theorem. -- Dominus 02:08, 27 August 2006 (UTC)

I have an excellent reference:
Tignol, Jean-Pierre (2001). Galois's Theory of Algebraic Equations. Singapore: World Scientific.  (reprint of earlier and valuable book).
However, Ruffini did not even come close to proving the theorem, so Tignol ascribes it to Abel, as does, AFAIK every historian. ---CH 21:15, 28 August 2006 (UTC)

[edit] Pell's equation

Pell's equation is so-named because Pell wrote up the solution that was discovered by Lord Brouncker, and Euler got them confused. -- Dominus 02:08, 27 August 2006 (UTC)

Good catch. I even used Pell's equation in my diss, but had forgotten that this has long been on my little list. ---CH 21:17, 28 August 2006 (UTC)

[edit] Zorn's lemma

Was anticipated in various forms by Hilbert, Minkowski, and Kuratowski; I do have a reference for this, but I can't post it here until Monday. -- Dominus 02:08, 27 August 2006 (UTC)

Yes, I know that Kuratowski had previously used something which turns out to be logically equivalent to Zorn's Lemma, but AFAIK the modern statement is in fact due to Zorn. The proof of the equivalence of these various forms (probably by Kelly and others) is not trivial, so I would oppose adding these as instances of misnomers. ---CH 21:17, 28 August 2006 (UTC)
According to The Origin of "Zorn's Lemma", Paul J. Campbell, Historia Mathematica 5 (1978), pp. 77--89:
Rubin and Rubin do a careful job of disinguishing the various maximal principles of interest to us here. The specific principle formulated by Zorn is listed as principle M3. . . . Note that M4 simply implies M3, since the hypothesis of the latter is at least as strong as that of the former. . . . The one who perceived an even more general pattern was Kuratowski, who in 1922 stated and proved M4 and then related the earlier work mentioned above.
So the statement M3 that was actually proved by Zorn in his 1935 paper was certainly anticipated by Kuratowski in 1922.
However, Zorn himself did not state or prove the theorem that is commonly known as "Zorn's Lemma". Rather:
A paper on abstract Riemann surfaces by S. Bochner in 1928 made use of a "mengentheoretischer Hilfssatz" which is almost what Rubin and Rubin call M1 . . . the form M1 is the statement most often referred to as "Zorn's Lemma". Zorn himself has acquiesced to the prevailing terminology.
So at least according to this paper (which also quotes Zorn's original definition), the modern statement is very much not due to Zorn.
Hope this helps. -- Dominus 13:44, 29 August 2006 (UTC)

[edit] Minor style concern

It looks very odd to see sentences that say see [1] for a readable description. It might be better if the sentence read: so-and-so wrote a readable description.[1] Also note that refmarks should generally be after punctuation according to WP:FN. Gimmetrow 03:08, 29 August 2006 (UTC)

OK, point taken, I might try to change all that tommorrow. I haven't used this particular style of footnoting since high school, which might explain my faltering attempts to use it gracefully here. (In latex, the analogous constructions might be more graceful for an AMS style article).---CH 08:40, 29 August 2006 (UTC)

[edit] Indefinite statements

There's a couple of indefinite statements in the article that could do with being made definite. Namely:

  • "The first rigorous formulation and proof seems to be due to Theodore P. Hill in 1988."
  • "The statement may have been made first by Isaac Newton in 1665."
  • "In Europe, it seems to have been rediscovered by Fermat"

Mike Peel 08:55, 29 August 2006 (UTC)

It may take me some time, but I'll try to find a more graceful way to convey that history of mathematics is fraught with errors even when it comes to the facts of the matter, much less the infinitely more important task of placing original papers in their contemporary context. ---CH 20:03, 29 August 2006 (UTC)