Cobham's theorem is a theorem in combinatorics on words that has important connections with number theory, notably transcendental numbers, and automata...

solutions are characterized by having polynomial time,[B] and for Cobham's theorem on the sets of numbers that can be recognized by finite automata.[C]...

obtainable in this way. This result is due to Cobham, and it is referred to in the literature as Cobham's little theorem. Let k ≥ 2. The k-kernel of the sequence...

Cobham's thesis, also known as Cobham–Edmonds thesis (named after Alan Cobham and Jack Edmonds), asserts that computational problems can be feasibly computed...

the time hierarchy theorems are important statements about time-bounded computation on Turing machines. Informally, these theorems say that given more...

(2006). "A generalization of Cobham's theorem for regular sequences". Séminaire Lotharingien de Combinatoire. 54A. Cobham, A. (1969). "On the base-dependence...

mathematical queueing theory, Little's law (also result, theorem, lemma, or formula) is a theorem by John Little which states that the long-term average...

mathematics, he proved the matroid intersection theorem, a very general combinatorial min-max theorem which, in modern terms, showed that the matroid...

Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems". Annals of Pure and Applied Logic. 77 (3): 251–277. doi:10...

machine using a polynomial amount of computation time, or polynomial time. Cobham's thesis holds that P is the class of computational problems that are "efficiently...

size. Just as the class P can be thought of as the tractable problems (Cobham's thesis), so NC can be thought of as the problems that can be efficiently...

The concept of NP-completeness was introduced in 1971 (see Cook–Levin theorem), though the term NP-complete was introduced later. At the 1971 STOC conference...

{\displaystyle n} , then the algorithm is said to be a polynomial time algorithm. Cobham's thesis argues that a problem can be solved with a feasible amount of resources...

means "easy" and "not in P" means "difficult", an assumption known as Cobham's thesis. It is a common assumption in complexity theory; but there are caveats...

class P, which is central in the field of computational complexity theory. Cobham's thesis states that polynomial time is a synonym for "tractable", "feasible"...

mathematical analysis. Taylor's most famous developments are Taylor's theorem and the Taylor series, essential in the infinitesimal approach of functions...

symbols for all polynomial-time algorithms introduced inductively using Cobham's characterization of polynomial-time functions. Axioms and derivations of...

the Cobham–Semënov theorem, if a relation is definable in both k and l Büchi arithmetics, then it is definable in Presburger arithmetic. Cobham, Alan...

Undecidable theories. North Holland. Vaught, Robert L. (1966). "On a Theorem of Cobham Concerning Undecidable Theories". Studies in Logic and the Foundations...

contains no block of three consecutive 1s. More succinctly, by Cobham's little theorem the Baum–Sweet word can be expressed as a coding τ {\displaystyle...

is gone.[clarification needed] Its meaning was translated in 1898 by E. Cobham Brewer in the forms "When I am dead the deluge may come for aught I care"...

Apologies: Portrait of a Problematic Vocation 2015 Cédric Villani Birth of a Theorem: A Mathematical Adventure 2015 Medicine Albert Schweitzer Out of My Life...

mathematics, Thales is the namesake of Thales's theorem, and the intercept theorem can also be known as Thales's theorem. Thales was said to have calculated the...

introduced in the notion of self-definability to derive a proof of the Cobham-Semenov theorem. He earned his Ph.D. in 2001. Subsequently, he worked at the Institute...

time-translation symmetry.[citation needed] That is according to Noether's theorem relating symmetries and conserved quantity, energy is conserved because...

Henrik Abel, Norwegian mathematician – Abelian group, Abel's theorem, Abel–Ruffini theorem Helmut Abt, German-born American astrophysicist - Abt's star...

perturbation Group velocity Hanle effect Helmholtz minimum dissipation theorem Laminar–turbulent transition Langmuir–Blodgett trough List of presidents...

unavoidable patterns, or regularities, was Frank Ramsey in 1930. His important theorem states that for integers k {\displaystyle k} , m ≥ 2 {\displaystyle m\geq...

Braun (2004). An Eponymous Dictionary of Economics: A Guide To Laws And Theorems Named After Economists. Edward Elgar Publishing. p. 13. ISBN 978-1-84542-360-5...

for his Fermat's principle for light propagation and his Fermat's Last Theorem in number theory St Ivo of Kermartin (died 1303), patron of lawyers Étienne...