collection of formulas
1Viète's formulas — For Viète s formula for computing pi;, see that article. In mathematics, more specifically in algebra, Viète s formulas, named after François Viète, are formulas which relate the coefficients of a polynomial to signed sums and products of its… …
2Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… …
3Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …
4Formulary — A collection of formulas, recipes, and prescriptions. The National Formulary is published by the American Pharmaceutical Association every 5 years and gives the composition, description, method of preparation, and dosage for drugs. The British… …
5Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… …
6Euler–Mascheroni constant — Euler s constant redirects here. For the base of the natural logarithm, e ≈ 2.718..., see e (mathematical constant). The area of the blue region is equal to the Euler–Mascheroni constant. List of numbers – Irrational and suspected irrational… …
7Markov logic network — A Markov logic network (or MLN) is a probabilistic logic which applies the ideas of a Markov network to first order logic, enabling uncertain inference. Markov logic networks generalize first order logic, in the sense that, in a certain limit,… …
8Constante de Euler-Mascheroni — La constante de Euler Mascheroni, (también conocida como constante de Euler ) es una constante matemática que aparece principalmente en teoría de números, y se denota con la letra griega minúscula γ (Gamma). Se define como el límite de la… …
9for|mu|lar|y — «FR myuh LEHR ee», noun, plural lar|ies, adjective. –n. 1. a collection of formulas. 2. a set form of words; formula. 3. Pharmacy. a book of formulas for standard preparations used in medicines. –adj. having to do with formulas …
10Fritz Oberhettinger — (* 24. Februar 1911 in Gelsenkirchen Buer; † 2. Juni 1993 in Seal Rock, Oregon) war ein deutsch US amerikanischer Mathematiker, bekannt für Tafelwerke über spezielle Funktionen. Oberhettinger machte 1936 in Breslau sein Staatsexamen und… …