History
The name "transcendental" comes from Leibniz in his 1682 paper where he proved sin x is not an algebraic function of x. Euler was probably the first person to define transcendental numbers in the modern sense.
Joseph Liouville first proved the existence of transcendental numbers in 1844, and in 1851 gave the first decimal examples such as the Liouville constant
in which the nth digit after the decimal point is 1 if n is equal to k! (k factorial) for some k and 0 otherwise. Liouville showed that this number is what we now call a Liouville number; this essentially means that it can be more closely approximated by rational numbers than can any irrational algebraic number. Liouville showed that all Liouville numbers are transcendental.
Johann Heinrich Lambert conjectured that e and π were both transcendental numbers in his 1761 paper proving the number π is irrational. The first number to be proven transcendental without having been specifically constructed for the purpose was e, by Charles Hermite in 1873.
In 1874, Georg Cantor proved that the algebraic numbers are countable and the real numbers are uncountable. He also gave a new method for constructing transcendental numbers. In 1878, Cantor published a construction that proves there are as many transcendental numbers as there are real numbers. Cantor's work established the ubiquity of transcendental numbers.
In 1882, Ferdinand von Lindemann published a proof that the number π is transcendental. He first showed that e to any nonzero algebraic power is transcendental, and since eiπ = −1 is algebraic (see Euler's identity), iπ and therefore π must be transcendental. This approach was generalized by Karl Weierstrass to the Lindemann–Weierstrass theorem. The transcendence of π allowed the proof of the impossibility of several ancient geometric constructions involving compass and straightedge, including the most famous one, squaring the circle.
In 1900, David Hilbert posed an influential question about transcendental numbers, Hilbert's seventh problem: If a is an algebraic number, that is not zero or one, and b is an irrational algebraic number, is ab necessarily transcendental? The affirmative answer was provided in 1934 by the Gelfond–Schneider theorem. This work was extended by Alan Baker in the 1960s in his work on lower bounds for linear forms in any number of logarithms (of algebraic numbers).
Read more about this topic: Transcendental Number
Famous quotes containing the word history:
“Free from public debt, at peace with all the world, and with no complicated interests to consult in our intercourse with foreign powers, the present may be hailed as the epoch in our history the most favorable for the settlement of those principles in our domestic policy which shall be best calculated to give stability to our Republic and secure the blessings of freedom to our citizens.”
—Andrew Jackson (1767–1845)
“To a surprising extent the war-lords in shining armour, the apostles of the martial virtues, tend not to die fighting when the time comes. History is full of ignominious getaways by the great and famous.”
—George Orwell (1903–1950)
“There is one great fact, characteristic of this our nineteenth century, a fact which no party dares deny. On the one hand, there have started into life industrial and scientific forces which no epoch of former human history had ever suspected. On the other hand, there exist symptoms of decay, far surpassing the horrors recorded of the latter times of the Roman empire. In our days everything seems pregnant with its contrary.”
—Karl Marx (1818–1883)