Search Results for ""

If the consistency of one of two propositions implies the consistency of the other, the first is said to have greater consistency strength.

No A is not-A.

An immediate consequence of a result already proved. Corollaries usually state more complicated theorems in a language simpler to use and apply.

x^(2n)+1=[x^2-2xcos(pi/(2n))+1] ×[x^2-2xcos((3pi)/(2n))+1]×...× ×[x^2-2xcos(((2n-1)pi)/(2n))+1].

The largest n such that |z_n|<4 in a Mandelbrot set. Points of different count are often assigned different colors.

If r experiments are performed with n_i possible outcomes for each experiment i=1,2,...,r, then there are a total of product_(i=1)^(r)n_i possible outcomes.

If X and Y are independent variates and X+Y is a normal distribution, then both X and Y must have normal distributions. This was proved by Cramér in 1936.

A group of sociable numbers of order 3.

A linear functional on a smooth differential form.

z^p-y^p=(z-y)(z-zetay)...(z-zeta^(p-1)y), where zeta=e^(2pii/p) (a de Moivre number) and p is a prime.