Search Results for ""

Metamathematics is another word for proof theory. The branch of logic dealing with the study of the combination and application of mathematical symbols is also sometimes ...

An axiom is a proposition regarded as self-evidently true without proof. The word "axiom" is a slightly archaic synonym for postulate. Compare conjecture or hypothesis, both ...

Related to or being the mathematically most simple case. More generally, the word "trivial" is used to describe any result which requires little or no effort to derive or ...

The prime link 05-0201, illustrated above, with braid word sigma_1^2sigma_2^2sigma_1^(-1)sigma_2^(-2) or sigma_1sigma_2^(-1)sigma_1sigma_2^(-2) and Jones polynomial ...

A Lyndon word is an aperiodic notation for representing a necklace.

"Q.E.F.," sometimes written "QEF," is an abbreviation for the Latin phrase "quod erat faciendum" ("that which was to be done"). It is a translation of the Greek words used by ...

The question of whether a solution to a given problem exists. The existence problem can be solved in the affirmative without actually finding a solution to the original ...

A problem in the theory of algebraic invariants that was solved by Hilbert using an existence proof.

If W is a simply connected, compact manifold with a boundary that has two components, M_1 and M_2, such that inclusion of each is a homotopy equivalence, then W is ...

Let X be an alphabet (i.e., a finite and nonempty set), and call its member letters. A word on X is a finite sequence of letters a_1...a_n, where a_1,...,a_n in X. Denote the ...