-
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...
- In mathematics, the four
color theorem, or the four
color map
theorem,
states that no more than four
colors are
required to
color the
regions of any map...
- Gödel's
incompleteness theorems are two
theorems of
mathematical logic that are
concerned with the
limits of
provability in
formal axiomatic theories...
-
Wikifunctions has a
function related to this topic. Bayes'
theorem (alternatively Bayes' law or Bayes' rule,
after Thomas Bayes)
gives a mathematical...
- 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
number theory, Fermat's Last
Theorem (sometimes
called Fermat's conjecture,
especially in
older texts)
states that no
three positive integers a, b...
-
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 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...
