-
mathematics and
formal logic, a
theorem is a
statement that has been proven, or can be proven. The
proof of a
theorem is a
logical argument that uses...
- In mathematics, the
Pythagorean theorem or Pythagoras'
theorem is a
fundamental relation in
Euclidean geometry between the
three sides of a
right triangle...
- Gödel's
incompleteness theorems are two
theorems of
mathematical logic that are
concerned with the
limits of
provability in
formal axiomatic theories...
- Bayes'
theorem (alternatively Bayes' law or Bayes' rule,
after Thomas Bayes)
gives a
mathematical rule for
inverting conditional probabilities, allowing...
- In
vector calculus, the
divergence theorem, also
known as Gauss's
theorem or Ostrogradsky's
theorem, is a
theorem relating the flux of a
vector field through...
- Noether's
theorem states that
every continuous symmetry of the
action of a
physical system with
conservative forces has a
corresponding conservation law...
- In
number theory, Fermat's Last
Theorem (sometimes
called Fermat's conjecture,
especially in
older texts)
states that no
three positive integers a, b...
- In mathematics, the mean
value theorem (or Lagrange's mean
value theorem) states, roughly, that for a
given planar arc
between two endpoints,
there is...
- In
database theory, the CAP
theorem, also
named Brewer's
theorem after computer scientist Eric Brewer,
states that any
distributed data
store can provide...
- In
probability theory, the
central limit theorem (CLT)
states that,
under appropriate conditions, the
distribution of a
normalized version of the sample...