expressible
21History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …
22Descriptive complexity theory — For other uses, see Kolmogorov complexity. Descriptive complexity is a branch of computational complexity theory and of finite model theory that characterizes complexity classes by the type of logic needed to express the languages in them. For… …
23Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… …
24exponential — adjective Date: 1704 1. of or relating to an exponent 2. involving a variable in an exponent < 10x is an exponential expression > 3. expressible or approximately expressible by an exponential function; especially characterized by or being an… …
25Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… …
26Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines …
27Extended display identification data — (EDID) is a data structure provided by a computer display to describe its capabilities to a graphics card. It is what enables a modern personal computer to know what kind of monitor is connected. EDID is defined by a standard published by the… …
28Quantum group — In mathematics and theoretical physics, quantum groups are certain noncommutative algebras that first appeared in the theory of quantum integrable systems, and which were then formalized by Vladimir Drinfel d and Michio Jimbo. There is no single …
2991 (number) — 91 (ninety one) is the natural number following 90 and preceding 92. ← 90 92 → 91 ← 90 …
301729 (number) — This article is about the number. For the year, see 1729. List of numbers Integers ← 1k 2k 3k 4k 5k 6k 7k 8k 9k → 1729 Cardinal …
