wp-plugin-hostgator domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home4/scienrds/scienceandnerds/wp-includes/functions.php on line 6114ol-scrapes domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home4/scienrds/scienceandnerds/wp-includes/functions.php on line 6114Source:https:\/\/www.quantamagazine.org\/recounting-the-history-of-maths-transcendental-numbers-20230627\/#comments<\/a><\/br> It was not obvious that transcendental numbers should exist. Moreover, it\u2019s challenging to prove that a given number is transcendental because it requires proving a negative: that it is not the root of any polynomial with integer coefficients.<\/p>\n In 1844, Joseph Liouville found the first one by coming at the problem indirectly. He discovered that irrational algebraic numbers cannot be approximated well by rational numbers. So if he could find a number that was approximated well by fractions with small denominators, it would have to be something else: a transcendental number. He then constructed just such a number.<\/p>\n Liouville\u2019s manufactured number,<\/p>\n $latex L = 0.1100010000000000000000010\u2026$,<\/p>\n contains only 0s and 1s, with the 1s occurring in certain designated places: the values of $latex n!$. So the first 1 is in the first (1!) place, the second is in the second (2!) place, the third is in the sixth (3!) place, and so on. Notice that as a result of his careful construction, 1\/10, 11\/100, and 110,001\/1,000,000 are all very good approximations of L<\/em> \u2014 better than one would expect given the size of their denominators. For instance, the third of these values has 3! (six) decimal digits, 0.110001, but agrees with L<\/em> for a total of 23 digits, or $latex 4!-1$.<\/p>\n Despite L <\/em>proving that transcendental numbers exist, \u03c0 does not satisfy Liouville\u2019s criterion (it can\u2019t be well approximated by rational numbers), so its classification remained elusive.<\/p>\n The key breakthrough occurred in 1873, when Charles Hermite devised an ingenious technique to prove that e<\/em>, the base of the natural logarithm, is transcendental. This was the first non-contrived transcendental number, and nine years later it allowed Ferdinand von Lindemann to extend Hermite\u2019s technique to prove that \u03c0 is transcendental. In fact he went further, showing that ed<\/sup><\/em> is transcendental whenever d<\/em> is a nonzero algebraic number. Rephrased, this says that if ed<\/sup><\/em> is algebraic, then d <\/em>is either zero or transcendental.<\/p>\n To prove that \u03c0 is transcendental, Lindemann then made use of what many people view as the most beautiful formula in all of mathematics, Euler\u2019s identity: $latex e^{pi i} = -1$. Because \u2212\u200d1 is algebraic, Lindemann\u2019s theorem states that $latex pi i$ is transcendental. And because $latex i$ is algebraic, \u03c0 must be transcendental. Thus, a segment of length \u03c0 is impossible to construct, and it is therefore impossible to square the circle<\/a>.<\/p>\n Although Lindemann\u2019s result was the end of one story, it was just an early chapter in the story of transcendental numbers. Much still had to be done, especially, as we\u2019ll see, given how prevalent these misfit numbers are.<\/p>\n Shortly after Hermite proved that e<\/em> was transcendental, Georg Cantor proved that infinity comes in different sizes<\/a>. The infinity of rational numbers is the same as the infinity of whole numbers. Such sets are called countably infinite. However, the sets of real numbers and irrational numbers are larger; in a sense that Cantor made precise, they are \u201cuncountably\u201d infinite. In the same paper, Cantor proved that although the set of algebraic numbers contains all rational numbers and infinitely many irrational numbers, it is still the smaller, countable size of infinity. Thus, its complement, the transcendental numbers, is uncountably infinite. In other words, the vast majority of real and complex numbers are transcendental.<\/p>\n Yet even by the turn of the 20th century, mathematicians could conclusively identify only a few. In 1900, David Hilbert, one of the most esteemed mathematicians of the era, produced a now-famous list of the 23 most important unsolved problems in mathematics. His seventh problem, which he considered one of the harder ones, was to prove that ab<\/sup><\/em> is transcendental when a<\/em> is algebraic and not equal to zero or 1, and b<\/em> is an algebraic irrational number.<\/p>\n In 1929, the young Russian mathematician Aleksandr Gelfond proved the special case in which $latex b = pm isqrt r$ and r <\/i>is a positive rational number. This also implies that $latex e^ {pi}$ is transcendental, which is surprising because neither e <\/i>nor \u03c0 is algebraic, as required by the theorem. However, by cleverly manipulating Euler\u2019s identity again, we see that<\/p>\n $latex e^{pi} = e^{-i pi i}$ = $latex (e^{pi i})^{-i}$ = $latex (-1)^{-i}$.<\/p>\n Shortly afterward, Carl Siegel extended Gelfond\u2019s proof to include values of b <\/i>that are real quadratic irrational numbers, allowing him to conclude that $latex 2^{sqrt 2}$ is transcendental. In 1934, Gelfond and Theodor Schneider independently solved the entirety of Hilbert\u2019s problem.<\/p>\n Work on transcendental number theory continued. In the mid-1960s Alan Baker produced a series of articles generalizing the results of Hermite, Lindemann, Gelfond, Schneider and others, giving a much deeper understanding of algebraic and transcendental numbers, and for his efforts he received the Fields Medal in 1970, at age 31. One consequence of this work was proving that certain products, like $latex 2^{sqrt 2}$ $latex times$ $latex 2^{sqrt [3] 2}$ and <\/span>$latex 2^{sqrt 2}$ $latex times$ $latex 2^{sqrt 3}$,\u00a0 are transcendental. Besides expanding our understanding of the numbers themselves, his work also has applications throughout number theory.<\/p>\n Today, open problems about transcendental numbers abound, and there are many specific, very transcendental-looking numbers whose classification remains unknown: $latex e pi $, $latex e + pi$, $latex e^e$, $latex pi^{pi}$ and $latex pi^e$, to name a few. Just as the mathematician Edward Titchmarsh<\/a> said of the irrationality of \u03c0, it may be of no practical use to know that these numbers are transcendental, but if we can know, it surely would be intolerable not to know.<\/p>\n<\/div>\n <\/br><\/br><\/br><\/p>\n
\nHow Math Achieved Transcendence<\/br>
\n2023-06-29 21:59:07<\/br><\/p>\n