Theorem

related topics
{math, number, function}
{theory, work, human}
{work, book, publish}
{language, word, form}
{style, bgcolor, rowspan}

In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements, such as axioms. The derivation of a theorem is often interpreted as a proof of the truth of the resulting expression, but different deductive systems can yield other interpretations, depending on the meanings of the derivation rules. Theorems have two components, called the hypotheses and the conclusions. The proof of a mathematical theorem is a logical argument demonstrating that the conclusions are a necessary consequence of the hypotheses, in the sense that if the hypotheses are true then the conclusions must also be true, without any further assumptions. The concept of a theorem is therefore fundamentally deductive, in contrast to the notion of a scientific theory, which is empirical.[2]

Although they can be written in a completely symbolic form using, for example, propositional calculus, theorems are often expressed in a natural language such as English. The same is true of proofs, which are often expressed as logically organized and clearly worded informal arguments intended to demonstrate that a formal symbolic proof can be constructed. Such arguments are typically easier to check than purely symbolic ones — indeed, many mathematicians would express a preference for a proof that not only demonstrates the validity of a theorem, but also explains in some way why it is obviously true. In some cases, a picture alone may be sufficient to prove a theorem. Because theorems lie at the core of mathematics, they are also central to its aesthetics. Theorems are often described as being "trivial", or "difficult", or "deep", or even "beautiful". These subjective judgments vary not only from person to person, but also with time: for example, as a proof is simplified or better understood, a theorem that was once difficult may become trivial. On the other hand, a deep theorem may be simply stated, but its proof may involve surprising and subtle connections between disparate areas of mathematics. Fermat's Last Theorem is a particularly well-known example of such a theorem.

Contents

Full article ▸

related documents
Relation (mathematics)
Constructivism (mathematics)
Resource Description Framework
Rice's theorem
Logical connective
Brute-force search
Isomorphism
Field extension
Chinese remainder theorem
Preadditive category
Cauchy–Schwarz inequality
Trace (linear algebra)
Locally compact space
Convergence of random variables
Division (mathematics)
NP-complete
Axiom schema of specification
Poincaré conjecture
Unlambda
String (computer science)
Horner scheme
Euler–Mascheroni constant
Splay tree
Transposition cipher
Linear map
Miranda (programming language)
Universal property
Abel–Ruffini theorem
Elementary algebra
Ideal (ring theory)