TOPICS
Search

Theorem


A theorem is a statement that can be demonstrated to be true by accepted mathematical operations and arguments. In general, a theorem is an embodiment of some general principle that makes it part of a larger theory. The process of showing a theorem to be correct is called a proof.

Although not absolutely standard, the Greeks distinguished between "problems" (roughly, the construction of various figures) and "theorems" (establishing the properties of said figures; Heath 1956, pp. 252, 262, and 264).

According to the Nobel Prize-winning physicist Richard Feynman (1985), any theorem, no matter how difficult to prove in the first place, is viewed as "trivial" by mathematicians once it has been proven. Therefore, there are exactly two types of mathematical objects: trivial ones, and those which have not yet been proven.

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).

R. Graham has estimated that upwards of 250000 mathematical theorems are published each year (Hoffman 1998, p. 204).


See also

Axiom, Axiomatic System, Corollary, Deep Theorem, Porism, Lemma, Metatheorem, Postulate, Principle, Problem, Proof, Proposition, Tautology, Trivial

Explore with Wolfram|Alpha

References

Feynman, R. P. Surely You're Joking, Mr. Feynman! New York: Bantam Books, 1985.Heath, T. L. The Thirteen Books of the Elements, 2nd ed., Vol. 1: Books I and II. New York: Dover, 1956.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.TH exists OREM forall Computer-Supported Mathematical Theorem Proving. http://www.theorema.org/.Wolfram, S. A New Kind of Science. Champaign, IL: Wolfram Media, 2002.

Referenced on Wolfram|Alpha

Theorem

Cite this as:

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

Subject classifications