Talk:Emanuel Sperner

	Biography portal This article is within the scope of WikiProject Biography, a collaborative effort to create, develop and organize Wikipedia's articles about people. All interested editors are invited to join the project and contribute to the discussion. For instructions on how to use this banner, please refer to the documentation.BiographyWikipedia:WikiProject BiographyTemplate:WikiProject Biographybiography articles
	This article is supported by the science and academia work group (assessed as Low-importance).

Germany

	Germany portal This article is within the scope of WikiProject Germany, a collaborative effort to improve the coverage of Germany on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.GermanyWikipedia:WikiProject GermanyTemplate:WikiProject GermanyGermany articles
???	This article has not yet received a rating on the project's importance scale.

Mathematics

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
???	This article has not yet received a rating on the project's priority scale.

Untitled

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)