|
Lambek–Moser Theorem
The Lambek–Moser theorem is a mathematical description of partitions of the natural numbers into two Complement (set theory), complementary sets. For instance, it applies to the partition of numbers into even number, even and odd number, odd, or into prime number, prime and non-prime (one and the composite numbers). There are two parts to the Lambek–Moser theorem. One part states that any two monotonic function, non-decreasing integer functions that are inverse, in a certain sense, can be used to split the natural numbers into two complementary subsets, and the other part states that every complementary partition can be constructed in this way. When a formula is known for the natural number in a set, the Lambek–Moser theorem can be used to obtain a formula for the number not in the set. The Lambek–Moser theorem belongs to combinatorial number theory. It is named for Joachim Lambek and Leo Moser, who published it in 1954, and should be distinguished from an unrelated theor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Natural Number
In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and ordering (as in "this is the ''third'' largest city in the country"). Numbers used for counting are called ''Cardinal number, cardinal numbers'', and numbers used for ordering are called ''Ordinal number, ordinal numbers''. Natural numbers are sometimes used as labels, known as ''nominal numbers'', having none of the properties of numbers in a mathematical sense (e.g. sports Number (sports), jersey numbers). Some definitions, including the standard ISO/IEC 80000, ISO 80000-2, begin the natural numbers with , corresponding to the non-negative integers , whereas others start with , corresponding to the positive integers Texts that exclude zero from the natural numbers sometimes refer to the natural numbers together with zero as the whole numbers, while in other writings, that term is used instead for the integers (including negative integers). The natural ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Square (algebra)
In mathematics, a square is the result of multiplication, multiplying a number by itself. The verb "to square" is used to denote this operation. Squaring is the same as exponentiation, raising to the power 2 (number), 2, and is denoted by a superscript 2; for instance, the square of 3 may be written as 32, which is the number 9. In some cases when superscripts are not available, as for instance in programming languages or plain text files, the notations ''x''^2 (caret) or ''x''**2 may be used in place of ''x''2. The adjective which corresponds to squaring is ''wikt:quadratic, quadratic''. The square of an integer may also be called a square number or a perfect square. In algebra, the operation of squaring is often generalized to polynomials, other expression (mathematics), expressions, or values in systems of mathematical values other than the numbers. For instance, the square of the linear function (calculus), linear polynomial is the quadratic polynomial . One of the imp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proof Without Words
In mathematics, a proof without words (or visual proof) is an illustration of an identity or mathematical statement which can be demonstrated as self-evident by a diagram without any accompanying explanatory text. Such proofs can be considered more elegant than formal or mathematically rigorous proofs due to their self-evident nature. When the diagram demonstrates a particular case of a general statement, to be a proof, it must be generalisable. A proof without words is not the same as a mathematical proof, because it omits the details of the logical argument it illustrates. However, it can provide valuable intuitions to the viewer that can help them formulate or better understand a true proof. Examples Sum of odd numbers The statement that the sum of all positive odd numbers up to 2''n'' − 1 is a perfect square—more specifically, the perfect square ''n''2—can be demonstrated by a proof without words. In one corner of a grid, a single block represen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Samuel Beatty (mathematician)
Samuel Beatty (1881–1970) was dean of the Faculty of Mathematics at the University of Toronto, taking the position in 1934. Early life Beatty was born in 1881. In 1915, he graduated from the University of Toronto with a PhD and a dissertation entitled ''Extensions of Results Concerning the Derivatives of an Algebraic Function of a Complex Variable'', with the help of his adviser, John Charles Fields. He was the first person to receive a PhD in mathematics from a Canadian university. In 1925 he was elected a Fellow of the Royal Society of Canada. In 1926, he published a problem in the ''American Mathematical Monthly'', which formed the genesis for the Beatty sequence. University of Toronto Beatty was dean of the Faculty of Mathematics at the University of Toronto, taking the position in 1934. The famous mathematician Richard Brauer was recruited by Beatty in 1935. He invited Harold Scott MacDonald Coxeter to the University of Toronto with a position as an assistant professor, wh ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Prime-counting Function
In mathematics, the prime-counting function is the function counting the number of prime numbers less than or equal to some real number ''x''. It is denoted by (''x'') (unrelated to the number ). History Of great interest in number theory is the growth rate of the prime-counting function. It was conjectured in the end of the 18th century by Gauss and by Legendre to be approximately : \frac x where log is the natural logarithm, in the sense that :\lim_ \frac=1. This statement is the prime number theorem. An equivalent statement is :\lim_\pi(x) / \operatorname(x)=1 where li is the logarithmic integral function. The prime number theorem was first proved in 1896 by Jacques Hadamard and by Charles de la Vallée Poussin independently, using properties of the Riemann zeta function introduced by Riemann in 1859. Proofs of the prime number theorem not using the zeta function or complex analysis were found around 1948 by Atle Selberg and by Paul Erdős (for the most part inde ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Viggo Brun
Viggo Brun (13 October 1885 – 15 August 1978) was a Norwegian professor, mathematician and number theorist. Contributions In 1915, he introduced a new method, based on Legendre's version of the sieve of Eratosthenes, now known as the ''Brun sieve'', which addresses additive problems such as Goldbach's conjecture and the twin prime conjecture. He used it to prove that there exist infinitely many integers ''n'' such that ''n'' and ''n''+2 have at most nine prime factors, and that all large even integers are the sum of two numbers with at most nine prime factors. He also showed that the sum of the reciprocals of twin primes converges to a finite value, now called Brun's constant: by contrast, the sum of the reciprocals of all primes is divergent. He developed a multi-dimensional continued fraction algorithm in 1919–1920 and applied this to problems in musical theory. He also served as praeses of the Royal Norwegian Society of Sciences and Letters in 1946. Biography Brun ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thue–Morse Sequence
In mathematics, the Thue–Morse sequence, or Prouhet–Thue–Morse sequence, is the binary sequence (an infinite sequence of 0s and 1s) obtained by starting with 0 and successively appending the Boolean complement of the sequence obtained thus far. The first few steps of this procedure yield the strings 0 then 01, 0110, 01101001, 0110100110010110, and so on, which are prefixes of the Thue–Morse sequence. The full sequence begins: :01101001100101101001011001101001.... The sequence is named after Axel Thue and Marston Morse. Definition There are several equivalent ways of defining the Thue–Morse sequence. Direct definition To compute the ''n''th element ''tn'', write the number ''n'' in binary. If the number of ones in this binary expansion is odd then ''tn'' = 1, if even then ''tn'' = 0. For this reason John H. Conway ''et al''. called numbers ''n'' satisfying ''tn'' = 1 ''odious'' (for ''odd'') numbers and numbers for which ''tn''&n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Binary Representation
A binary number is a number expressed in the base-2 numeral system or binary numeral system, a method of mathematical expression which uses only two symbols: typically "0" (zero) and "1" (one). The base-2 numeral system is a positional notation with a radix of 2. Each digit is referred to as a bit, or binary digit. Because of its straightforward implementation in digital electronic circuitry using logic gates, the binary system is used by almost all modern computers and computer-based devices, as a preferred system of use, over various other human techniques of communication, because of the simplicity of the language and the noise immunity in physical implementation. History The modern binary number system was studied in Europe in the 16th and 17th centuries by Thomas Harriot, Juan Caramuel y Lobkowitz, and Gottfried Leibniz. However, systems related to binary numbers have appeared earlier in multiple cultures including ancient Egypt, China, and India. Leibniz was specifically ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Odious Number
In number theory, an odious number is a positive integer that has an odd number of 1s in its binary expansion. In computer science, an odious number is said to have odd parity. Examples The first odious numbers are: Properties If a(n) denotes the nth odious number (with a(0)=1), then for all n, a(a(n))=2a(n). Every positive integer n has an odious multiple that is at most n(n+4). The numbers for which this bound is tight are exactly the Mersenne numbers with even exponents, the numbers of the form n = 2^-1, such as 3, 15, 63, etc. For these numbers, the smallest odious multiple is exactly n(n+4) = 2^+2^-3. Related sequences The odious numbers give the positions of the nonzero values in the Thue–Morse sequence. Every power of two is odious, because its binary expansion has only one nonzero bit. Except for 3, every Mersenne prime is odious, because its binary expansion consists of an odd prime number of consecutive nonzero bits. Non-negative integers that are not odious are c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Evil Number
In number theory, an evil number is a non-negative integer that has an even Hamming weight, number of 1s in its Binary number, binary expansion. These numbers give the positions of the zero values in the Thue–Morse sequence, and for this reason they have also been called the Thue–Morse set. Non-negative integers that are not evil are called odious numbers. Examples The first evil numbers are: :0, 3, 5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 33, 34, 36, 39 ... Equal sums The partition of the non-negative integers into the odious and evil numbers is the unique partition of these numbers into two sets that have equal multisets of pairwise sums. As 19th-century mathematician Eugène Prouhet showed, the partition into evil and odious numbers of the numbers from 0 to 2^k-1, for any k, provides a solution to the Prouhet–Tarry–Escott problem of finding sets of numbers whose sums of powers are equal up to the kth power. In computer science In computer science, an evil ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parity (mathematics)
In mathematics, parity is the property of an integer of whether it is even or odd. An integer is even if it is a multiple of two, and odd if it is not.. For example, −4, 0, 82 are even because \begin -2 \cdot 2 &= -4 \\ 0 \cdot 2 &= 0 \\ 41 \cdot 2 &= 82 \end By contrast, −3, 5, 7, 21 are odd numbers. The above definition of parity applies only to integer numbers, hence it cannot be applied to numbers like 1/2 or 4.201. See the section "Higher mathematics" below for some extensions of the notion of parity to a larger class of "numbers" or in other more general settings. Even and odd numbers have opposite parities, e.g., 22 (even number) and 13 (odd number) have opposite parities. In particular, the parity of zero is even. Any two consecutive integers have opposite parity. A number (i.e., integer) expressed in the decimal numeral system is even or odd according to whether its last digit is even or odd. That is, if the last digit is 1, 3, 5, 7, or 9, then it is odd; otherwis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
