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.

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.

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 ...

A shift-invariant operator Q for which Qx is a nonzero constant. 1. Qa=0 for every constant a. 2. If p(x) is a polynomial of degree n, Qp(x) is a polynomial of degree n-1. 3. ...

The 10_3 configuration of ten lines intersecting three at a time in 10 points which arises in Desargues' theorem. Its Levi graph is the Desargues graph.

The study of definable sets and functions in polish spaces.

A formal description of the constraints on the possible configurations of an experiment which is subject to given conditions. A design is sometimes called an experimental ...

The desmic configuration is three-dimensional configuration of points consisting of three tetrads of points, each two of the tetrads of which are perspective from the four ...