TOPICS
Search

Lemma

A short theorem used in proving a larger theorem. Related concepts are the axiom, porism, postulate, principle, and theorem.

The late mathematician P. Erdős has often been associated with the observation that "a mathematician is a machine for converting coffee into theorems" (e.g., Hoffman 1998, p. 7). However, this characterization appears to be due to his friend, Alfred Rényi (MacTutor, Malkevitch). This thought was developed further by Erdős' friend and Hungarian mathematician Paul Turán, who suggested that weak coffee was suitable "only for lemmas" (MacTutor, Malkevitch).

See also

Abel's Lemma, Barnes' Lemma, Borel-Cantelli Lemma, Cauchy-Frobenius Lemma, Danielson-Lanczos Lemma, Dehn's Lemma, Dilworth's Lemma, Dirichlet's Lemma, Division Lemma, Farkas's Lemma, Fatou's Lemma, Fundamental Lemma of Calculus of Variations, Gauss's Lemma, Hensel's Lemma, Ito's Lemma, Jordan's Lemma, Neyman-Pearson Lemma, Poincaré's Holomorphic Lemma, Poincaré's Lemma, Riemann-Lebesgue Lemma, Schur's Lemma, Schur's Representation Lemma, Schwarz-Pick Lemma, Spijker's Lemma, Zorn's Lemma

Explore with Wolfram|Alpha

References

Hoffman, P. The Man Who Loved Only Numbers: The Story of Paul Erdős and the Search for Mathematical Truth. New York: Hyperion, 1998.MacTutor History of Mathematics Archive. "Alfréd Rényi." http://www-history.mcs.st-andrews.ac.uk/Biographies/Renyi.html.Malkevitch, J. "The Erdős Graph." http://www.ams.org/featurecolumn/archive/networks6.html.

Referenced on Wolfram|Alpha

Lemma

Cite this as:

Weisstein, Eric W. "Lemma." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Lemma.html

Subject classifications