Search Results for ""

A sentential formula that contains at least one free variable (Carnap 1958, p. 24). A sentential variable containing no free variables (i.e., all variables are bound) is ...

Let (A,<=) and (B,<=) be totally ordered sets. Let C=A×B be the Cartesian product and define order as follows. For any a_1,a_2 in A and b_1,b_2 in B, 1. If a_1<a_2, then ...

The first theorem of Pappus states that the surface area S of a surface of revolution generated by the revolution of a curve about an external axis is equal to the product of ...

The golden ratio phi can be written in terms of a nested radical in the beautiful form phi=sqrt(1+sqrt(1+sqrt(1+sqrt(1+...)))), (1) which can be written recursively as ...

The permutation tensor, also called the Levi-Civita tensor or isotropic tensor of rank 3 (Goldstein 1980, p. 172), is a pseudotensor which is antisymmetric under the ...

Two lines, vectors, planes, etc., are said to be perpendicular if they meet at a right angle. In R^n, two vectors a and b are perpendicular if their dot product a·b=0. (1) In ...

Petersson considered the absolutely converging Dirichlet L-series phi(s)=product_(p)1/(1-c(p)p^(-s)+p^(2k-1)p^(-2s)). (1) Writing the denominator as ...

The Pierce expansion, or alternated Egyptian product, of a real number 0<x<1 is the unique increasing sequence {a_1,a_2,...} of positive integers a_i such that ...

The Pippenger product is an unexpected Wallis-like formula for e given by e/2=(2/1)^(1/2)(2/34/3)^(1/4)(4/56/56/78/7)^(1/8)... (1) (OEIS A084148 and A084149; Pippenger 1980). ...

Flat polygons embedded in three-space can be transformed into a congruent planar polygon as follows. First, translate the starting vertex to (0, 0, 0) by subtracting it from ...