|
Real Transcendental Numbers
In mathematics, a transcendental number is a number that is not algebraic—that is, not the root of a non-zero polynomial of finite degree with rational coefficients. The best known transcendental numbers are and . Though only a few classes of transcendental numbers are known—partly because it can be extremely difficult to show that a given number is transcendental—transcendental numbers are not rare. Indeed, almost all real and complex numbers are transcendental, since the algebraic numbers comprise a countable set, while the set of real numbers and the set of complex numbers are both uncountable sets, and therefore larger than any countable set. All transcendental real numbers (also known as real transcendental numbers or transcendental irrational numbers) are irrational numbers, since all rational numbers are algebraic. The converse is not true: not all irrational numbers are transcendental. Hence, the set of real numbers consists of non-overlapping rational, algebraic n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and mathematical analysis, analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of mathematical object, abstract objects and the use of pure reason to proof (mathematics), prove them. These objects consist of either abstraction (mathematics), abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of inference rule, deductive rules to already established results. These results include previously proved theorems, axioms ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Oxford English Dictionary
The ''Oxford English Dictionary'' (''OED'') is the first and foundational historical dictionary of the English language, published by Oxford University Press (OUP). It traces the historical development of the English language, providing a comprehensive resource to scholars and academic researchers, as well as describing usage in its many variations throughout the world. Work began on the dictionary in 1857, but it was only in 1884 that it began to be published in unbound fascicles as work continued on the project, under the name of ''A New English Dictionary on Historical Principles; Founded Mainly on the Materials Collected by The Philological Society''. In 1895, the title ''The Oxford English Dictionary'' was first used unofficially on the covers of the series, and in 1928 the full dictionary was republished in 10 bound volumes. In 1933, the title ''The Oxford English Dictionary'' fully replaced the former name in all occurrences in its reprinting as 12 volumes with a one ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ferdinand Von Lindemann
Carl Louis Ferdinand von Lindemann (12 April 1852 – 6 March 1939) was a German mathematician, noted for his proof, published in 1882, that (pi) is a transcendental number, meaning it is not a root of any polynomial with rational coefficients. Life and education Lindemann was born in Hanover, the capital of the Kingdom of Hanover. His father, Ferdinand Lindemann, taught modern languages at a Gymnasium in Hanover. His mother, Emilie Crusius, was the daughter of the Gymnasium's headmaster. The family later moved to Schwerin, where young Ferdinand attended school. He studied mathematics at Göttingen, Erlangen, and Munich. At Erlangen he received a doctorate, supervised by Felix Klein, on non-Euclidean geometry. Lindemann subsequently taught in Würzburg and at the University of Freiburg. During his time in Freiburg, Lindemann devised his proof that is a transcendental number (see Lindemann–Weierstrass theorem). After his time in Freiburg, Lindemann transferred to the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
One-to-one Correspondence
In mathematics, a bijection, also known as a bijective function, one-to-one correspondence, or invertible function, is a function between the elements of two sets, where each element of one set is paired with exactly one element of the other set, and each element of the other set is paired with exactly one element of the first set. There are no unpaired elements. In mathematical terms, a bijective function is a one-to-one (injective) and onto (surjective) mapping of a set ''X'' to a set ''Y''. The term ''one-to-one correspondence'' must not be confused with ''one-to-one function'' (an injective function; see figures). A bijection from the set ''X'' to the set ''Y'' has an inverse function from ''Y'' to ''X''. If ''X'' and ''Y'' are finite sets, then the existence of a bijection means they have the same number of elements. For infinite sets, the picture is more complicated, leading to the concept of cardinal number—a way to distinguish the various sizes of infinite sets ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cantor's First Set Theory Article
Cantor's first set theory article contains Georg Cantor's first theorems of transfinite set theory, which studies infinite sets and their properties. One of these theorems is his "revolutionary discovery" that the set of all real numbers is uncountably, rather than countably, infinite. This theorem is proved using Cantor's first uncountability proof, which differs from the more familiar proof using his diagonal argument. The title of the article, "On a Property of the Collection of All Real Algebraic Numbers" ("Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen"), refers to its first theorem: the set of real algebraic numbers is countable. Cantor's article was published in 1874. In 1879, he modified his uncountability proof by using the topological notion of a set being dense in an interval. Cantor's article also contains a proof of the existence of transcendental numbers. Both constructive and non-constructive proofs have been presented as "Cantor's ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor ( , ; – January 6, 1918) was a German mathematician. He played a pivotal role in the creation of set theory, which has become a fundamental theory in mathematics. Cantor established the importance of one-to-one correspondence between the members of two sets, defined infinite and well-ordered sets, and proved that the real numbers are more numerous than the natural numbers. In fact, Cantor's method of proof of this theorem implies the existence of an infinity of infinities. He defined the cardinal and ordinal numbers and their arithmetic. Cantor's work is of great philosophical interest, a fact he was well aware of. Originally, Cantor's theory of transfinite numbers was regarded as counter-intuitive – even shocking. This caused it to encounter resistance from mathematical contemporaries such as Leopold Kronecker and Henri Poincaré and later from Hermann Weyl and L. E. J. Brouwer, while Ludwig Wittgenstein r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Charles Hermite
Charles Hermite () FRS FRSE MIAS (24 December 1822 – 14 January 1901) was a French mathematician who did research concerning number theory, quadratic forms, invariant theory, orthogonal polynomials, elliptic functions, and algebra. Hermite polynomials, Hermite interpolation, Hermite normal form, Hermitian operators, and cubic Hermite splines are named in his honor. One of his students was Henri Poincaré. He was the first to prove that '' e'', the base of natural logarithms, is a transcendental number. His methods were used later by Ferdinand von Lindemann to prove that π is transcendental. Life Hermite was born in Dieuze, Moselle, on 24 December 1822, with a deformity in his right foot that would impair his gait throughout his life. He was the sixth of seven children of Ferdinand Hermite and his wife, Madeleine née Lallemand. Ferdinand worked in the drapery business of Madeleine's family while also pursuing a career as an artist. The drapery business ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Factorial
In mathematics, the factorial of a non-negative denoted is the product of all positive integers less than or equal The factorial also equals the product of n with the next smaller factorial: \begin n! &= n \times (n-1) \times (n-2) \times (n-3) \times \cdots \times 3 \times 2 \times 1 \\ &= n\times(n-1)!\\ \end For example, 5! = 5\times 4! = 5 \times 4 \times 3 \times 2 \times 1 = 120. The value of 0! is 1, according to the convention for an empty product. Factorials have been discovered in several ancient cultures, notably in Indian mathematics in the canonical works of Jain literature, and by Jewish mystics in the Talmudic book '' Sefer Yetzirah''. The factorial operation is encountered in many areas of mathematics, notably in combinatorics, where its most basic use counts the possible distinct sequences – the permutations – of n distinct objects: there In mathematical analysis, factorials are used in power series for the exponential function ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Liouville Number
In number theory, a Liouville number is a real number ''x'' with the property that, for every positive integer ''n'', there exists a pair of integers (''p, q'') with ''q'' > 1 such that :0 1 + \log_2(d) ~) no pair of integers ~(\,p,\,q\,)~ exists that simultaneously satisfies the pair of bracketing inequalities :0 0 ~, then, since c\,q - d\,p is an integer, we can assert the sharper inequality \left, c\,q - d\,p \ \ge 1 ~. From this it follows that :\left, x - \frac\= \frac \ge \frac Now for any integer ~n > 1 + \log_2(d)~, the last inequality above implies :\left, x - \frac \ \ge \frac > \frac \ge \frac ~. Therefore, in the case ~ \left, c\,q - d\,p \ > 0 ~ such pair of integers ~(\,p,\,q\,)~ would violate the ''second'' inequality in the definition of a Liouville number, for some positive integer . We conclude that there is no pair of integers ~(\,p,\,q\,)~, with ~ q > 1 ~, that would qualify such an ~ x = c / d ~, as a Liouville number. Hence a Liouville number, if ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Joseph Liouville
Joseph Liouville (; ; 24 March 1809 – 8 September 1882) was a French mathematician and engineer. Life and work He was born in Saint-Omer in France on 24 March 1809. His parents were Claude-Joseph Liouville (an army officer) and Thérèse Liouville (née Balland). Liouville gained admission into the École Polytechnique in 1825 and graduated in 1827. Just like Augustin-Louis Cauchy before him, Liouville studied engineering at École des Ponts et Chaussées after graduating from the Polytechnique, but opted instead for a career in mathematics. After some years as an assistant at various institutions including the École Centrale Paris, he was appointed as professor at the École Polytechnique in 1838. He obtained a chair in mathematics at the Collège de France in 1850 and a chair in mechanics at the Faculté des Sciences in 1857. Besides his academic achievements, he was very talented in organisational matters. Liouville founded the ''Journal de Mathématiques Pures et A ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
E (mathematical Constant)
The number , also known as Euler's number, is a mathematical constant approximately equal to 2.71828 that can be characterized in many ways. It is the base of the natural logarithms. It is the limit of as approaches infinity, an expression that arises in the study of compound interest. It can also be calculated as the sum of the infinite series e = \sum\limits_^ \frac = 1 + \frac + \frac + \frac + \cdots. It is also the unique positive number such that the graph of the function has a slope of 1 at . The (natural) exponential function is the unique function that equals its own derivative and satisfies the equation ; hence one can also define as . The natural logarithm, or logarithm to base , is the inverse function to the natural exponential function. The natural logarithm of a number can be defined directly as the area under the curve between and , in which case is the value of for which this area equals one (see image). There are various other characteri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Johann Heinrich Lambert
Johann Heinrich Lambert (, ''Jean-Henri Lambert'' in French; 26 or 28 August 1728 – 25 September 1777) was a polymath from the Republic of Mulhouse, generally referred to as either Swiss or French, who made important contributions to the subjects of mathematics, physics (particularly optics), philosophy, astronomy and map projections. Biography Lambert was born in 1728 into a Huguenot family in the city of Mulhouse (now in Alsace, France), at that time a city-state allied to Switzerland. Some sources give 26 August as his birth date and others 28 August. Leaving school at 12, he continued to study in his free time while undertaking a series of jobs. These included assistant to his father (a tailor), a clerk at a nearby iron works, a private tutor, secretary to the editor of ''Basler Zeitung'' and, at the age of 20, private tutor to the sons of Count Salis in Chur. Travelling Europe with his charges (1756–1758) allowed him to meet established mathematicians in the German s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
