Search Results for ""

A type of mathematical result which is considered by most logicians as more natural than the metamathematical incompleteness results first discovered by Gödel. Finite ...

A sentential formula that contains at least one free variable (Carnap 1958, p. 24). A sentential variable containing no free variables (i.e., all variables are bound) is ...

Two totally ordered sets (A,<=) and (B,<=) are order isomorphic iff there is a bijection f from A to B such that for all a_1,a_2 in A, a_1<=a_2 iff f(a_1)<=f(a_2) (Ciesielski ...

A pandiagonal perfect magic cube is a perfect magic cube that remains perfect when any single orthogonal section is "restacked" cyclically so that the ordering of any set of ...

The parabididiminished rhombicosidodecahedron is a convex equilateral solid that is Johnson solid J_(820). The unit parabididiminished rhombicosidodecahedron ...

There are two different definitions of "polar vector." In elementary math, the term "polar vector" is used to refer to a representation of a vector as a vector magnitude ...

A polyomino-like object made by attaching squares joined either at sides or corners. Because neighboring squares can be in relation to one another as kings may move on a ...

"Q.E.D." (sometimes written "QED") is an abbreviation for the Latin phrase "quod erat demonstrandum" ("that which was to be demonstrated"), a notation which is often placed ...

The radius of curvature is given by R=1/(|kappa|), (1) where kappa is the curvature. At a given point on a curve, R is the radius of the osculating circle. The symbol rho is ...

The Randić matrix A_(Randic) of a simple graph is a weighted adjacency matrix with weight f(d_i,d_j)=1/(sqrt(d_id_j)), (1) where d_i are the vertex degrees of the graph. In ...