-
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...
- Gödel's
incompleteness theorems are two
theorems of
mathematical logic that are
concerned with the
limits of
provability in
formal axiomatic theories...
- In mathematics, the
Pythagorean theorem or Pythagoras'
theorem is a
fundamental relation in
Euclidean geometry between the
three sides of a
right triangle...
-
Wikifunctions has a
function related to this topic. Bayes'
theorem (alternatively Bayes' law or Bayes' rule,
after Thomas Bayes)
gives a mathematical...
- 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
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...
- 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...
-
theorem, also
known as the Kelvin–Stokes
theorem after Lord
Kelvin and
George Stokes, the
fundamental theorem for curls, or
simply the curl
theorem,...
- 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...
