Search Results for ""

A theory is decidable iff there is an algorithm which can determine whether or not any sentence r is a member of the theory.

A branch of game theory dealing with strategies to maximize the outcome of a given process in the face of uncertain conditions.

A continuum is a decomposable continuum if and only if it is the union of two of its proper subcontinua. A continuum that is not decomposable is an indecomposable continuum.

For every partition of all the points on a line into two nonempty sets such that no point of either lies between two points of the other, there is a point of one set which ...

Deduction is the process of drawing conclusions from premises and syllogisms.

Qualitatively, a deep theorem is a theorem whose proof is long, complicated, difficult, or appears to involve branches of mathematics which are not obviously related to the ...

A degree set is a set of integers that make up a degree sequence. Any set of positive integers is the degree set for some graph, because any odd integer from that set can be ...

A surface which is related to Cayley numbers.

An illusion due to Franz Joseph Delboeuf, a Belgian philosopher and expert on hypnosis. If the same circle is placed inside two different concentric circles, its size will ...

Given a Jacobi amplitude phi and a elliptic modulus m in an elliptic integral, Delta(phi)=sqrt(1-msin^2phi).