Search Results for ""

A version of set theory which is a formal system expressed in first-order predicate logic. Zermelo-Fraenkel set theory is based on the Zermelo-Fraenkel axioms. ...

The version of set theory obtained if Axiom 6 of Zermelo-Fraenkel set theory is replaced by 6'. Selection axiom (or "axiom of subsets"): for any set-theoretic formula A(u), ...

An integer whose decimal digits contain no zeros is said to be zerofree. The first few positive zerofree integers are 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, ...

Trigonometry

As a consequence of Matiyasevich's refutation of Hilbert's 10th problem, it can be proved that there does not exist a general algorithm for solving a general quartic ...

Solutions to the associated Laguerre differential equation with nu!=0 and k an integer are called associated Laguerre polynomials L_n^k(x) (Arfken 1985, p. 726) or, in older ...

An Eisenstein series with half-period ratio tau and index r is defined by G_r(tau)=sum^'_(m=-infty)^inftysum^'_(n=-infty)^infty1/((m+ntau)^r), (1) where the sum sum^(') ...

Given a Jacobi theta function, the nome is defined as q(k) = e^(piitau) (1) = e^(-piK^'(k)/K(k)) (2) = e^(-piK(sqrt(1-k^2))/K(k)) (3) (Borwein and Borwein 1987, pp. 41, 109 ...

The angles mpi/n (with m,n integers) for which the trigonometric functions may be expressed in terms of finite root extraction of real numbers are limited to values of m ...

cos(pi/(30)) = 1/4sqrt(7+sqrt(5)+sqrt(6(5+sqrt(5)))) (1) cos((7pi)/(30)) = 1/4sqrt(7-sqrt(5)+sqrt(6(5-sqrt(5)))) (2) cos((11pi)/(30)) = 1/4sqrt(7+sqrt(5)-sqrt(6(5+sqrt(5)))) ...