Talk:Emanuel Sperner

From Wikipedia, the free encyclopedia

	This article is within the scope of WikiProject Biography. For more information, visit the project page.	Biography Portal
Stub	This article has been rated as Stub-Class on the project's quality scale. [FAQ]
	This article is supported by the Science and academia work group.

	Germany Portal This article is within the scope of WikiProject Germany, an attempt to build a comprehensive and detailed guide to articles related to Germany on Wikipedia. If you would like to participate, please join the project and help with our open tasks.
Stub	This article has been rated as Stub-Class on the quality scale. (If you rated the article please give a short summary at comments to explain the ratings and/or to identify the strengths and weaknesses.)
Additional information: This article has been checked against the following criteria for B-Class status: Referencing and citation: not checked Coverage and accuracy: not checked Structure: not checked Grammar: not checked Supporting materials: not checked To fill out this checklist, please add the following to the template call: <!-- 1. It is suitably referenced, and all major points are appropriately cited. --> |B-Class-1=yes/no <!-- 2. It reasonably covers the topic, and does not contain major omissions or inaccuracies. --> |B-Class-2=yes/no <!-- 3. It has a defined structure, including a lead section and one or more sections of content. --> |B-Class-3=yes/no <!-- 4. It is free from major grammatical errors. --> |B-Class-4=yes/no <!-- 5. It contains appropriate supporting materials, such as an infobox, images, or diagrams. --> |B-Class-5=yes/no

Sperner called his antichain result a "Satz", in the very title of his paper. It was not a lemma to anything. In contrast, the triangulation result was explicitly a lemma. If people today call his Satz a lemma, it's probably because they've heard "Sperner's lemma" mentioned. I really don't care if some people insist on calling his Satz his lemma, but since Wikipedia has both, we should follow the least ambiguous terminology.

As it is, I've never actually seen his Satz called his lemma before this. Can somebody provide a reference? I can cite several books and papers, all calling it "Sperner's theorem".--192.35.35.36 15:04, 17 Feb 2005 (UTC)

In fact, I just noticed that the antichain link refers to Sperner family, which contains a proof of "Sperner's theorem". So Wikipedia is already using "Sperner's theorem".--192.35.35.36 15:28, 17 Feb 2005 (UTC)