Search Results for ""

Hilbert's problems are a set of (originally) unsolved problems in mathematics proposed by Hilbert. Of the 23 total appearing in the printed address, ten were actually ...

The m+1 ellipsoidal harmonics when kappa_1, kappa_2, and kappa_3 are given can be arranged in such a way that the rth function has r-1 zeros between -a^2 and -b^2 and the ...

The absence of contradiction (i.e., the ability to prove that a statement and its negative are both true) in an Axiomatic system is known as consistency.

The branch of formal logic, also called functional calculus, that deals with representing the logical connections between statements as well as the statements themselves.

Let f(z) be an analytic function of z, regular in the half-strip S defined by a<x<b and y>0. If f(z) is bounded in S and tends to a limit l as y->infty for a certain fixed ...

The Mertens constant B_1, also known as the Hadamard-de la Vallee-Poussin constant, prime reciprocal constant (Bach and Shallit 1996, p. 234), or Kronecker's constant ...

Let R be a ring. If phi:R->S is a ring homomorphism, then Ker(phi) is an ideal of R, phi(R) is a subring of S, and R/Ker(phi)=phi(R).

If equilateral triangles DeltaABE_(AB), DeltaBCE_(BC), and DeltaACE_(AC) are erected externally on the sides of any triangle DeltaABC, then their centers N_(AB), N_(BC), and ...

Self-recursion is a recursion that is defined in terms of itself, resulting in an ill-defined infinite regress. The formula for the volume of a cylinder leads to the ...

Euclid's second theorem states that the number of primes is infinite. The proof of this can be accomplished using the numbers E_n = 1+product_(i=1)^(n)p_i (1) = 1+p_n#, (2) ...