Church-Rosser theorem (797 bytes)
1: In [[mathematical logic]], the '''Church-Rosser theorem''' states that, in the [[lambda calculus]],
2: ...t most one [[normal form]]. More formally, the '''Church-Rosser property''' states that the [[Typed lambda calcul...
4: ...forms will be identical. It is the Church-Rosser theorem that justifies references to "''the'' normal form...
6: The theorem was proved in 1937 by [[Alonzo Church]] and [[J. ...
10: [[Category:Theorems]]

Rosser (218 bytes)

J. Barkley Rosser (1058 bytes)
1: ...]], and known for his part in the [[Church-Rosser theorem]], in [[lambda calculus]]. He also developed what...
3: ...tronger version of [[Gödel's first incompleteness theorem]], showing that the requirement for <math>\omega<...

Rosser Reeves (2730 bytes)

Rosser, Texas (2613 bytes)

Church lads and church girls brigade (1205 bytes)

Church militant and church triumphant (1270 bytes)

Theorem (2593 bytes)
1: ...a central activity of [[mathematics]]. Note that 'theorem' is distinct from '[[theory]]'.
3: ...on as a ''theorem'' is not considered part of the theorem.
5: ...teresting or important in some way to be called a theorem. Less important statements are called:
6: ...ithout going on to use that result in any "major" theorem.
7: ...position ''A'' is a corollary of a proposition or theorem ''B'' if ''A'' can be deduced quickly and easily ...

No-go theorem (225 bytes)
1: ...eoretical physics]], a '''no-go theorem''' is a [[theorem]] that shows that an idea is not possible even th...
3: The [[Coleman-Mandula theorem]] is an example.

H-theorem (800 bytes)
1: In [[thermodynamics]], the '''H-theorem''' describes the increase of [[entropy]] of an [[...
11: This theorem is based on Boltzmann's assumption of "molecular...
13: ...hmidt's paradox]] - is found in the [[Fluctuation Theorem]].

Mean value theorem (6458 bytes)
2: [[Category:Theorems]]
3: ...alue Theorem]] In [[calculus]], the '''mean value theorem''' states, roughly, that given a section of a smo...
5: ...ean value theorem can be used to prove [[Taylor's theorem]], of which it is a special case.
7: More precisely, the theorem states: for some [[Continuous function|continuall...
12: '''Generalization:''' The theorem is usually stated in the form above, but it is ac...

Extreme value theorem (646 bytes)
1: In [[calculus]], the '''extreme value theorem''' states that if a function ''f''(''x'') is [[C...
7: ... extreme value theorem is used to prove [[Rolle's theorem]].
10: ....org/fta/fta_note.shtml A Proof for extreme value theorem]
13: [[Category:Theorems]]

Marriage theorem (2387 bytes)
1: In [[mathematics]], the '''marriage theorem''', usually credited to mathematician [[Phillip H...
9: The marriage theorem then states that there exists a set of distinct r...
11: ... at this point) of an application of the marriage theorem is to imagine two groups of ''n'' men and women. ...
15: ...3 piles of 4 cards each. Then, using the marriage theorem, we can show that it is possible to select exactl...
17: ...a finite [[subgroup]] of ''G''. Then the marriage theorem can be used to show that there is a set ''X'' suc...

Equipartition theorem (1600 bytes)
1: The '''Equipartition Theorem''' is a principle of classical (non-[[Quantum mec...
3: ...mple, in [[thermodynamics]], the '''equipartition theorem''' says that the mean [[internal energy]] associa...
11: ...it of an energy [[continuum]]. The equipartition theorem breaks down in the limit of large gaps between qu...

Thales' theorem (2634 bytes)
1: In [[geometry]], '''Thales' theorem''' (named after [[Thales]] of Miletus) states tha...
4: [[Image:thales-theorem.png]]
44: The converse of Thales' theorem is also true. It states that if you have a [[righ...
46: The theorem and its converse can be expressed as follows:
51: ...hales' theorem is a special case of the following theorem: given three points A, B and C on a circle with c...

Virial theorem (3455 bytes)
3: The '''virial theorem''' states that the average [[kinetic energy]] of ...
9: ...f the force is derivable from a [[potential]] the theorem becomes,
17: then the virial theorem can be written as
21: ...nverse square law forces (i.e. n=-2), the virial theorem states:
30: ... obeys an inverse square law relation, the virial theorem is a remarkably useful simplifying result for oth...

Well-ordering theorem (1077 bytes)
2: The '''well-ordering theorem''' (not to be confused with the [[well-ordering a...
6: ...rem. It turned out though, that the well-ordering theorem is equivalent to the axiom of choice, in the sens...

Künneth theorem (3692 bytes)
1: In [[mathematics]], the '''Künneth theorem''' of [[algebraic topology]] describes the [[sing...
23: ...' &times; ''Y''). The statement of the '''Künneth theorem''', when ''R'' is a field, is that this linear ma...
41: ...f of the result depends on the [[Eilenberg-Zilber theorem]].

Descartes' theorem (5514 bytes)
1: ...ing''', or mutually [[tangent]], [[circle]]s. The theorem can be used to construct a fourth circle tangent ...
7: ...tion (1) below, and thus attached his name to the theorem.
9: ...ture'']] (June 20, 1936). Soddy also extended the theorem to spheres.
14: Descartes' theorem is most easily stated in terms of the circles' [[...
18: ...le with curvature ''k''&nbsp;=&nbsp;0, Descartes' theorem also applies to a line and two circles that are a...

Ultraparallel theorem (1743 bytes)
1: In [[hyperbolic geometry]], the '''Ultraparallel theorem''' states that every pair of ultraparallel

<< Prev 20 Result Pages:   1  2  3  4  5  6  7  8  9  10  Next 20 >>