In mathematics, Richardson's theorem establishes the undecidability of the equality of real numbers defined by expressions involving integers, π, ln ⁡...

(mathematical logic) Richardson's theorem (mathematical logic) Robinson's joint consistency theorem (mathematical logic) Sahlqvist correspondence theorem (modal logic)...

Liouville's theorem (differential algebra) – Says when antiderivatives of elementary functions can be expressed as elementary functions Richardson's theorem – Undecidability...

the exponential function, can provide undecidable theories; see Richardson's theorem and Decidability of first-order theories of the real numbers. Furthermore...

functions are equal, known as the zero-equivalence problem (see Richardson's theorem); the zeroes of a function; whether the indefinite integral of a...

elementary functions, then it is known that no such algorithm exists; see Richardson's theorem. This issue also arises in the polynomial division algorithm; this...

this allows encoding of the undecidable theory of integers (see Richardson's theorem). Still, one can handle the undecidable case with functions such...

has been shown that the problem is undecidable, a result known as Richardson's theorem. In general, methods specific to the expression being studied are...

there cannot exist any algorithm for deciding such an equality (see Richardson's theorem). An equivalence relation is a mathematical relation that generalizes...

2 . {\displaystyle (x+y)^{2}=x^{2}+2xy+y^{2}.} It is known from Richardson's theorem that there may not exist an algorithm that decides whether two expressions...

the arithmetical operations, the logarithm and the exponential (Richardson's theorem). An algebraic expression is an expression built up from algebraic...

Integrals not expressible in closed-form from elementary functions Richardson's theorem – Undecidability of equality of real numbers Stanley Burris, Simon...

In information theory, the noisy-channel coding theorem (sometimes Shannon's theorem or Shannon's limit), establishes that for any given degree of noise...

Holland's schema theorem, also called the fundamental theorem of genetic algorithms, is an inequality that results from coarse-graining an equation for...

formalization of an axiomatic system used for deducing, using rules of inference, theorems from axioms by a set of inference rules. In 1921, David Hilbert proposed...

such as telephone lines or disk drive storage. The noisy-channel coding theorem applies to BSCp, saying that information can be transmitted at any rate...

J. (2000), "Semi-invariants of quivers and saturation for Littlewood–Richardson coefficients.", J. Amer. Math. Soc., 3 (13): 467–479, doi:10.1090/S0894-0347-00-00331-3...

square root Kantorovich theorem Laguerre's method Methods of computing square roots Newton's method in optimization Richardson extrapolation Root-finding...

Gauss produced the second and third complete proofs of the fundamental theorem of algebra. In number theory, he made numerous contributions, such as the...

first true novels in English literature while Clarissa is regarded as Richardson's magnum opus and one of the greatest novels in the English language. The...

In Riemannian geometry, Cheng's eigenvalue comparison theorem states in general terms that when a domain is large, the first Dirichlet eigenvalue of its...

fundamentals of geography; digested into various definitions, problems, theorems, and paradoxes: with a transient survey of the surface of the earthly ball...

published by Richardson (1972), and it can be even further generalized from lattices to discrete groups. One important consequence of the theorem is that,...

named Dr. King Schultz. He has also starred in Carnage (2011), The Zero Theorem (2013), Big Eyes (2014), Downsizing (2017), Alita: Battle Angel (2019)...

Rational Functions, Theorem 5.6.2. Beardon, Iteration of Rational Functions, Theorem 7.1.1. Beardon, Iteration of Rational Functions, Theorem 3.2.4. Tan Lei...

under new colours." In November 2013 during the promotion of The Zero Theorem at the Venice Film Festival, Gilliam told Variety "I'm going to try to...

exists that can neither be proved nor disproved (see Gödel's incompleteness theorems). Leibniz identified two kinds of truth, necessary and contingent truths...

data. Mathematics portal Systems science portal Banach fixed point theorem – Theorem about metric spacesPages displaying short descriptions of redirect...

the last nucleotide by the three 31 nucleotide minihelix tRNA evolution theorem, which also describes the pre-life to life transition on Earth. Three 31...

methods are appropriate for that class of problems. The Picard–Lindelöf theorem states that there is a unique solution, provided f is Lipschitz-continuous...