Search Results for ""

A theorem, also called the iteration theorem, that makes use of the lambda notation introduced by Church. Let phi_x^((k)) denote the recursive function of k variables with ...

Informally, an L^2-function is a function f:X->R that is square integrable, i.e., |f|^2=int_X|f|^2dmu with respect to the measure mu, exists (and is finite), in which case ...

For any constructible function f, there exists a function P_f such that for all functions t, the following two statements are equivalent: 1. There exists an algorithm A such ...

The Weierstrass constant is defined as the value sigma(1|1,i)/2, where sigma(z|omega_1,omega_2) is the Weierstrass sigma function with half-periods omega_1 and omega_2. ...

To truncate a real number is to discard its noninteger part. Truncation of a (positive) number x therefore corresponds to taking the floor function |_x_|. Truncation also ...

For R[n]>-1 and R[z]>0, Pi(z,n) = n^zint_0^1(1-x)^nx^(z-1)dx (1) = (n!)/((z)_(n+1))n^z (2) = B(z,n+1), (3) where (z)_n is the Pochhammer symbol and B(p,q) is the beta ...

Let u_1<=u_2<=... be harmonic functions on a connected open set U subset= C. Then either u_j->infty uniformly on compact sets or there is a finite-values harmonic function u ...

The infinite product identity Gamma(1+v)=2^(2v)product_(m=1)^infty[pi^(-1/2)Gamma(1/2+2^(-m)v)], where Gamma(x) is the gamma function.

A function f(x) satisfies the Lipschitz condition of order beta at x=0 if |f(h)-f(0)|<=B|h|^beta for all |h|<epsilon, where B and beta are independent of h, beta>0, and alpha ...

A knot K embedded in R^3=C_z×R_t, where the three-dimensional space R^3 is represented as a direct product of a complex line C with coordinate z and a real line R with ...