First-order logicFirst-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects, and allows the use of sentences that contain variables, so that rather than propositions such as "Socrates is a man", one can have expressions in the form "there exists x such that x is Socrates and x is a man", where "there exists" is a quantifier, while x is a variable.
Mittag-Leffler functionIn mathematics, the Mittag-Leffler function is a special function, a complex function which depends on two complex parameters and . It may be defined by the following series when the real part of is strictly positive: where is the gamma function. When , it is abbreviated as . For , the series above equals the Taylor expansion of the geometric series and consequently . In the case and are real and positive, the series converges for all values of the argument , so the Mittag-Leffler function is an entire function.
Half-integerIn mathematics, a half-integer is a number of the form where is a whole number. For example, are all half-integers. The name "half-integer" is perhaps misleading, as the set may be misunderstood to include numbers such as 1 (being half the integer 2). A name such as "integer-plus-half" may be more accurate, but even though not literally true, "half integer" is the conventional term. Half-integers occur frequently enough in mathematics and in quantum mechanics that a distinct term is convenient.
Degenerate conicIn geometry, a degenerate conic is a conic (a second-degree plane curve, defined by a polynomial equation of degree two) that fails to be an irreducible curve. This means that the defining equation is factorable over the complex numbers (or more generally over an algebraically closed field) as the product of two linear polynomials. Using the alternative definition of the conic as the intersection in three-dimensional space of a plane and a double cone, a conic is degenerate if the plane goes through the vertex of the cones.
Riesz potentialIn mathematics, the Riesz potential is a potential named after its discoverer, the Hungarian mathematician Marcel Riesz. In a sense, the Riesz potential defines an inverse for a power of the Laplace operator on Euclidean space. They generalize to several variables the Riemann–Liouville integrals of one variable. If 0 < α < n, then the Riesz potential Iαf of a locally integrable function f on Rn is the function defined by where the constant is given by This singular integral is well-defined provided f decays sufficiently rapidly at infinity, specifically if f ∈ Lp(Rn) with 1 ≤ p < n/α.
Pascal's theoremIn projective geometry, Pascal's theorem (also known as the hexagrammum mysticum theorem, Latin for mystical hexagram) states that if six arbitrary points are chosen on a conic (which may be an ellipse, parabola or hyperbola in an appropriate affine plane) and joined by line segments in any order to form a hexagon, then the three pairs of opposite sides of the hexagon (extended if necessary) meet at three points which lie on a straight line, called the Pascal line of the hexagon. It is named after Blaise Pascal.
