Phrase Hound found 13 phrases and 4 compound words that contain theorems. The most common are listed below. Open theorems in the live search for definitions, filters, and the full list.
Phrases 13
- Gödel's incompleteness theoremsplural of Gödel's incompleteness theorem: Either of the two theorems in mathematical logic that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic.
- fundamental theoremsplural of fundamental theorem: A theorem (or, in non-mathematical fields, a commonly accepted hypothesis) considered to be of central importance to a specified field.
- no-go theoremsplural of no-go theorem: Any theorem stating that a particular situation is not physically possible.
- time hierarchy theoremsplural of time hierarchy theorem: A theorem that demonstrates that allowing Turing machines additional computation time strictly increases the class of languages that they can decide.
- Sylow theoremsplural of Sylow theorem: Any of a collection of theorems of finite group theory that give detailed information about the number of subgroups of fixed order that a given finite group contains.
- Tauberian theoremsplural of Tauberian theorem: Any of a class of theorems which, for a given Abelian theorem, specifies conditions such that any series whose Abel sums converge (as stipulated by the Abelian theorem) is in fact convergent.
- Kleene's recursion theoremsplural of Kleene's recursion theorem: Either of are a pair of fundamental results about the application of computable functions to their own descriptions. They can be applied to construct fixed points of certain operations on computable …
- deduction theoremsplural of deduction theorem: A procedure for "discharging" assumptions from an inference, causing them to become antecedents of the conclusion; or vice versa. Symbolically, the conversion of an inference of the form P,A⊢C to an inference …
- spectral theoremsplural of spectral theorem: A theorem providing conditions under which an operator or matrix can be diagonalized.
- central limit theoremsplural of central limit theorem: The theorem that states that if the sum of independent identically distributed random variables has a finite variance, then it will be approximately normally distributed.
- mean value theoremsplural of mean value theorem: The theorem that for any real-valued function that is differentiable on an interval, there is a point in that interval where the derivative of the curve equals the slope of the straight line between the …
- prime number theoremsplural of prime number theorem: The theorem that the number of prime numbers less than n asymptotically approaches n / ln(n) as n approaches infinity.
- Ramsey's theoremsplural of Ramsey's theorem: A (version of a) theorem concerning the existence of cliques in a labelled complete graph.
Compound words 4
- antitheoremsplural of antitheorem: A syntactically correct expression whose negation is a theorem.
- countertheoremsplural of countertheorem: A theorem formulated in opposition to another.
- metatheoremsplural of metatheorem: A statement about theorems proven in a metalanguage.
- nontheoremsplural of nontheorem: That which is not a theorem.